| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 476.153 | 471.386 |
| Name | gmus/belov/ pj2003.aig.k20.gcnf |
| MD5SUM | 8150b10e9988dfed70110f6792c1c1f0 |
| Bench Category | GMUS (GMUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 9.01463 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 644412 |
| Number of clauses | 1878724 |
| Sum of the clauses size | 4383688 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 1252482 |
| Number of clauses of size 3 | 626241 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
| Number of groups | 626241 |
| Number of clauses in the kernel (group 0) | 1 |
| Least number of clauses in a group (except group 0) | 3 |
| Greatest number of clauses in a group (except group 0) | 3 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.09/0.11 c version 2.3.0.v20110206 0.09/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.11 c java.vm.version 19.1-b02 0.09/0.11 c java.vm.vendor Sun Microsystems Inc. 0.09/0.11 c sun.arch.data.model 64 0.09/0.11 c java.version 1.6.0_24 0.09/0.11 c os.name Linux 0.09/0.11 c os.version 2.6.18-164.el5 0.09/0.11 c os.arch amd64 0.09/0.11 c Free memory 5997854704 0.09/0.11 c Max memory 6029312000 0.09/0.11 c Total memory 6029312000 0.09/0.11 c Number of processors 8 0.09/0.11 c High Level Explanation (MUS) enabled solver 0.09/0.11 c Deletion based minimization strategy 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483647s 0.09/0.11 c DB Simplification allowed=true 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving /varHOME/instance-3500827-1308036332.gcnf 0.09/0.11 c reading problem ... 4.00/3.83 c ... done. Wall clock time 3.734s. 4.00/3.83 c #vars 1270653 4.00/3.83 c #constraints 1878724 4.00/3.83 c constraints type 4.00/3.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1878723 10.82/10.17 c Unsat detection wall clock time (in seconds) : 10.068 10.82/10.17 c Size of initial high level unsat subformula: 2079 10.82/10.17 c Computing high level MUS ... 10.82/10.17 c initial unsat core 626241 626240 626239 626238 626237 626236 626235 626234 626233 626232 626231 626230 593696 593695 593694 593693 593692 593691 593690 593689 593688 593420 593419 593418 593417 593416 593415 593414 593413 593412 593411 593408 593036 593035 593034 593033 593032 593031 593030 593029 593028 593027 593026 593025 560491 560490 560489 560488 560487 560486 560485 560484 560483 560215 560214 560213 560212 560211 560210 560209 560208 560207 560206 560205 560204 560203 559831 559830 559829 559828 559827 559826 559825 559824 559823 559822 559821 559820 527286 527285 527284 527283 527282 527281 527280 527279 527278 527010 527009 527008 527007 527006 527005 527004 527003 527002 527001 527000 526999 526998 526626 526625 526624 526623 526622 526621 526620 526619 526618 526617 526616 526615 494081 494080 494079 494078 494077 494076 494075 494074 494073 493805 493804 493803 493802 493801 493800 493799 493798 493797 493796 493795 493794 493793 493421 493420 493419 493418 493417 493416 493415 493414 493413 493412 493411 493410 460876 460875 460874 460873 460872 460871 460870 460869 460868 460600 460599 460598 460597 460596 460595 460594 460593 460592 460591 460589 460588 460216 460215 460214 460213 460212 460211 460210 460209 460208 460207 460206 460205 427671 427670 427669 427668 427667 427666 427665 427664 427663 427395 427394 427393 427392 427391 427390 427389 427388 427387 427386 427385 427384 427383 427382 427381 427380 427379 427378 427377 427376 427375 427374 427373 427372 427371 427370 427369 427368 427367 427366 427365 427364 427363 427362 427361 427360 427359 427358 427357 427356 427355 427354 427353 427352 427351 427350 427349 427348 427347 427346 427345 427344 427343 427342 427341 427338 427337 427335 427334 427333 427332 427330 427329 427327 427326 427325 427324 427321 427320 427315 427314 427313 427312 427311 427310 427308 427307 427306 427305 427304 427265 427264 427263 427262 427258 427256 427253 427251 427247 427245 427055 427054 427017 427016 427015 427014 427011 427010 427009 427008 427007 427006 427005 427004 427003 427002 427001 427000 426999 426998 426997 426996 426995 426994 426993 426992 426991 426990 426989 426988 426987 426986 426985 426984 426983 426982 426981 426980 426979 426978 426977 426976 426975 426974 426973 426972 426971 426970 426969 426968 426967 426966 426965 426964 426963 426962 426961 426960 426959 426958 426957 426956 426955 426954 426953 426952 426951 426950 426949 426948 426947 426946 426945 426944 426943 426942 426941 426940 426939 426938 426937 426936 426935 426934 426933 426932 426931 426930 426929 426928 426927 426926 426925 426924 426923 426922 426921 426920 426919 426918 426917 426916 426915 426914 426913 426912 426911 426910 426909 426908 426907 426906 426905 426904 426903 426902 426901 426900 426899 426898 426897 426896 426895 426894 426893 426892 426891 426890 426889 426888 426887 426886 426885 426884 426883 426882 426881 426880 426879 426878 426877 426876 426875 426874 426873 426872 426871 426870 426869 426868 426867 426866 426865 426864 426863 426862 426861 426860 426859 426858 426857 426856 426855 426854 426853 426852 426851 426850 426849 426848 426847 426846 426845 426844 426843 426842 426841 426840 426839 426838 426837 426836 426835 426834 426833 426832 426831 426830 426829 426828 426827 426826 426825 426824 426823 426822 426821 426820 426819 426818 426817 426816 426815 426814 426813 426812 426811 426810 426809 426808 426807 426806 426805 426804 426803 426802 426801 426800 426799 426798 426797 426796 426795 426794 426793 426792 426791 426790 426789 426788 426787 426786 426785 426784 426783 426782 426781 426780 426779 426778 426777 426776 426775 426774 426773 426772 426771 426770 426769 426768 426767 426766 426765 426529 426528 426526 426524 394466 394465 394464 394463 394462 394461 394460 394459 394458 394457 394455 394454 394453 394422 394190 394189 394188 394187 394186 394185 394184 394183 394182 394181 394180 394179 394178 394176 394175 394174 394149 394147 394146 394145 394144 394143 394142 394141 394140 394139 394138 394137 394136 394135 394134 394133 394132 394131 394130 394126 394125 394124 394123 394122 394118 394117 394116 394115 394114 394113 394112 394111 394110 394106 394105 394104 394099 394098 394097 394096 394091 394090 394089 394087 394086 394085 394084 394082 394081 394080 394079 394078 394076 394075 394074 394072 394071 394070 394069 394068 394067 394066 394065 394064 394063 394062 394061 393850 393849 393812 393811 393810 393809 393806 393805 393804 393803 393802 393801 393800 393799 393798 393797 393796 393795 393794 393793 393792 393791 393790 393789 393788 393787 393786 393785 393784 393783 393782 393781 393780 393779 393778 393777 393776 393775 393774 393773 393772 393771 393770 393769 393768 393767 393766 393765 393764 393763 393762 393761 393760 393759 393758 393757 393756 393755 393754 393753 393752 393751 393750 393749 393748 393747 393746 393745 393744 393743 393742 393741 393740 393739 393738 393737 393736 393735 393734 393733 393732 393731 393730 393729 393728 393727 393726 393725 393724 393723 393722 393721 393720 393719 393718 393717 393716 393715 393714 393713 393712 393711 393710 393709 393708 393707 393706 393705 393704 393703 393702 393701 393700 393699 393698 393697 393696 393695 393694 393693 393692 393691 393690 393689 393688 393687 393686 393685 393684 393683 393682 393681 393680 393679 393678 393677 393676 393675 393674 393673 393672 393671 393670 393669 393668 393667 393666 393665 393664 393663 393662 393661 393660 393659 393658 393657 393656 393655 393654 393653 393652 393651 393650 393649 393648 393647 393646 393645 393644 393643 393642 393641 393640 393639 393638 393637 393636 393635 393634 393633 393632 393631 393630 393629 393628 393627 393626 393625 393624 393623 393622 393621 393620 393619 393618 393617 393616 393615 393614 393613 393612 393611 393610 393609 393608 393607 393606 393605 393604 393603 393602 393601 393600 393599 393598 393597 393596 393595 393594 393593 393592 393591 393590 393589 393588 393587 393586 393585 393584 393583 393582 393581 393580 393579 393578 393577 393576 393575 393574 393573 393572 393571 393570 393569 393568 393567 393566 393565 393564 393563 393562 393561 393560 393324 393323 393321 393319 361261 361260 361259 361258 361257 361256 361255 361254 361253 361252 361250 361249 361248 361217 360985 360984 360983 360982 360981 360980 360979 360978 360977 360976 360975 360974 360973 360972 360971 360970 360969 360968 360967 360966 360965 360964 360963 360962 360961 360960 360959 360958 360957 360956 360955 360954 360953 360952 360951 360950 360949 360948 360947 360946 360945 360944 360943 360942 360941 360940 360939 360938 360937 360936 360935 360934 360933 360932 360931 360929 360928 360927 360925 360924 360923 360922 360921 360920 360919 360917 360916 360915 360914 360913 360911 360910 360905 360904 360903 360902 360901 360900 360898 360897 360896 360895 360894 360855 360854 360853 360852 360848 360846 360843 360841 360837 360835 360832 360831 360830 360829 360828 360827 360825 360824 360823 360822 360820 360819 360818 360817 360816 360814 360813 360812 360811 360810 360809 360808 360807 360806 360805 360804 360803 360801 360800 360799 360798 360797 360796 360795 360794 360793 360792 360791 360790 360789 360788 360787 360786 360785 360784 360783 360782 360781 360780 360779 360778 360777 360776 360775 360774 360773 360772 360771 360770 360769 360768 360767 360766 360765 360764 360763 360762 360761 360760 360759 360758 360757 360756 360755 360753 360752 360751 360750 360748 360747 360746 360745 360744 360742 360741 360740 360739 360737 360736 360735 360734 360733 360732 360731 360730 360729 360728 360727 360726 360725 360724 360723 360722 360721 360720 360719 360718 360717 360716 360715 360714 360713 360712 360711 360710 360709 360708 360707 360706 360705 360704 360703 360702 360701 360700 360699 360698 360697 360696 360695 360694 360685 360654 360601 360600 360599 360598 360597 360596 360595 360594 360593 360592 360591 360590 328056 328055 328054 328053 328052 328051 328050 328049 328048 328047 328046 328045 328044 328012 327780 327779 327778 327777 327776 327775 327774 327773 327772 327771 327770 327769 327768 327766 327765 327764 327396 327395 327394 327393 327392 327391 327390 327389 327388 327387 327386 327385 294851 294850 294849 294848 294847 294846 294845 294844 294843 294842 294841 294840 294839 294838 294837 294836 294835 294834 294815 294814 294813 294809 294808 294807 294590 294589 294587 294575 294574 294573 294572 294571 294570 294569 294568 294567 294566 294565 294564 294563 294561 294560 294559 294558 294557 294556 294555 294554 294553 294552 294551 294550 294549 294548 294547 294546 294545 294544 294543 294542 294541 294540 294539 294538 294537 294536 294535 294534 294533 294532 294531 294530 294529 294528 294527 294526 294525 294524 294523 294522 294521 294518 294517 294515 294514 294513 294512 294510 294509 294507 294506 294505 294504 294501 294500 294495 294494 294493 294492 294491 294490 294488 294487 294486 294485 294484 294445 294444 294443 294442 294438 294436 294433 294431 294427 294425 294289 294191 294190 294189 294188 294187 294186 294185 294184 294183 294182 294181 294180 261646 261645 261644 261643 261642 261641 261640 261639 261638 261637 261636 261634 261602 261496 261494 261493 261492 261463 261370 261369 261368 261367 261366 261365 261364 261363 261362 261361 261360 261359 261358 261356 261355 261354 260986 260985 260984 260983 260982 260981 260980 260979 260978 260977 260976 260975 228441 228440 228439 228438 228437 228436 228435 228434 228433 228432 228431 228429 228397 228291 228289 228288 228287 228258 228165 228164 228163 228162 228161 228160 228159 228158 228157 228156 228155 228154 228153 227781 227780 227779 227778 227777 227776 227775 227774 227773 227772 227771 227770 195236 195235 195234 195233 195232 195231 195230 195229 195228 195227 195226 195224 195223 195222 195221 195220 195200 195199 195194 195193 195086 195084 195083 195082 195081 195080 195079 195078 195060 195059 195058 195057 195055 195054 195053 194975 194974 194960 194959 194958 194957 194956 194955 194954 194953 194952 194951 194950 194949 194948 194946 194945 194944 194943 194942 194941 194940 194939 194938 194937 194936 194935 194934 194933 194932 194931 194930 194929 194928 194927 194926 194925 194924 194923 194922 194921 194920 194919 194918 194917 194916 194915 194914 194913 194912 194911 194910 194909 194908 194907 194906 194903 194902 194900 194899 194898 194897 194895 194894 194892 194891 194890 194889 194886 194885 194880 194879 194878 194877 194876 194875 194873 194872 194871 194870 194869 194830 194829 194828 194827 194823 194821 194818 194816 194812 194810 194674 194576 194575 194574 194573 194572 194571 194570 194569 194568 194567 194566 194565 162031 162030 162029 162028 162027 162026 162025 162024 162023 161755 161754 161753 161752 161751 161750 161749 161748 161747 161746 161745 161744 161743 161741 161740 161739 161371 161370 161369 161368 161367 161366 161365 161364 161363 161362 161361 161360 128826 128825 128824 128823 128822 128821 128820 128819 128818 128550 128549 128548 128547 128546 128545 128544 128543 128542 128541 128539 128538 128166 128165 128164 128163 128162 128161 128160 128159 128158 128157 128156 128155 95642 95640 95639 95638 95637 95636 95635 95634 95633 95631 95630 95629 95628 95627 95626 95625 95613 95612 95611 95610 95608 95607 95606 95605 95465 95418 95416 95415 95414 95413 95412 95411 95409 95407 95404 95403 95402 95401 95400 95399 95398 95397 95396 95395 95394 95393 95392 95391 95390 95389 95388 95387 95386 95385 95384 95383 95382 95381 95380 95379 95378 95377 95376 95375 95374 95373 95372 95371 95370 95369 95368 95367 95366 95365 95364 95361 95360 95358 95357 95356 95355 95353 95352 95350 95349 95348 95347 95344 95343 95338 95337 95336 95335 95334 95333 95331 95330 95329 95328 95327 95288 95287 95286 95285 95281 95279 95276 95274 95270 95268 95132 95041 95040 95039 95038 95037 95036 95035 95034 95033 95032 95031 95030 62709 62707 62706 62705 62704 62703 62702 62701 62700 62698 62697 62696 62695 62694 62693 62692 62691 62689 62688 62687 62686 62626 62624 62623 62622 62621 62620 62619 62618 62617 62616 62615 62614 62613 62612 62601 62583 62581 62580 62579 62578 62577 62576 62574 62572 62569 62568 62567 62286 62285 62284 61284 61283 61282 61281 61280 61279 61278 61277 61276 61275 61274 61273 61272 61271 61270 61269 61268 61267 61266 61265 61264 61263 61262 61261 61260 61259 61258 61257 61256 61255 61254 61253 61252 61251 61250 61249 61248 61247 61246 61245 61244 61243 61242 61241 61240 61239 61238 61237 61236 61235 61234 61233 61232 61231 61230 61229 61228 61227 61226 61225 61224 61223 61222 61221 61220 61219 61218 61217 61216 61215 61214 61213 61212 61211 61210 61209 61208 61207 61206 61205 61204 61203 61202 61201 61200 61199 61198 61197 61196 61195 61194 61193 61192 61191 61190 61189 61188 61187 61186 61185 61184 61183 61182 61181 61180 61179 61178 61177 61176 61175 61174 61173 61172 61171 61170 61169 61168 61167 61166 61165 61164 61163 61162 61161 61160 61159 61158 61157 61156 61155 61154 61153 61152 61151 61150 61149 61148 61147 61146 61145 61144 61143 61142 61141 61140 61139 61138 61137 61136 61135 61134 61133 61132 61131 61130 61129 61128 61127 61126 61125 61124 61123 61122 61121 61120 61119 61118 61117 61116 61115 61114 61113 61112 61111 61110 61109 61108 61107 61106 61105 61104 61103 61102 61101 61100 61099 61098 61097 61096 61095 61094 61093 61092 61091 61090 61089 61088 61087 61086 61085 61084 61083 61082 61081 61080 61079 61078 61077 61076 61075 61074 61073 61072 61071 61070 61069 61068 61067 61066 61065 61064 61063 61062 61061 61060 61059 61058 61057 61056 61055 61054 61053 61052 61051 61050 61049 61048 61047 61046 61045 61044 61043 61042 61041 31479 31478 31477 31476 31475 31474 31473 31472 31471 308 306 305 304 303 301 300 299 298 297 293 292 244 242 241 240 239 238 237 235 234 233 232 230 229 228 227 226 224 222 221 220 218 208 207 205 204 203 202 201 200 198 11.58/10.89 c checking 626241 ... 13.03/12.29 c mandatory. 13.03/12.29 c checking 626240 ... 13.89/13.06 c mandatory. 13.89/13.06 c checking 626239 ... 14.60/13.75 c mandatory. 14.60/13.75 c checking 626238 ... 15.09/14.28 c mandatory. 15.09/14.28 c checking 626237 ... 15.70/14.80 c mandatory. 15.70/14.80 c checking 626236 ... 16.20/15.32 c mandatory. 16.20/15.32 c checking 626235 ... 16.69/15.82 c mandatory. 16.69/15.82 c checking 626234 ... 17.20/16.31 c mandatory. 17.20/16.31 c checking 626233 ... 17.69/16.81 c mandatory. 17.69/16.81 c checking 626232 ... 18.20/17.31 c mandatory. 18.20/17.31 c checking 626231 ... 20.47/18.69 c mandatory. 20.47/18.69 c checking 626230 ... 20.88/19.04 c mandatory. 20.88/19.04 c checking 593696 ... 21.18/19.39 c mandatory. 21.18/19.39 c checking 593695 ... 21.58/19.74 c mandatory. 21.58/19.74 c checking 593694 ... 21.88/20.09 c mandatory. 21.88/20.09 c checking 593693 ... 22.28/20.44 c mandatory. 22.28/20.44 c checking 593692 ... 22.58/20.79 c mandatory. 22.58/20.79 c checking 593691 ... 22.98/21.14 c mandatory. 22.98/21.14 c checking 593690 ... 23.28/21.49 c mandatory. 23.28/21.49 c checking 593689 ... 23.67/21.84 c mandatory. 23.67/21.84 c checking 593688 ... 23.97/22.19 c mandatory. 23.97/22.19 c checking 593420 ... 24.37/22.54 c mandatory. 24.37/22.54 c checking 593419 ... 24.68/22.89 c mandatory. 24.68/22.89 c checking 593418 ... 25.07/23.24 c mandatory. 25.07/23.24 c checking 593417 ... 25.37/23.59 c mandatory. 25.37/23.59 c checking 593416 ... 25.78/23.94 c mandatory. 25.78/23.94 c checking 593415 ... 26.17/24.30 c mandatory. 26.17/24.30 c checking 593414 ... 26.47/24.65 c mandatory. 26.47/24.65 c checking 593413 ... 26.88/25.00 c mandatory. 26.88/25.00 c checking 593412 ... 27.17/25.36 c mandatory. 27.17/25.36 c checking 593411 ... 27.57/25.71 c mandatory. 27.57/25.71 c checking 593408 ... 27.88/26.06 c mandatory. 27.88/26.06 c checking 593036 ... 28.37/26.52 c mandatory. 28.37/26.52 c checking 593035 ... 28.77/26.97 c mandatory. 28.77/26.97 c checking 593034 ... 29.27/27.41 c mandatory. 29.27/27.41 c checking 593033 ... 29.57/27.76 c mandatory. 29.57/27.76 c checking 593032 ... 29.97/28.12 c mandatory. 29.97/28.12 c checking 593031 ... 30.27/28.47 c mandatory. 30.27/28.47 c checking 593030 ... 30.67/28.82 c mandatory. 30.67/28.82 c checking 593029 ... 30.97/29.17 c mandatory. 30.97/29.17 c checking 593028 ... 32.07/29.89 c mandatory. 32.07/29.89 c checking 593027 ... 32.47/30.21 c mandatory. 32.47/30.21 c checking 593026 ... 32.77/30.55 c mandatory. 32.77/30.55 c checking 593025 ... 33.17/30.90 c mandatory. 33.17/30.90 c checking 560491 ... 33.47/31.25 c mandatory. 33.47/31.25 c checking 560490 ... 33.77/31.60 c mandatory. 33.77/31.60 c checking 560489 ... 34.16/31.96 c mandatory. 34.16/31.96 c checking 560488 ... 34.56/32.31 c mandatory. 34.56/32.31 c checking 560487 ... 34.87/32.66 c mandatory. 34.87/32.66 c checking 560486 ... 35.26/33.00 c mandatory. 35.26/33.00 c checking 560485 ... 35.56/33.35 c mandatory. 35.56/33.35 c checking 560484 ... 35.86/33.69 c mandatory. 35.86/33.69 c checking 560483 ... 36.26/34.04 c mandatory. 36.26/34.04 c checking 560215 ... 36.56/34.39 c mandatory. 36.56/34.39 c checking 560214 ... 36.96/34.74 c mandatory. 36.96/34.74 c checking 560213 ... 37.26/35.09 c mandatory. 37.26/35.09 c checking 560212 ... 37.66/35.43 c mandatory. 37.66/35.43 c checking 560211 ... 37.96/35.78 c mandatory. 37.96/35.78 c checking 560210 ... 38.36/36.13 c mandatory. 38.36/36.13 c checking 560209 ... 38.66/36.48 c mandatory. 38.66/36.48 c checking 560208 ... 39.06/36.83 c mandatory. 39.06/36.83 c checking 560207 ... 39.37/37.18 c mandatory. 39.37/37.18 c checking 560206 ... 39.76/37.53 c mandatory. 39.76/37.53 c checking 560205 ... 40.01/37.77 c not needed. 40.01/37.77 c checking 560204 ... 40.11/37.88 c not needed. 40.11/37.88 c checking 560203 ... 40.51/38.21 c mandatory. 40.51/38.21 c checking 559831 ... 40.91/38.64 c mandatory. 40.91/38.64 c checking 559830 ... 41.41/39.17 c mandatory. 41.41/39.17 c checking 559829 ... 41.81/39.55 c mandatory. 41.81/39.55 c checking 559828 ... 42.21/39.92 c mandatory. 42.21/39.92 c checking 559827 ... 42.51/40.27 c mandatory. 42.51/40.27 c checking 559826 ... 43.55/40.96 c mandatory. 43.55/40.96 c checking 559825 ... 43.95/41.31 c mandatory. 43.95/41.31 c checking 559824 ... 44.25/41.67 c mandatory. 44.25/41.67 c checking 559823 ... 44.65/42.02 c mandatory. 44.65/42.02 c checking 559822 ... 44.95/42.36 c mandatory. 44.95/42.36 c checking 559821 ... 45.35/42.72 c mandatory. 45.35/42.72 c checking 559820 ... 45.65/43.07 c mandatory. 45.65/43.07 c checking 527286 ... 46.05/43.42 c mandatory. 46.05/43.42 c checking 527285 ... 46.36/43.78 c mandatory. 46.36/43.78 c checking 527284 ... 46.75/44.14 c mandatory. 46.75/44.14 c checking 527283 ... 47.05/44.49 c mandatory. 47.05/44.49 c checking 527282 ... 47.45/44.84 c mandatory. 47.45/44.84 c checking 527281 ... 47.75/45.19 c mandatory. 47.75/45.19 c checking 527280 ... 48.15/45.55 c mandatory. 48.15/45.55 c checking 527279 ... 48.45/45.90 c mandatory. 48.45/45.90 c checking 527278 ... 48.85/46.24 c mandatory. 48.85/46.24 c checking 527010 ... 49.15/46.58 c mandatory. 49.15/46.58 c checking 527009 ... 49.55/46.93 c mandatory. 49.55/46.93 c checking 527008 ... 49.85/47.28 c mandatory. 49.85/47.28 c checking 527007 ... 50.25/47.63 c mandatory. 50.25/47.63 c checking 527006 ... 50.55/47.98 c mandatory. 50.55/47.98 c checking 527005 ... 50.95/48.32 c mandatory. 50.95/48.32 c checking 527004 ... 51.25/48.67 c mandatory. 51.25/48.67 c checking 527003 ... 51.65/49.02 c mandatory. 51.65/49.02 c checking 527002 ... 51.95/49.37 c mandatory. 51.95/49.37 c checking 527001 ... 52.35/49.72 c mandatory. 52.35/49.72 c checking 527000 ... 52.45/49.84 c not needed. 52.45/49.84 c checking 526999 ... 52.55/49.97 c not needed. 52.55/49.97 c checking 526998 ... 52.95/50.32 c mandatory. 52.95/50.32 c checking 526626 ... 53.35/50.73 c mandatory. 53.35/50.73 c checking 526625 ... 53.75/51.13 c mandatory. 53.75/51.13 c checking 526624 ... 54.79/51.88 c mandatory. 54.79/51.88 c checking 526623 ... 55.19/52.24 c mandatory. 55.19/52.24 c checking 526622 ... 55.50/52.58 c mandatory. 55.50/52.58 c checking 526621 ... 55.89/52.93 c mandatory. 55.89/52.93 c checking 526620 ... 56.19/53.28 c mandatory. 56.19/53.28 c checking 526619 ... 56.60/53.63 c mandatory. 56.60/53.63 c checking 526618 ... 56.89/53.98 c mandatory. 56.89/53.98 c checking 526617 ... 57.29/54.33 c mandatory. 57.29/54.33 c checking 526616 ... 57.59/54.68 c mandatory. 57.59/54.68 c checking 526615 ... 57.99/55.03 c mandatory. 57.99/55.03 c checking 494081 ... 58.29/55.39 c mandatory. 58.29/55.39 c checking 494080 ... 58.69/55.74 c mandatory. 58.69/55.74 c checking 494079 ... 59.09/56.10 c mandatory. 59.09/56.10 c checking 494078 ... 59.39/56.46 c mandatory. 59.39/56.46 c checking 494077 ... 59.79/56.83 c mandatory. 59.79/56.83 c checking 494076 ... 60.09/57.18 c mandatory. 60.09/57.18 c checking 494075 ... 60.49/57.54 c mandatory. 60.49/57.54 c checking 494074 ... 60.89/57.90 c mandatory. 60.89/57.90 c checking 494073 ... 61.19/58.25 c mandatory. 61.19/58.25 c checking 493805 ... 61.59/58.60 c mandatory. 61.59/58.60 c checking 493804 ... 61.89/58.95 c mandatory. 61.89/58.95 c checking 493803 ... 62.29/59.30 c mandatory. 62.29/59.30 c checking 493802 ... 62.59/59.64 c mandatory. 62.59/59.64 c checking 493801 ... 62.99/60.00 c mandatory. 62.99/60.00 c checking 493800 ... 63.30/60.35 c mandatory. 63.30/60.35 c checking 493799 ... 63.69/60.70 c mandatory. 63.69/60.70 c checking 493798 ... 63.99/61.05 c mandatory. 63.99/61.05 c checking 493797 ... 64.40/61.40 c mandatory. 64.40/61.41 c checking 493796 ... 64.69/61.76 c mandatory. 64.69/61.76 c checking 493795 ... 64.79/61.88 c not needed. 64.79/61.88 c checking 493794 ... 64.99/62.00 c not needed. 64.99/62.00 c checking 493793 ... 66.04/62.71 c mandatory. 66.04/62.71 c checking 493421 ... 66.34/63.06 c mandatory. 66.34/63.06 c checking 493420 ... 66.74/63.46 c mandatory. 66.74/63.46 c checking 493419 ... 67.14/63.81 c mandatory. 67.14/63.81 c checking 493418 ... 67.44/64.16 c mandatory. 67.44/64.16 c checking 493417 ... 67.84/64.52 c mandatory. 67.84/64.52 c checking 493416 ... 68.15/64.87 c mandatory. 68.15/64.87 c checking 493415 ... 68.54/65.22 c mandatory. 68.54/65.22 c checking 493414 ... 68.84/65.58 c mandatory. 68.84/65.58 c checking 493413 ... 69.25/65.92 c mandatory. 69.25/65.92 c checking 493412 ... 69.54/66.27 c mandatory. 69.54/66.27 c checking 493411 ... 69.94/66.61 c mandatory. 69.94/66.61 c checking 493410 ... 70.25/66.96 c mandatory. 70.25/66.96 c checking 460876 ... 70.64/67.31 c mandatory. 70.64/67.31 c checking 460875 ... 70.94/67.67 c mandatory. 70.94/67.67 c checking 460874 ... 71.35/68.02 c mandatory. 71.35/68.02 c checking 460873 ... 71.64/68.37 c mandatory. 71.64/68.37 c checking 460872 ... 72.04/68.74 c mandatory. 72.04/68.74 c checking 460871 ... 72.34/69.09 c mandatory. 72.34/69.09 c checking 460870 ... 72.74/69.44 c mandatory. 72.74/69.44 c checking 460869 ... 73.04/69.79 c mandatory. 73.04/69.79 c checking 460868 ... 73.44/70.15 c mandatory. 73.44/70.15 c checking 460600 ... 73.84/70.50 c mandatory. 73.84/70.50 c checking 460599 ... 74.14/70.85 c mandatory. 74.14/70.85 c checking 460598 ... 74.54/71.21 c mandatory. 74.54/71.21 c checking 460597 ... 74.84/71.57 c mandatory. 74.84/71.57 c checking 460596 ... 75.24/71.92 c mandatory. 75.24/71.92 c checking 460595 ... 75.54/72.27 c mandatory. 75.54/72.27 c checking 460594 ... 75.94/72.62 c mandatory. 75.94/72.62 c checking 460593 ... 76.24/72.96 c mandatory. 76.24/72.96 c checking 460592 ... 77.29/73.67 c mandatory. 77.29/73.67 c checking 460591 ... 77.69/74.03 c mandatory. 77.69/74.03 c checking 460589 ... 77.79/74.16 c not needed. 77.79/74.16 c checking 460588 ... 78.19/74.51 c mandatory. 78.19/74.51 c checking 460216 ... 78.50/74.86 c mandatory. 78.50/74.86 c checking 460215 ... 78.89/75.25 c mandatory. 78.89/75.25 c checking 460214 ... 79.29/75.60 c mandatory. 79.29/75.60 c checking 460213 ... 79.60/75.95 c mandatory. 79.60/75.95 c checking 460212 ... 79.99/76.31 c mandatory. 79.99/76.31 c checking 460211 ... 80.29/76.66 c mandatory. 80.29/76.66 c checking 460210 ... 80.70/77.01 c mandatory. 80.70/77.01 c checking 460209 ... 80.99/77.36 c mandatory. 80.99/77.36 c checking 460208 ... 81.39/77.72 c mandatory. 81.39/77.72 c checking 460207 ... 81.69/78.07 c mandatory. 81.69/78.07 c checking 460206 ... 82.09/78.43 c mandatory. 82.09/78.43 c checking 460205 ... 82.39/78.77 c mandatory. 82.39/78.77 c checking 427671 ... 82.79/79.12 c mandatory. 82.79/79.12 c checking 427670 ... 83.09/79.47 c mandatory. 83.09/79.47 c checking 427669 ... 83.49/79.81 c mandatory. 83.49/79.81 c checking 427668 ... 83.79/80.16 c mandatory. 83.79/80.16 c checking 427667 ... 84.19/80.51 c mandatory. 84.19/80.51 c checking 427666 ... 85.29/81.27 c mandatory. 85.29/81.27 c checking 427665 ... 85.69/81.63 c mandatory. 85.69/81.63 c checking 427664 ... 86.00/81.99 c mandatory. 86.00/81.99 c checking 427663 ... 86.40/82.34 c mandatory. 86.40/82.34 c checking 427395 ... 86.70/82.70 c mandatory. 86.70/82.70 c checking 427394 ... 87.10/83.07 c mandatory. 87.10/83.07 c checking 427393 ... 87.50/83.42 c mandatory. 87.50/83.42 c checking 427392 ... 87.80/83.78 c mandatory. 87.80/83.78 c checking 427391 ... 88.20/84.14 c mandatory. 88.20/84.14 c checking 427390 ... 88.50/84.50 c mandatory. 88.50/84.50 c checking 427389 ... 88.90/84.86 c mandatory. 88.90/84.86 c checking 427388 ... 89.30/85.22 c mandatory. 89.30/85.22 c checking 427387 ... 89.60/85.57 c mandatory. 89.60/85.57 c checking 427386 ... 90.00/85.92 c mandatory. 90.00/85.92 c checking 427385 ... 90.20/86.15 c not needed. 90.20/86.15 c checking 427384 ... 90.29/86.27 c not needed. 90.29/86.27 c checking 427383 ... 90.69/86.63 c mandatory. 90.69/86.63 c checking 427382 ... 90.79/86.76 c not needed. 90.79/86.76 c checking 427381 ... 90.89/86.88 c not needed. 90.89/86.88 c checking 427380 ... 91.09/87.01 c not needed. 91.09/87.01 c checking 427379 ... 91.20/87.13 c not needed. 91.20/87.13 c checking 427378 ... 91.30/87.26 c not needed. 91.30/87.26 c checking 427377 ... 91.39/87.38 c not needed. 91.39/87.38 c checking 427376 ... 91.59/87.50 c not needed. 91.59/87.50 c checking 427375 ... 91.69/87.63 c not needed. 91.69/87.63 c checking 427374 ... 91.82/87.78 c not needed. 91.82/87.78 c checking 427373 ... 92.02/87.91 c not needed. 92.02/87.91 c checking 427372 ... 92.12/88.03 c not needed. 92.12/88.03 c checking 427371 ... 92.22/88.16 c not needed. 92.22/88.16 c checking 427370 ... 92.32/88.28 c not needed. 92.32/88.28 c checking 427369 ... 92.52/88.41 c not needed. 92.52/88.41 c checking 427368 ... 92.62/88.53 c not needed. 92.62/88.53 c checking 427367 ... 92.72/88.66 c not needed. 92.72/88.66 c checking 427366 ... 92.82/88.78 c not needed. 92.82/88.78 c checking 427365 ... 93.02/88.91 c not needed. 93.02/88.91 c checking 427364 ... 93.12/89.04 c not needed. 93.12/89.04 c checking 427363 ... 93.22/89.16 c not needed. 93.22/89.16 c checking 427362 ... 93.32/89.29 c not needed. 93.32/89.29 c checking 427361 ... 93.52/89.41 c not needed. 93.52/89.41 c checking 427360 ... 93.62/89.54 c not needed. 93.62/89.54 c checking 427359 ... 93.72/89.66 c not needed. 93.72/89.66 c checking 427358 ... 93.82/89.79 c not needed. 93.82/89.79 c checking 427357 ... 94.02/89.92 c not needed. 94.02/89.92 c checking 427356 ... 94.12/90.04 c not needed. 94.12/90.04 c checking 427355 ... 94.22/90.17 c not needed. 94.22/90.17 c checking 427354 ... 94.32/90.30 c not needed. 94.32/90.30 c checking 427353 ... 94.52/90.42 c not needed. 94.52/90.42 c checking 427352 ... 94.62/90.55 c not needed. 94.62/90.55 c checking 427351 ... 94.71/90.67 c not needed. 94.71/90.67 c checking 427350 ... 94.91/90.80 c not needed. 94.91/90.80 c checking 427349 ... 95.01/90.92 c not needed. 95.01/90.92 c checking 427348 ... 95.11/91.05 c not needed. 95.11/91.05 c checking 427347 ... 95.21/91.17 c not needed. 95.21/91.18 c checking 427346 ... 95.41/91.30 c not needed. 95.41/91.30 c checking 427345 ... 95.51/91.43 c not needed. 95.51/91.43 c checking 427344 ... 95.62/91.55 c not needed. 95.62/91.55 c checking 427343 ... 95.72/91.68 c not needed. 95.72/91.68 c checking 427342 ... 95.91/91.80 c not needed. 95.91/91.80 c checking 427341 ... 96.01/91.93 c not needed. 96.01/91.93 c checking 427338 ... 96.12/92.06 c not needed. 96.12/92.06 c checking 427337 ... 96.22/92.18 c not needed. 96.22/92.18 c checking 427335 ... 96.42/92.31 c not needed. 96.42/92.31 c checking 427334 ... 96.52/92.43 c not needed. 96.52/92.43 c checking 427333 ... 96.62/92.55 c not needed. 96.62/92.55 c checking 427332 ... 96.73/92.68 c not needed. 96.73/92.68 c checking 427330 ... 96.92/92.80 c not needed. 96.92/92.80 c checking 427329 ... 97.02/92.92 c not needed. 97.02/92.92 c checking 427327 ... 97.12/93.05 c not needed. 97.12/93.05 c checking 427326 ... 97.22/93.17 c not needed. 97.22/93.17 c checking 427325 ... 97.42/93.30 c not needed. 97.42/93.30 c checking 427324 ... 97.52/93.42 c not needed. 97.52/93.42 c checking 427321 ... 97.62/93.55 c not needed. 97.62/93.55 c checking 427320 ... 97.72/93.67 c not needed. 97.72/93.67 c checking 427315 ... 97.83/93.80 c not needed. 97.83/93.80 c checking 427314 ... 98.02/93.92 c not needed. 98.02/93.92 c checking 427313 ... 98.12/94.05 c not needed. 98.12/94.05 c checking 427312 ... 98.22/94.17 c not needed. 98.22/94.17 c checking 427311 ... 98.42/94.30 c not needed. 98.42/94.30 c checking 427310 ... 98.52/94.42 c not needed. 98.52/94.42 c checking 427308 ... 98.62/94.55 c not needed. 98.62/94.55 c checking 427307 ... 98.72/94.68 c not needed. 98.72/94.68 c checking 427306 ... 98.82/94.80 c not needed. 98.82/94.80 c checking 427305 ... 99.03/94.93 c not needed. 99.03/94.93 c checking 427304 ... 99.12/95.05 c not needed. 99.12/95.05 c checking 427265 ... 99.22/95.18 c not needed. 99.22/95.18 c checking 427264 ... 99.42/95.30 c not needed. 99.42/95.30 c checking 427263 ... 99.52/95.43 c not needed. 99.52/95.43 c checking 427262 ... 99.62/95.55 c not needed. 99.62/95.55 c checking 427258 ... 99.72/95.68 c not needed. 99.72/95.68 c checking 427256 ... 99.92/95.80 c not needed. 99.92/95.80 c checking 427253 ... 100.03/95.93 c not needed. 100.03/95.93 c checking 427251 ... 100.13/96.05 c not needed. 100.13/96.05 c checking 427247 ... 100.22/96.18 c not needed. 100.22/96.18 c checking 427245 ... 100.42/96.30 c not needed. 100.42/96.30 c checking 427055 ... 100.53/96.44 c not needed. 100.53/96.44 c checking 427054 ... 100.63/96.56 c not needed. 100.63/96.56 c checking 427017 ... 100.73/96.68 c not needed. 100.73/96.68 c checking 427016 ... 100.93/96.80 c not needed. 100.93/96.80 c checking 427015 ... 101.03/96.91 c not needed. 101.03/96.91 c checking 427014 ... 101.13/97.04 c not needed. 101.13/97.04 c checking 427011 ... 101.42/97.40 c mandatory. 101.42/97.40 c checking 427010 ... 101.82/97.75 c mandatory. 101.82/97.75 c checking 427009 ... 102.23/98.11 c mandatory. 102.23/98.11 c checking 427008 ... 102.52/98.46 c mandatory. 102.52/98.46 c checking 427007 ... 102.92/98.81 c mandatory. 102.92/98.81 c checking 427006 ... 103.22/99.17 c mandatory. 103.22/99.17 c checking 427005 ... 103.62/99.52 c mandatory. 103.62/99.52 c checking 427004 ... 103.92/99.88 c mandatory. 103.92/99.88 c checking 427003 ... 104.32/100.24 c mandatory. 104.32/100.24 c checking 427002 ... 104.62/100.59 c mandatory. 104.62/100.59 c checking 427001 ... 105.02/100.95 c mandatory. 105.02/100.95 c checking 427000 ... 105.42/101.31 c mandatory. 105.42/101.31 c checking 426999 ... 105.53/101.44 c not needed. 105.53/101.44 c checking 426998 ... 105.63/101.56 c not needed. 105.63/101.56 c checking 426997 ... 105.72/101.69 c not needed. 105.72/101.69 c checking 426996 ... 105.92/101.81 c not needed. 105.92/101.81 c checking 426995 ... 106.02/101.93 c not needed. 106.02/101.93 c checking 426994 ... 106.15/102.09 c not needed. 106.15/102.09 c checking 426993 ... 106.35/102.21 c not needed. 106.35/102.21 c checking 426992 ... 106.44/102.33 c not needed. 106.44/102.33 c checking 426991 ... 106.55/102.46 c not needed. 106.55/102.46 c checking 426990 ... 106.65/102.58 c not needed. 106.65/102.58 c checking 426989 ... 106.84/102.71 c not needed. 106.84/102.71 c checking 426988 ... 106.94/102.83 c not needed. 106.94/102.83 c checking 426987 ... 107.04/102.96 c not needed. 107.04/102.96 c checking 426986 ... 107.14/103.08 c not needed. 107.14/103.08 c checking 426985 ... 107.34/103.21 c not needed. 107.34/103.21 c checking 426984 ... 107.44/103.33 c not needed. 107.44/103.33 c checking 426983 ... 107.54/103.45 c not needed. 107.54/103.46 c checking 426982 ... 107.64/103.58 c not needed. 107.64/103.58 c checking 426981 ... 107.85/103.71 c not needed. 107.85/103.71 c checking 426980 ... 107.94/103.83 c not needed. 107.94/103.83 c checking 426979 ... 108.04/103.96 c not needed. 108.04/103.96 c checking 426978 ... 108.14/104.08 c not needed. 108.14/104.08 c checking 426977 ... 108.34/104.20 c not needed. 108.34/104.20 c checking 426976 ... 108.44/104.33 c not needed. 108.44/104.33 c checking 426975 ... 108.54/104.45 c not needed. 108.54/104.45 c checking 426974 ... 108.64/104.58 c not needed. 108.64/104.58 c checking 426973 ... 108.85/104.70 c not needed. 108.85/104.70 c checking 426972 ... 108.95/104.83 c not needed. 108.95/104.83 c checking 426971 ... 109.04/104.95 c not needed. 109.04/104.95 c checking 426970 ... 109.14/105.07 c not needed. 109.14/105.07 c checking 426969 ... 109.24/105.20 c not needed. 109.24/105.20 c checking 426968 ... 109.44/105.32 c not needed. 109.44/105.32 c checking 426967 ... 109.54/105.44 c not needed. 109.54/105.44 c checking 426966 ... 109.64/105.57 c not needed. 109.64/105.57 c checking 426965 ... 109.74/105.69 c not needed. 109.74/105.69 c checking 426964 ... 109.95/105.81 c not needed. 109.95/105.81 c checking 426963 ... 110.05/105.93 c not needed. 110.05/105.93 c checking 426962 ... 110.14/106.06 c not needed. 110.14/106.06 c checking 426961 ... 110.24/106.18 c not needed. 110.24/106.18 c checking 426960 ... 110.44/106.31 c not needed. 110.44/106.31 c checking 426959 ... 110.55/106.44 c not needed. 110.55/106.44 c checking 426958 ... 110.65/106.56 c not needed. 110.65/106.56 c checking 426957 ... 110.75/106.69 c not needed. 110.75/106.69 c checking 426956 ... 110.95/106.81 c not needed. 110.95/106.81 c checking 426955 ... 111.06/106.94 c not needed. 111.06/106.94 c checking 426954 ... 111.16/107.06 c not needed. 111.16/107.06 c checking 426953 ... 111.25/107.19 c not needed. 111.25/107.19 c checking 426952 ... 111.45/107.31 c not needed. 111.45/107.31 c checking 426951 ... 111.55/107.44 c not needed. 111.55/107.44 c checking 426950 ... 111.65/107.56 c not needed. 111.65/107.56 c checking 426949 ... 111.75/107.69 c not needed. 111.75/107.69 c checking 426948 ... 111.95/107.81 c not needed. 111.95/107.81 c checking 426947 ... 112.05/107.94 c not needed. 112.05/107.94 c checking 426946 ... 112.16/108.06 c not needed. 112.16/108.06 c checking 426945 ... 112.26/108.19 c not needed. 112.26/108.19 c checking 426944 ... 112.45/108.31 c not needed. 112.45/108.31 c checking 426943 ... 112.55/108.44 c not needed. 112.55/108.44 c checking 426942 ... 112.65/108.56 c not needed. 112.65/108.56 c checking 426941 ... 112.75/108.69 c not needed. 112.75/108.69 c checking 426940 ... 112.95/108.82 c not needed. 112.95/108.82 c checking 426939 ... 113.05/108.94 c not needed. 113.05/108.94 c checking 426938 ... 113.15/109.07 c not needed. 113.15/109.07 c checking 426937 ... 113.26/109.19 c not needed. 113.26/109.19 c checking 426936 ... 113.45/109.32 c not needed. 113.45/109.32 c checking 426935 ... 113.55/109.44 c not needed. 113.55/109.44 c checking 426934 ... 113.65/109.57 c not needed. 113.65/109.57 c checking 426933 ... 113.75/109.69 c not needed. 113.75/109.69 c checking 426932 ... 113.95/109.82 c not needed. 113.95/109.82 c checking 426931 ... 114.05/109.94 c not needed. 114.05/109.94 c checking 426930 ... 114.15/110.07 c not needed. 114.15/110.07 c checking 426929 ... 114.25/110.19 c not needed. 114.25/110.20 c checking 426928 ... 114.46/110.32 c not needed. 114.46/110.32 c checking 426927 ... 114.55/110.45 c not needed. 114.55/110.45 c checking 426926 ... 114.65/110.57 c not needed. 114.65/110.57 c checking 426925 ... 114.75/110.70 c not needed. 114.85/110.70 c checking 426924 ... 114.96/110.83 c not needed. 114.96/110.83 c checking 426923 ... 115.06/110.96 c not needed. 115.06/110.96 c checking 426922 ... 115.16/111.08 c not needed. 115.16/111.08 c checking 426921 ... 115.36/111.21 c not needed. 115.36/111.21 c checking 426920 ... 115.47/111.33 c not needed. 115.47/111.33 c checking 426919 ... 115.57/111.45 c not needed. 115.57/111.45 c checking 426918 ... 115.66/111.58 c not needed. 115.66/111.58 c checking 426917 ... 115.86/111.70 c not needed. 115.86/111.70 c checking 426916 ... 115.96/111.82 c not needed. 115.96/111.82 c checking 426915 ... 116.06/111.94 c not needed. 116.06/111.94 c checking 426914 ... 116.16/112.07 c not needed. 116.16/112.07 c checking 426913 ... 116.26/112.19 c not needed. 116.26/112.19 c checking 426912 ... 116.46/112.31 c not needed. 116.46/112.31 c checking 426911 ... 116.57/112.43 c not needed. 116.57/112.44 c checking 426910 ... 116.67/112.56 c not needed. 116.67/112.56 c checking 426909 ... 116.76/112.68 c not needed. 116.76/112.68 c checking 426908 ... 116.96/112.81 c not needed. 116.96/112.81 c checking 426907 ... 117.06/112.93 c not needed. 117.06/112.93 c checking 426906 ... 117.16/113.06 c not needed. 117.16/113.06 c checking 426905 ... 117.26/113.18 c not needed. 117.26/113.18 c checking 426904 ... 117.46/113.30 c not needed. 117.46/113.30 c checking 426903 ... 117.56/113.43 c not needed. 117.56/113.43 c checking 426902 ... 117.67/113.55 c not needed. 117.67/113.55 c checking 426901 ... 117.77/113.68 c not needed. 117.77/113.68 c checking 426900 ... 117.96/113.80 c not needed. 117.96/113.80 c checking 426899 ... 118.06/113.93 c not needed. 118.06/113.93 c checking 426898 ... 118.16/114.05 c not needed. 118.16/114.05 c checking 426897 ... 118.26/114.17 c not needed. 118.26/114.17 c checking 426896 ... 118.36/114.30 c not needed. 118.46/114.30 c checking 426895 ... 118.56/114.42 c not needed. 118.56/114.42 c checking 426894 ... 118.66/114.54 c not needed. 118.66/114.54 c checking 426893 ... 118.76/114.67 c not needed. 118.76/114.67 c checking 426892 ... 118.86/114.79 c not needed. 118.86/114.79 c checking 426891 ... 119.06/114.92 c not needed. 119.06/114.92 c checking 426890 ... 119.16/115.04 c not needed. 119.16/115.04 c checking 426889 ... 119.26/115.17 c not needed. 119.26/115.17 c checking 426888 ... 119.46/115.30 c not needed. 119.46/115.30 c checking 426887 ... 119.56/115.42 c not needed. 119.56/115.42 c checking 426886 ... 119.66/115.55 c not needed. 119.66/115.55 c checking 426885 ... 119.76/115.67 c not needed. 119.76/115.67 c checking 426884 ... 119.87/115.80 c not needed. 119.87/115.80 c checking 426883 ... 120.06/115.92 c not needed. 120.06/115.92 c checking 426882 ... 120.16/116.05 c not needed. 120.16/116.05 c checking 426881 ... 120.26/116.17 c not needed. 120.26/116.17 c checking 426880 ... 120.36/116.29 c not needed. 120.36/116.29 c checking 426879 ... 120.56/116.42 c not needed. 120.56/116.42 c checking 426878 ... 120.66/116.54 c not needed. 120.66/116.54 c checking 426877 ... 120.76/116.67 c not needed. 120.76/116.67 c checking 426876 ... 120.86/116.79 c not needed. 120.86/116.79 c checking 426875 ... 121.07/116.92 c not needed. 121.07/116.92 c checking 426874 ... 121.16/117.04 c not needed. 121.16/117.04 c checking 426873 ... 121.26/117.16 c not needed. 121.26/117.16 c checking 426872 ... 121.36/117.29 c not needed. 121.36/117.29 c checking 426871 ... 121.56/117.41 c not needed. 121.56/117.41 c checking 426870 ... 121.66/117.54 c not needed. 121.66/117.54 c checking 426869 ... 121.76/117.67 c not needed. 121.76/117.67 c checking 426868 ... 121.86/117.79 c not needed. 121.86/117.79 c checking 426867 ... 122.06/117.92 c not needed. 122.06/117.92 c checking 426866 ... 122.17/118.04 c not needed. 122.17/118.04 c checking 426865 ... 122.26/118.16 c not needed. 122.26/118.16 c checking 426864 ... 122.36/118.29 c not needed. 122.36/118.29 c checking 426863 ... 122.56/118.41 c not needed. 122.56/118.41 c checking 426862 ... 122.66/118.53 c not needed. 122.66/118.53 c checking 426861 ... 122.76/118.65 c not needed. 122.76/118.65 c checking 426860 ... 122.86/118.78 c not needed. 122.86/118.78 c checking 426859 ... 123.06/118.90 c not needed. 123.06/118.90 c checking 426858 ... 123.16/119.02 c not needed. 123.16/119.02 c checking 426857 ... 123.26/119.14 c not needed. 123.26/119.14 c checking 426856 ... 123.36/119.27 c not needed. 123.36/119.27 c checking 426855 ... 123.46/119.39 c not needed. 123.46/119.39 c checking 426854 ... 123.66/119.52 c not needed. 123.66/119.52 c checking 426853 ... 123.76/119.64 c not needed. 123.76/119.64 c checking 426852 ... 123.87/119.78 c not needed. 123.87/119.78 c checking 426851 ... 124.07/119.90 c not needed. 124.07/119.90 c checking 426850 ... 124.17/120.03 c not needed. 124.17/120.03 c checking 426849 ... 124.27/120.16 c not needed. 124.27/120.16 c checking 426848 ... 124.37/120.28 c not needed. 124.37/120.28 c checking 426847 ... 124.56/120.40 c not needed. 124.56/120.40 c checking 426846 ... 124.66/120.53 c not needed. 124.66/120.53 c checking 426845 ... 124.76/120.65 c not needed. 124.76/120.65 c checking 426844 ... 124.86/120.78 c not needed. 124.86/120.78 c checking 426843 ... 125.06/120.91 c not needed. 125.06/120.91 c checking 426842 ... 125.16/121.02 c not needed. 125.16/121.02 c checking 426841 ... 125.26/121.14 c not needed. 125.26/121.14 c checking 426840 ... 125.36/121.26 c not needed. 125.36/121.26 c checking 426839 ... 125.46/121.39 c not needed. 125.46/121.39 c checking 426838 ... 125.65/121.51 c not needed. 125.65/121.51 c checking 426837 ... 125.75/121.63 c not needed. 125.75/121.63 c checking 426836 ... 125.85/121.74 c not needed. 125.85/121.74 c checking 426835 ... 125.95/121.86 c not needed. 125.95/121.86 c checking 426834 ... 126.05/121.98 c not needed. 126.05/121.98 c checking 426833 ... 126.25/122.10 c not needed. 126.25/122.10 c checking 426832 ... 126.35/122.22 c not needed. 126.35/122.22 c checking 426831 ... 126.45/122.34 c not needed. 126.45/122.34 c checking 426830 ... 126.55/122.45 c not needed. 126.55/122.45 c checking 426829 ... 126.64/122.57 c not needed. 126.64/122.57 c checking 426828 ... 126.74/122.69 c not needed. 126.74/122.69 c checking 426827 ... 126.94/122.81 c not needed. 126.94/122.81 c checking 426826 ... 127.04/122.92 c not needed. 127.04/122.92 c checking 426825 ... 127.14/123.04 c not needed. 127.14/123.04 c checking 426824 ... 127.24/123.16 c not needed. 127.24/123.16 c checking 426823 ... 127.34/123.27 c not needed. 127.34/123.27 c checking 426822 ... 127.44/123.38 c not needed. 127.44/123.38 c checking 426821 ... 127.65/123.51 c not needed. 127.65/123.51 c checking 426820 ... 127.74/123.64 c not needed. 127.74/123.64 c checking 426819 ... 127.84/123.76 c not needed. 127.84/123.77 c checking 426818 ... 127.94/123.89 c not needed. 127.94/123.89 c checking 426817 ... 128.14/124.01 c not needed. 128.14/124.01 c checking 426816 ... 128.24/124.14 c not needed. 128.24/124.14 c checking 426815 ... 128.34/124.26 c not needed. 128.34/124.26 c checking 426814 ... 128.55/124.40 c not needed. 128.55/124.40 c checking 426813 ... 128.66/124.52 c not needed. 128.66/124.52 c checking 426812 ... 128.76/124.65 c not needed. 128.76/124.65 c checking 426811 ... 128.85/124.77 c not needed. 128.85/124.77 c checking 426810 ... 128.95/124.89 c not needed. 128.95/124.89 c checking 426809 ... 129.15/125.02 c not needed. 129.15/125.02 c checking 426808 ... 129.25/125.14 c not needed. 129.25/125.14 c checking 426807 ... 129.35/125.26 c not needed. 129.35/125.26 c checking 426806 ... 129.45/125.39 c not needed. 129.45/125.39 c checking 426805 ... 129.65/125.51 c not needed. 129.65/125.51 c checking 426804 ... 129.76/125.63 c not needed. 129.76/125.63 c checking 426803 ... 129.86/125.76 c not needed. 129.86/125.76 c checking 426802 ... 129.95/125.88 c not needed. 129.95/125.88 c checking 426801 ... 130.15/126.00 c not needed. 130.15/126.00 c checking 426800 ... 130.25/126.13 c not needed. 130.25/126.13 c checking 426799 ... 130.35/126.25 c not needed. 130.35/126.25 c checking 426798 ... 130.45/126.38 c not needed. 130.45/126.38 c checking 426797 ... 130.65/126.50 c not needed. 130.65/126.50 c checking 426796 ... 130.75/126.63 c not needed. 130.75/126.63 c checking 426795 ... 130.85/126.75 c not needed. 130.85/126.75 c checking 426794 ... 130.95/126.88 c not needed. 130.95/126.88 c checking 426793 ... 131.15/127.00 c not needed. 131.15/127.00 c checking 426792 ... 131.25/127.12 c not needed. 131.25/127.12 c checking 426791 ... 131.35/127.25 c not needed. 131.35/127.25 c checking 426790 ... 131.45/127.37 c not needed. 131.45/127.37 c checking 426789 ... 131.55/127.50 c not needed. 131.55/127.50 c checking 426788 ... 131.75/127.62 c not needed. 131.75/127.62 c checking 426787 ... 131.85/127.75 c not needed. 131.85/127.75 c checking 426786 ... 131.95/127.87 c not needed. 131.95/127.87 c checking 426785 ... 132.05/127.99 c not needed. 132.05/127.99 c checking 426784 ... 132.25/128.12 c not needed. 132.25/128.12 c checking 426783 ... 132.35/128.25 c not needed. 132.35/128.25 c checking 426782 ... 132.45/128.37 c not needed. 132.45/128.37 c checking 426781 ... 132.55/128.49 c not needed. 132.55/128.49 c checking 426780 ... 132.75/128.62 c not needed. 132.75/128.62 c checking 426779 ... 132.85/128.74 c not needed. 132.85/128.74 c checking 426778 ... 132.95/128.87 c not needed. 132.95/128.87 c checking 426777 ... 133.05/128.99 c not needed. 133.05/128.99 c checking 426776 ... 133.25/129.12 c not needed. 133.25/129.12 c checking 426775 ... 133.35/129.24 c not needed. 133.35/129.24 c checking 426774 ... 133.46/129.38 c not needed. 133.46/129.38 c checking 426773 ... 133.66/129.50 c not needed. 133.66/129.50 c checking 426772 ... 133.76/129.63 c not needed. 133.76/129.63 c checking 426771 ... 133.86/129.76 c not needed. 133.86/129.76 c checking 426770 ... 133.96/129.88 c not needed. 133.96/129.88 c checking 426769 ... 134.16/130.01 c not needed. 134.16/130.01 c checking 426768 ... 134.26/130.13 c not needed. 134.26/130.13 c checking 426767 ... 134.36/130.26 c not needed. 134.36/130.26 c checking 426766 ... 134.46/130.38 c not needed. 134.46/130.38 c checking 426765 ... 134.66/130.51 c not needed. 134.66/130.51 c checking 426529 ... 134.76/130.63 c not needed. 134.76/130.63 c checking 426528 ... 134.86/130.76 c not needed. 134.86/130.76 c checking 426526 ... 134.96/130.88 c not needed. 134.96/130.88 c checking 426524 ... 135.16/131.01 c not needed. 135.16/131.01 c checking 394466 ... 135.46/131.36 c mandatory. 135.46/131.36 c checking 394465 ... 135.85/131.73 c mandatory. 135.85/131.73 c checking 394464 ... 136.25/132.14 c mandatory. 136.25/132.14 c checking 394463 ... 136.65/132.50 c mandatory. 136.65/132.50 c checking 394462 ... 136.95/132.86 c mandatory. 136.95/132.86 c checking 394461 ... 137.35/133.22 c mandatory. 137.35/133.22 c checking 394460 ... 137.65/133.59 c mandatory. 137.65/133.59 c checking 394459 ... 138.05/133.95 c mandatory. 138.05/133.95 c checking 394458 ... 138.45/134.31 c mandatory. 138.45/134.31 c checking 394457 ... 138.56/134.43 c not needed. 138.56/134.43 c checking 394455 ... 138.66/134.56 c not needed. 138.66/134.56 c checking 394454 ... 138.75/134.68 c not needed. 138.75/134.68 c checking 394453 ... 138.95/134.81 c not needed. 138.95/134.81 c checking 394422 ... 139.05/134.93 c not needed. 139.05/134.93 c checking 394190 ... 139.35/135.29 c mandatory. 139.35/135.29 c checking 394189 ... 139.76/135.64 c mandatory. 139.76/135.64 c checking 394188 ... 140.18/136.02 c mandatory. 140.18/136.02 c checking 394187 ... 140.48/136.38 c mandatory. 140.48/136.38 c checking 394186 ... 140.88/136.74 c mandatory. 140.88/136.74 c checking 394185 ... 141.28/137.10 c mandatory. 141.28/137.10 c checking 394184 ... 141.58/137.46 c mandatory. 141.58/137.46 c checking 394183 ... 141.98/137.81 c mandatory. 141.98/137.81 c checking 394182 ... 142.28/138.16 c mandatory. 142.28/138.16 c checking 394181 ... 142.68/138.51 c mandatory. 142.68/138.51 c checking 394180 ... 142.78/138.63 c not needed. 142.78/138.63 c checking 394179 ... 142.88/138.75 c not needed. 142.88/138.75 c checking 394178 ... 143.28/139.11 c mandatory. 143.28/139.11 c checking 394176 ... 143.38/139.23 c not needed. 143.38/139.23 c checking 394175 ... 143.48/139.36 c not needed. 143.48/139.36 c checking 394174 ... 143.58/139.48 c not needed. 143.58/139.48 c checking 394149 ... 143.78/139.61 c not needed. 143.78/139.61 c checking 394147 ... 143.88/139.73 c not needed. 143.88/139.73 c checking 394146 ... 143.98/139.86 c not needed. 143.98/139.86 c checking 394145 ... 144.08/139.98 c not needed. 144.08/139.98 c checking 394144 ... 144.28/140.10 c not needed. 144.28/140.10 c checking 394143 ... 144.38/140.23 c not needed. 144.38/140.23 c checking 394142 ... 144.48/140.35 c not needed. 144.48/140.35 c checking 394141 ... 144.58/140.48 c not needed. 144.58/140.48 c checking 394140 ... 144.78/140.60 c not needed. 144.78/140.60 c checking 394139 ... 144.88/140.73 c not needed. 144.88/140.73 c checking 394138 ... 144.98/140.85 c not needed. 144.98/140.85 c checking 394137 ... 145.08/140.97 c not needed. 145.08/140.97 c checking 394136 ... 145.18/141.10 c not needed. 145.18/141.10 c checking 394135 ... 145.38/141.22 c not needed. 145.38/141.22 c checking 394134 ... 145.48/141.34 c not needed. 145.48/141.34 c checking 394133 ... 145.57/141.45 c not needed. 145.57/141.45 c checking 394132 ... 145.67/141.57 c not needed. 145.67/141.57 c checking 394131 ... 145.77/141.68 c not needed. 145.77/141.68 c checking 394130 ... 145.97/141.80 c not needed. 145.97/141.80 c checking 394126 ... 146.07/141.91 c not needed. 146.07/141.91 c checking 394125 ... 146.17/142.03 c not needed. 146.17/142.03 c checking 394124 ... 146.27/142.15 c not needed. 146.27/142.15 c checking 394123 ... 146.40/142.29 c not needed. 146.40/142.29 c checking 394122 ... 146.59/142.41 c not needed. 146.59/142.41 c checking 394118 ... 146.69/142.52 c not needed. 146.69/142.52 c checking 394117 ... 146.79/142.64 c not needed. 146.79/142.64 c checking 394116 ... 146.89/142.75 c not needed. 146.89/142.75 c checking 394115 ... 146.99/142.87 c not needed. 146.99/142.87 c checking 394114 ... 147.09/142.98 c not needed. 147.09/142.98 c checking 394113 ... 147.29/143.10 c not needed. 147.29/143.10 c checking 394112 ... 147.39/143.22 c not needed. 147.39/143.22 c checking 394111 ... 147.49/143.33 c not needed. 147.49/143.33 c checking 394110 ... 147.59/143.45 c not needed. 147.59/143.45 c checking 394106 ... 147.69/143.56 c not needed. 147.69/143.56 c checking 394105 ... 147.79/143.68 c not needed. 147.79/143.68 c checking 394104 ... 147.89/143.79 c not needed. 147.89/143.79 c checking 394099 ... 148.09/143.91 c not needed. 148.09/143.91 c checking 394098 ... 148.19/144.02 c not needed. 148.19/144.02 c checking 394097 ... 148.29/144.13 c not needed. 148.29/144.13 c checking 394096 ... 148.39/144.25 c not needed. 148.39/144.25 c checking 394091 ... 148.49/144.37 c not needed. 148.49/144.37 c checking 394090 ... 148.59/144.49 c not needed. 148.59/144.49 c checking 394089 ... 148.78/144.60 c not needed. 148.78/144.60 c checking 394087 ... 148.88/144.72 c not needed. 148.88/144.72 c checking 394086 ... 148.98/144.83 c not needed. 148.98/144.83 c checking 394085 ... 149.08/144.95 c not needed. 149.08/144.95 c checking 394084 ... 149.18/145.06 c not needed. 149.18/145.06 c checking 394082 ... 149.28/145.18 c not needed. 149.28/145.18 c checking 394081 ... 149.38/145.29 c not needed. 149.38/145.29 c checking 394080 ... 149.58/145.41 c not needed. 149.58/145.41 c checking 394079 ... 149.69/145.53 c not needed. 149.69/145.53 c checking 394078 ... 149.78/145.66 c not needed. 149.78/145.66 c checking 394076 ... 149.88/145.78 c not needed. 149.88/145.78 c checking 394075 ... 150.08/145.91 c not needed. 150.08/145.91 c checking 394074 ... 150.18/146.03 c not needed. 150.18/146.03 c checking 394072 ... 150.28/146.16 c not needed. 150.28/146.16 c checking 394071 ... 150.38/146.28 c not needed. 150.38/146.28 c checking 394070 ... 150.58/146.41 c not needed. 150.58/146.41 c checking 394069 ... 150.68/146.53 c not needed. 150.68/146.53 c checking 394068 ... 150.78/146.66 c not needed. 150.78/146.66 c checking 394067 ... 150.88/146.78 c not needed. 150.88/146.78 c checking 394066 ... 151.08/146.90 c not needed. 151.08/146.90 c checking 394065 ... 151.18/147.03 c not needed. 151.18/147.03 c checking 394064 ... 151.28/147.15 c not needed. 151.28/147.15 c checking 394063 ... 151.38/147.28 c not needed. 151.38/147.28 c checking 394062 ... 151.59/147.41 c not needed. 151.59/147.41 c checking 394061 ... 151.69/147.53 c not needed. 151.69/147.53 c checking 393850 ... 151.79/147.66 c not needed. 151.79/147.66 c checking 393849 ... 151.89/147.78 c not needed. 151.89/147.78 c checking 393812 ... 152.09/147.91 c not needed. 152.09/147.91 c checking 393811 ... 152.19/148.03 c not needed. 152.19/148.03 c checking 393810 ... 152.29/148.16 c not needed. 152.29/148.16 c checking 393809 ... 152.39/148.28 c not needed. 152.39/148.28 c checking 393806 ... 152.79/148.64 c mandatory. 152.79/148.64 c checking 393805 ... 153.19/149.00 c mandatory. 153.19/149.00 c checking 393804 ... 153.49/149.36 c mandatory. 153.49/149.36 c checking 393803 ... 153.89/149.73 c mandatory. 153.89/149.73 c checking 393802 ... 154.19/150.09 c mandatory. 154.19/150.09 c checking 393801 ... 154.59/150.45 c mandatory. 154.59/150.45 c checking 393800 ... 154.99/150.81 c mandatory. 154.99/150.81 c checking 393799 ... 155.29/151.15 c mandatory. 155.29/151.15 c checking 393798 ... 155.69/151.51 c mandatory. 155.69/151.51 c checking 393797 ... 155.99/151.86 c mandatory. 155.99/151.86 c checking 393796 ... 156.39/152.21 c mandatory. 156.39/152.21 c checking 393795 ... 156.69/152.57 c mandatory. 156.69/152.57 c checking 393794 ... 156.79/152.69 c not needed. 156.79/152.69 c checking 393793 ... 156.99/152.82 c not needed. 156.99/152.82 c checking 393792 ... 157.09/152.94 c not needed. 157.09/152.94 c checking 393791 ... 157.19/153.07 c not needed. 157.19/153.07 c checking 393790 ... 157.29/153.19 c not needed. 157.29/153.19 c checking 393789 ... 157.49/153.31 c not needed. 157.49/153.31 c checking 393788 ... 157.59/153.44 c not needed. 157.59/153.44 c checking 393787 ... 157.69/153.56 c not needed. 157.69/153.56 c checking 393786 ... 157.79/153.69 c not needed. 157.79/153.69 c checking 393785 ... 157.99/153.81 c not needed. 157.99/153.81 c checking 393784 ... 158.09/153.94 c not needed. 158.09/153.94 c checking 393783 ... 158.19/154.06 c not needed. 158.19/154.06 c checking 393782 ... 158.29/154.19 c not needed. 158.29/154.19 c checking 393781 ... 158.49/154.31 c not needed. 158.49/154.31 c checking 393780 ... 158.59/154.43 c not needed. 158.59/154.43 c checking 393779 ... 158.69/154.56 c not needed. 158.69/154.56 c checking 393778 ... 158.91/154.71 c not needed. 158.91/154.71 c checking 393777 ... 159.01/154.83 c not needed. 159.01/154.83 c checking 393776 ... 159.11/154.96 c not needed. 159.11/154.96 c checking 393775 ... 159.21/155.07 c not needed. 159.21/155.07 c checking 393774 ... 159.31/155.19 c not needed. 159.31/155.19 c checking 393773 ... 159.51/155.31 c not needed. 159.51/155.31 c checking 393772 ... 159.61/155.43 c not needed. 159.61/155.44 c checking 393771 ... 159.71/155.56 c not needed. 159.71/155.56 c checking 393770 ... 159.81/155.68 c not needed. 159.81/155.68 c checking 393769 ... 160.01/155.81 c not needed. 160.01/155.81 c checking 393768 ... 160.11/155.93 c not needed. 160.11/155.93 c checking 393767 ... 160.21/156.06 c not needed. 160.21/156.06 c checking 393766 ... 160.31/156.18 c not needed. 160.31/156.18 c checking 393765 ... 160.51/156.30 c not needed. 160.51/156.30 c checking 393764 ... 160.61/156.43 c not needed. 160.61/156.43 c checking 393763 ... 160.71/156.56 c not needed. 160.71/156.56 c checking 393762 ... 160.81/156.68 c not needed. 160.81/156.68 c checking 393761 ... 161.01/156.80 c not needed. 161.01/156.80 c checking 393760 ... 161.10/156.93 c not needed. 161.10/156.93 c checking 393759 ... 161.20/157.06 c not needed. 161.20/157.06 c checking 393758 ... 161.30/157.18 c not needed. 161.30/157.18 c checking 393757 ... 161.50/157.31 c not needed. 161.50/157.31 c checking 393756 ... 161.60/157.43 c not needed. 161.60/157.43 c checking 393755 ... 161.71/157.55 c not needed. 161.71/157.55 c checking 393754 ... 161.81/157.67 c not needed. 161.81/157.67 c checking 393753 ... 161.90/157.80 c not needed. 161.90/157.80 c checking 393752 ... 162.10/157.92 c not needed. 162.10/157.92 c checking 393751 ... 162.20/158.04 c not needed. 162.20/158.04 c checking 393750 ... 162.30/158.17 c not needed. 162.30/158.17 c checking 393749 ... 162.40/158.29 c not needed. 162.40/158.29 c checking 393748 ... 162.60/158.41 c not needed. 162.60/158.41 c checking 393747 ... 162.70/158.53 c not needed. 162.70/158.53 c checking 393746 ... 162.81/158.66 c not needed. 162.81/158.66 c checking 393745 ... 162.91/158.78 c not needed. 162.91/158.78 c checking 393744 ... 163.10/158.91 c not needed. 163.10/158.91 c checking 393743 ... 163.20/159.03 c not needed. 163.20/159.03 c checking 393742 ... 163.30/159.16 c not needed. 163.30/159.16 c checking 393741 ... 163.40/159.28 c not needed. 163.40/159.28 c checking 393740 ... 163.60/159.40 c not needed. 163.60/159.40 c checking 393739 ... 163.70/159.53 c not needed. 163.70/159.53 c checking 393738 ... 163.80/159.65 c not needed. 163.80/159.65 c checking 393737 ... 163.91/159.78 c not needed. 163.91/159.78 c checking 393736 ... 164.10/159.90 c not needed. 164.10/159.90 c checking 393735 ... 164.20/160.02 c not needed. 164.20/160.02 c checking 393734 ... 164.30/160.15 c not needed. 164.30/160.15 c checking 393733 ... 164.40/160.27 c not needed. 164.40/160.27 c checking 393732 ... 164.61/160.41 c not needed. 164.61/160.41 c checking 393731 ... 164.71/160.53 c not needed. 164.71/160.53 c checking 393730 ... 164.81/160.66 c not needed. 164.81/160.66 c checking 393729 ... 164.91/160.78 c not needed. 164.91/160.78 c checking 393728 ... 165.12/160.91 c not needed. 165.12/160.91 c checking 393727 ... 165.21/161.03 c not needed. 165.21/161.03 c checking 393726 ... 165.31/161.16 c not needed. 165.31/161.16 c checking 393725 ... 165.41/161.28 c not needed. 165.41/161.28 c checking 393724 ... 165.61/161.41 c not needed. 165.61/161.41 c checking 393723 ... 165.71/161.53 c not needed. 165.71/161.53 c checking 393722 ... 165.81/161.65 c not needed. 165.81/161.65 c checking 393721 ... 165.91/161.78 c not needed. 165.91/161.78 c checking 393720 ... 166.11/161.90 c not needed. 166.11/161.90 c checking 393719 ... 166.22/162.03 c not needed. 166.22/162.03 c checking 393718 ... 166.31/162.15 c not needed. 166.31/162.15 c checking 393717 ... 166.41/162.28 c not needed. 166.41/162.28 c checking 393716 ... 166.61/162.40 c not needed. 166.61/162.40 c checking 393715 ... 166.71/162.53 c not needed. 166.71/162.53 c checking 393714 ... 166.81/162.65 c not needed. 166.81/162.65 c checking 393713 ... 166.91/162.78 c not needed. 166.91/162.78 c checking 393712 ... 167.11/162.90 c not needed. 167.11/162.90 c checking 393711 ... 167.21/163.03 c not needed. 167.21/163.03 c checking 393710 ... 167.32/163.15 c not needed. 167.32/163.15 c checking 393709 ... 167.41/163.27 c not needed. 167.41/163.27 c checking 393708 ... 167.61/163.40 c not needed. 167.61/163.40 c checking 393707 ... 167.71/163.52 c not needed. 167.71/163.52 c checking 393706 ... 167.81/163.65 c not needed. 167.81/163.65 c checking 393705 ... 167.91/163.77 c not needed. 167.91/163.77 c checking 393704 ... 168.11/163.90 c not needed. 168.11/163.90 c checking 393703 ... 168.21/164.02 c not needed. 168.21/164.02 c checking 393702 ... 168.31/164.14 c not needed. 168.31/164.14 c checking 393701 ... 168.42/164.27 c not needed. 168.42/164.27 c checking 393700 ... 168.51/164.39 c not needed. 168.51/164.39 c checking 393699 ... 168.71/164.51 c not needed. 168.71/164.51 c checking 393698 ... 168.81/164.63 c not needed. 168.81/164.63 c checking 393697 ... 168.91/164.76 c not needed. 168.91/164.76 c checking 393696 ... 169.01/164.88 c not needed. 169.01/164.88 c checking 393695 ... 169.21/165.00 c not needed. 169.21/165.00 c checking 393694 ... 169.31/165.13 c not needed. 169.31/165.13 c checking 393693 ... 169.42/165.25 c not needed. 169.42/165.25 c checking 393692 ... 169.52/165.38 c not needed. 169.52/165.38 c checking 393691 ... 169.71/165.50 c not needed. 169.71/165.50 c checking 393690 ... 169.81/165.62 c not needed. 169.81/165.62 c checking 393689 ... 169.91/165.75 c not needed. 169.91/165.75 c checking 393688 ... 170.01/165.87 c not needed. 170.01/165.87 c checking 393687 ... 170.21/166.00 c not needed. 170.21/166.00 c checking 393686 ... 170.31/166.12 c not needed. 170.31/166.12 c checking 393685 ... 170.41/166.25 c not needed. 170.41/166.25 c checking 393684 ... 170.51/166.37 c not needed. 170.51/166.37 c checking 393683 ... 170.72/166.50 c not needed. 170.72/166.51 c checking 393682 ... 170.82/166.63 c not needed. 170.82/166.63 c checking 393681 ... 170.92/166.75 c not needed. 170.92/166.75 c checking 393680 ... 171.02/166.88 c not needed. 171.02/166.88 c checking 393679 ... 171.22/167.00 c not needed. 171.22/167.00 c checking 393678 ... 171.32/167.12 c not needed. 171.32/167.12 c checking 393677 ... 171.42/167.25 c not needed. 171.42/167.25 c checking 393676 ... 171.52/167.37 c not needed. 171.52/167.37 c checking 393675 ... 171.62/167.50 c not needed. 171.62/167.50 c checking 393674 ... 171.81/167.62 c not needed. 171.81/167.62 c checking 393673 ... 171.91/167.75 c not needed. 171.91/167.75 c checking 393672 ... 172.01/167.87 c not needed. 172.01/167.87 c checking 393671 ... 172.11/167.98 c not needed. 172.11/167.98 c checking 393670 ... 172.21/168.09 c not needed. 172.21/168.09 c checking 393669 ... 172.41/168.21 c not needed. 172.41/168.21 c checking 393668 ... 172.51/168.32 c not needed. 172.51/168.32 c checking 393667 ... 172.61/168.44 c not needed. 172.61/168.44 c checking 393666 ... 172.72/168.56 c not needed. 172.72/168.56 c checking 393665 ... 172.82/168.68 c not needed. 172.82/168.68 c checking 393664 ... 173.01/168.81 c not needed. 173.01/168.81 c checking 393663 ... 173.11/168.93 c not needed. 173.11/168.93 c checking 393662 ... 173.21/169.06 c not needed. 173.21/169.06 c checking 393661 ... 173.31/169.18 c not needed. 173.31/169.18 c checking 393660 ... 173.51/169.31 c not needed. 173.51/169.31 c checking 393659 ... 173.61/169.43 c not needed. 173.61/169.43 c checking 393658 ... 173.71/169.56 c not needed. 173.71/169.56 c checking 393657 ... 173.82/169.68 c not needed. 173.82/169.68 c checking 393656 ... 174.01/169.81 c not needed. 174.01/169.81 c checking 393655 ... 174.11/169.93 c not needed. 174.11/169.93 c checking 393654 ... 174.21/170.05 c not needed. 174.21/170.05 c checking 393653 ... 174.31/170.18 c not needed. 174.31/170.18 c checking 393652 ... 174.51/170.30 c not needed. 174.51/170.30 c checking 393651 ... 174.61/170.43 c not needed. 174.61/170.43 c checking 393650 ... 174.71/170.55 c not needed. 174.71/170.55 c checking 393649 ... 174.81/170.67 c not needed. 174.81/170.67 c checking 393648 ... 174.92/170.80 c not needed. 174.92/170.80 c checking 393647 ... 175.11/170.92 c not needed. 175.11/170.92 c checking 393646 ... 175.21/171.03 c not needed. 175.21/171.03 c checking 393645 ... 175.31/171.15 c not needed. 175.31/171.15 c checking 393644 ... 175.41/171.26 c not needed. 175.41/171.26 c checking 393643 ... 175.51/171.38 c not needed. 175.51/171.38 c checking 393642 ... 175.61/171.49 c not needed. 175.61/171.49 c checking 393641 ... 175.81/171.61 c not needed. 175.81/171.61 c checking 393640 ... 175.91/171.72 c not needed. 175.91/171.72 c checking 393639 ... 176.01/171.84 c not needed. 176.01/171.84 c checking 393638 ... 176.11/171.97 c not needed. 176.11/171.97 c checking 393637 ... 176.21/172.09 c not needed. 176.21/172.09 c checking 393636 ... 176.41/172.22 c not needed. 176.41/172.22 c checking 393635 ... 176.51/172.35 c not needed. 176.51/172.35 c checking 393634 ... 176.62/172.48 c not needed. 176.62/172.48 c checking 393633 ... 176.82/172.61 c not needed. 176.82/172.61 c checking 393632 ... 176.92/172.73 c not needed. 176.92/172.73 c checking 393631 ... 177.02/172.86 c not needed. 177.02/172.86 c checking 393630 ... 177.12/172.98 c not needed. 177.12/172.98 c checking 393629 ... 177.32/173.10 c not needed. 177.32/173.10 c checking 393628 ... 177.42/173.23 c not needed. 177.42/173.23 c checking 393627 ... 177.52/173.35 c not needed. 177.52/173.35 c checking 393626 ... 177.62/173.48 c not needed. 177.62/173.48 c checking 393625 ... 177.82/173.60 c not needed. 177.82/173.60 c checking 393624 ... 177.92/173.73 c not needed. 177.92/173.73 c checking 393623 ... 178.02/173.85 c not needed. 178.02/173.85 c checking 393622 ... 178.12/173.97 c not needed. 178.12/173.97 c checking 393621 ... 178.22/174.10 c not needed. 178.22/174.10 c checking 393620 ... 178.42/174.23 c not needed. 178.42/174.23 c checking 393619 ... 178.52/174.35 c not needed. 178.52/174.35 c checking 393618 ... 178.62/174.47 c not needed. 178.62/174.47 c checking 393617 ... 178.81/174.60 c not needed. 178.81/174.60 c checking 393616 ... 178.91/174.72 c not needed. 178.91/174.72 c checking 393615 ... 179.01/174.85 c not needed. 179.01/174.85 c checking 393614 ... 179.11/174.97 c not needed. 179.11/174.97 c checking 393613 ... 179.21/175.10 c not needed. 179.21/175.10 c checking 393612 ... 179.42/175.22 c not needed. 179.42/175.22 c checking 393611 ... 179.51/175.35 c not needed. 179.51/175.35 c checking 393610 ... 179.61/175.47 c not needed. 179.61/175.47 c checking 393609 ... 179.81/175.60 c not needed. 179.81/175.60 c checking 393608 ... 179.91/175.72 c not needed. 179.91/175.72 c checking 393607 ... 180.01/175.85 c not needed. 180.01/175.85 c checking 393606 ... 180.11/175.97 c not needed. 180.11/175.97 c checking 393605 ... 180.21/176.09 c not needed. 180.21/176.09 c checking 393604 ... 180.42/176.22 c not needed. 180.42/176.22 c checking 393603 ... 180.52/176.34 c not needed. 180.52/176.35 c checking 393602 ... 180.61/176.47 c not needed. 180.61/176.47 c checking 393601 ... 180.71/176.59 c not needed. 180.71/176.59 c checking 393600 ... 180.91/176.72 c not needed. 180.91/176.72 c checking 393599 ... 181.01/176.84 c not needed. 181.01/176.84 c checking 393598 ... 181.11/176.97 c not needed. 181.11/176.97 c checking 393597 ... 181.21/177.09 c not needed. 181.21/177.09 c checking 393596 ... 181.41/177.21 c not needed. 181.41/177.21 c checking 393595 ... 181.52/177.33 c not needed. 181.52/177.33 c checking 393594 ... 181.62/177.46 c not needed. 181.62/177.46 c checking 393593 ... 181.71/177.58 c not needed. 181.71/177.58 c checking 393592 ... 181.91/177.70 c not needed. 181.91/177.70 c checking 393591 ... 182.01/177.82 c not needed. 182.01/177.82 c checking 393590 ... 182.11/177.95 c not needed. 182.11/177.95 c checking 393589 ... 182.21/178.07 c not needed. 182.21/178.07 c checking 393588 ... 182.31/178.19 c not needed. 182.31/178.19 c checking 393587 ... 182.51/178.32 c not needed. 182.51/178.32 c checking 393586 ... 182.62/178.44 c not needed. 182.62/178.44 c checking 393585 ... 182.72/178.56 c not needed. 182.72/178.56 c checking 393584 ... 182.81/178.69 c not needed. 182.81/178.69 c checking 393583 ... 183.01/178.81 c not needed. 183.01/178.81 c checking 393582 ... 183.12/178.95 c not needed. 183.12/178.95 c checking 393581 ... 183.22/179.07 c not needed. 183.22/179.07 c checking 393580 ... 183.42/179.20 c not needed. 183.42/179.20 c checking 393579 ... 183.52/179.32 c not needed. 183.52/179.32 c checking 393578 ... 183.62/179.45 c not needed. 183.62/179.45 c checking 393577 ... 183.72/179.57 c not needed. 183.72/179.57 c checking 393576 ... 183.92/179.70 c not needed. 183.92/179.70 c checking 393575 ... 184.02/179.82 c not needed. 184.02/179.82 c checking 393574 ... 184.12/179.95 c not needed. 184.12/179.95 c checking 393573 ... 184.22/180.07 c not needed. 184.22/180.07 c checking 393572 ... 184.32/180.20 c not needed. 184.32/180.20 c checking 393571 ... 184.52/180.32 c not needed. 184.52/180.32 c checking 393570 ... 184.62/180.45 c not needed. 184.62/180.45 c checking 393569 ... 184.72/180.57 c not needed. 184.72/180.57 c checking 393568 ... 184.82/180.70 c not needed. 184.82/180.70 c checking 393567 ... 185.02/180.82 c not needed. 185.02/180.82 c checking 393566 ... 185.12/180.94 c not needed. 185.12/180.94 c checking 393565 ... 185.22/181.07 c not needed. 185.22/181.07 c checking 393564 ... 185.32/181.19 c not needed. 185.32/181.19 c checking 393563 ... 185.52/181.32 c not needed. 185.52/181.32 c checking 393562 ... 185.62/181.44 c not needed. 185.62/181.44 c checking 393561 ... 185.72/181.56 c not needed. 185.72/181.56 c checking 393560 ... 185.82/181.69 c not needed. 185.82/181.69 c checking 393324 ... 186.02/181.82 c not needed. 186.02/181.82 c checking 393323 ... 186.12/181.94 c not needed. 186.12/181.94 c checking 393321 ... 186.22/182.06 c not needed. 186.22/182.06 c checking 393319 ... 186.32/182.19 c not needed. 186.32/182.19 c checking 361261 ... 186.72/182.55 c mandatory. 186.72/182.55 c checking 361260 ... 187.12/182.90 c mandatory. 187.12/182.90 c checking 361259 ... 187.42/183.28 c mandatory. 187.42/183.28 c checking 361258 ... 187.82/183.63 c mandatory. 187.82/183.63 c checking 361257 ... 188.12/183.99 c mandatory. 188.12/183.99 c checking 361256 ... 188.52/184.34 c mandatory. 188.52/184.34 c checking 361255 ... 188.92/184.72 c mandatory. 188.92/184.72 c checking 361254 ... 189.22/185.08 c mandatory. 189.22/185.08 c checking 361253 ... 189.62/185.43 c mandatory. 189.62/185.43 c checking 361252 ... 189.72/185.56 c not needed. 189.72/185.56 c checking 361250 ... 189.82/185.68 c not needed. 189.82/185.68 c checking 361249 ... 190.02/185.81 c not needed. 190.02/185.81 c checking 361248 ... 190.12/185.93 c not needed. 190.12/185.93 c checking 361217 ... 190.22/186.06 c not needed. 190.22/186.06 c checking 360985 ... 190.62/186.41 c mandatory. 190.62/186.41 c checking 360984 ... 190.92/186.77 c mandatory. 190.92/186.77 c checking 360983 ... 191.34/187.17 c mandatory. 191.34/187.17 c checking 360982 ... 191.74/187.52 c mandatory. 191.74/187.52 c checking 360981 ... 192.04/187.88 c mandatory. 192.04/187.88 c checking 360980 ... 192.44/188.24 c mandatory. 192.44/188.24 c checking 360979 ... 192.84/188.60 c mandatory. 192.84/188.60 c checking 360978 ... 193.14/188.95 c mandatory. 193.14/188.95 c checking 360977 ... 193.54/189.31 c mandatory. 193.54/189.31 c checking 360976 ... 193.84/189.67 c mandatory. 193.84/189.67 c checking 360975 ... 194.14/189.92 c not needed. 194.14/189.92 c checking 360974 ... 194.24/190.05 c not needed. 194.24/190.05 c checking 360973 ... 194.64/190.41 c mandatory. 194.64/190.41 c checking 360972 ... 194.74/190.53 c not needed. 194.74/190.53 c checking 360971 ... 194.85/190.65 c not needed. 194.85/190.65 c checking 360970 ... 194.94/190.77 c not needed. 194.94/190.77 c checking 360969 ... 195.04/190.89 c not needed. 195.04/190.89 c checking 360968 ... 195.24/191.02 c not needed. 195.24/191.02 c checking 360967 ... 195.34/191.14 c not needed. 195.34/191.14 c checking 360966 ... 195.44/191.26 c not needed. 195.44/191.26 c checking 360965 ... 195.54/191.39 c not needed. 195.54/191.39 c checking 360964 ... 195.74/191.51 c not needed. 195.74/191.51 c checking 360963 ... 195.84/191.63 c not needed. 195.84/191.63 c checking 360962 ... 195.94/191.76 c not needed. 195.94/191.76 c checking 360961 ... 196.04/191.88 c not needed. 196.04/191.88 c checking 360960 ... 196.24/192.01 c not needed. 196.24/192.01 c checking 360959 ... 196.34/192.13 c not needed. 196.34/192.13 c checking 360958 ... 196.44/192.25 c not needed. 196.44/192.25 c checking 360957 ... 196.54/192.38 c not needed. 196.54/192.38 c checking 360956 ... 196.74/192.50 c not needed. 196.74/192.50 c checking 360955 ... 196.84/192.63 c not needed. 196.84/192.63 c checking 360954 ... 196.94/192.75 c not needed. 196.94/192.75 c checking 360953 ... 197.05/192.88 c not needed. 197.05/192.88 c checking 360952 ... 197.24/193.00 c not needed. 197.24/193.00 c checking 360951 ... 197.34/193.13 c not needed. 197.34/193.13 c checking 360950 ... 197.44/193.25 c not needed. 197.44/193.25 c checking 360949 ... 197.54/193.37 c not needed. 197.54/193.37 c checking 360948 ... 197.74/193.50 c not needed. 197.74/193.50 c checking 360947 ... 197.84/193.62 c not needed. 197.84/193.62 c checking 360946 ... 197.94/193.75 c not needed. 197.94/193.75 c checking 360945 ... 198.04/193.87 c not needed. 198.04/193.87 c checking 360944 ... 198.14/193.99 c not needed. 198.14/194.00 c checking 360943 ... 198.34/194.12 c not needed. 198.34/194.12 c checking 360942 ... 198.44/194.25 c not needed. 198.44/194.25 c checking 360941 ... 198.54/194.37 c not needed. 198.54/194.37 c checking 360940 ... 198.64/194.49 c not needed. 198.64/194.49 c checking 360939 ... 198.84/194.62 c not needed. 198.84/194.62 c checking 360938 ... 198.94/194.74 c not needed. 198.94/194.74 c checking 360937 ... 199.06/194.89 c not needed. 199.06/194.89 c checking 360936 ... 199.27/195.02 c not needed. 199.27/195.02 c checking 360935 ... 199.36/195.15 c not needed. 199.36/195.15 c checking 360934 ... 199.46/195.27 c not needed. 199.46/195.27 c checking 360933 ... 199.56/195.39 c not needed. 199.56/195.39 c checking 360932 ... 199.76/195.52 c not needed. 199.76/195.52 c checking 360931 ... 199.86/195.64 c not needed. 199.86/195.64 c checking 360929 ... 199.96/195.77 c not needed. 199.96/195.77 c checking 360928 ... 200.06/195.89 c not needed. 200.06/195.89 c checking 360927 ... 200.27/196.02 c not needed. 200.27/196.02 c checking 360925 ... 200.37/196.14 c not needed. 200.37/196.14 c checking 360924 ... 200.46/196.26 c not needed. 200.46/196.26 c checking 360923 ... 200.56/196.39 c not needed. 200.56/196.39 c checking 360922 ... 200.76/196.51 c not needed. 200.76/196.51 c checking 360921 ... 200.86/196.64 c not needed. 200.86/196.64 c checking 360920 ... 200.96/196.76 c not needed. 200.96/196.76 c checking 360919 ... 201.06/196.88 c not needed. 201.06/196.88 c checking 360917 ... 201.26/197.01 c not needed. 201.26/197.01 c checking 360916 ... 201.37/197.13 c not needed. 201.37/197.13 c checking 360915 ... 201.47/197.25 c not needed. 201.47/197.25 c checking 360914 ... 201.56/197.37 c not needed. 201.56/197.37 c checking 360913 ... 201.66/197.49 c not needed. 201.66/197.49 c checking 360911 ... 201.86/197.61 c not needed. 201.86/197.61 c checking 360910 ... 201.96/197.72 c not needed. 201.96/197.72 c checking 360905 ... 202.06/197.84 c not needed. 202.06/197.84 c checking 360904 ... 202.16/197.95 c not needed. 202.16/197.95 c checking 360903 ... 202.26/198.07 c not needed. 202.26/198.07 c checking 360902 ... 202.36/198.18 c not needed. 202.36/198.18 c checking 360901 ... 202.56/198.31 c not needed. 202.56/198.31 c checking 360900 ... 202.66/198.43 c not needed. 202.66/198.43 c checking 360898 ... 202.76/198.55 c not needed. 202.76/198.55 c checking 360897 ... 202.86/198.68 c not needed. 202.86/198.68 c checking 360896 ... 203.06/198.80 c not needed. 203.06/198.80 c checking 360895 ... 203.16/198.93 c not needed. 203.16/198.93 c checking 360894 ... 203.26/199.05 c not needed. 203.26/199.05 c checking 360855 ... 203.36/199.18 c not needed. 203.36/199.18 c checking 360854 ... 203.46/199.30 c not needed. 203.46/199.30 c checking 360853 ... 203.66/199.42 c not needed. 203.66/199.42 c checking 360852 ... 203.76/199.55 c not needed. 203.76/199.55 c checking 360848 ... 203.86/199.67 c not needed. 203.86/199.67 c checking 360846 ... 204.06/199.80 c not needed. 204.06/199.80 c checking 360843 ... 204.16/199.92 c not needed. 204.16/199.92 c checking 360841 ... 204.26/200.05 c not needed. 204.26/200.05 c checking 360837 ... 204.36/200.17 c not needed. 204.36/200.17 c checking 360835 ... 204.46/200.29 c not needed. 204.46/200.30 c checking 360832 ... 204.66/200.42 c not needed. 204.66/200.42 c checking 360831 ... 204.75/200.55 c not needed. 204.75/200.55 c checking 360830 ... 204.85/200.67 c not needed. 204.85/200.67 c checking 360829 ... 205.05/200.80 c not needed. 205.05/200.80 c checking 360828 ... 205.15/200.92 c not needed. 205.15/200.92 c checking 360827 ... 205.25/201.05 c not needed. 205.25/201.05 c checking 360825 ... 205.35/201.17 c not needed. 205.35/201.17 c checking 360824 ... 205.55/201.30 c not needed. 205.55/201.30 c checking 360823 ... 205.65/201.42 c not needed. 205.65/201.42 c checking 360822 ... 205.75/201.54 c not needed. 205.75/201.55 c checking 360820 ... 205.86/201.68 c not needed. 205.86/201.68 c checking 360819 ... 206.05/201.80 c not needed. 206.05/201.80 c checking 360818 ... 206.15/201.93 c not needed. 206.15/201.93 c checking 360817 ... 206.25/202.05 c not needed. 206.25/202.05 c checking 360816 ... 206.35/202.18 c not needed. 206.35/202.18 c checking 360814 ... 206.55/202.30 c not needed. 206.55/202.30 c checking 360813 ... 206.65/202.43 c not needed. 206.65/202.43 c checking 360812 ... 206.75/202.55 c not needed. 206.75/202.55 c checking 360811 ... 206.86/202.67 c not needed. 206.86/202.67 c checking 360810 ... 207.05/202.80 c not needed. 207.05/202.80 c checking 360809 ... 207.15/202.92 c not needed. 207.15/202.92 c checking 360808 ... 207.25/203.05 c not needed. 207.25/203.05 c checking 360807 ... 207.35/203.17 c not needed. 207.35/203.17 c checking 360806 ... 207.45/203.30 c not needed. 207.45/203.30 c checking 360805 ... 207.65/203.42 c not needed. 207.65/203.42 c checking 360804 ... 207.75/203.54 c not needed. 207.75/203.54 c checking 360803 ... 207.85/203.66 c not needed. 207.85/203.66 c checking 360801 ... 207.96/203.79 c not needed. 207.96/203.79 c checking 360800 ... 208.15/203.91 c not needed. 208.15/203.91 c checking 360799 ... 208.25/204.03 c not needed. 208.25/204.03 c checking 360798 ... 208.35/204.15 c not needed. 208.35/204.15 c checking 360797 ... 208.45/204.27 c not needed. 208.45/204.27 c checking 360796 ... 208.55/204.39 c not needed. 208.55/204.39 c checking 360795 ... 208.75/204.50 c not needed. 208.75/204.50 c checking 360794 ... 208.85/204.62 c not needed. 208.85/204.62 c checking 360793 ... 208.95/204.73 c not needed. 208.95/204.73 c checking 360792 ... 209.06/204.85 c not needed. 209.06/204.85 c checking 360791 ... 209.16/204.98 c not needed. 209.16/204.98 c checking 360790 ... 209.35/205.10 c not needed. 209.35/205.10 c checking 360789 ... 209.45/205.21 c not needed. 209.45/205.21 c checking 360788 ... 209.55/205.33 c not needed. 209.55/205.33 c checking 360787 ... 209.65/205.44 c not needed. 209.65/205.44 c checking 360786 ... 209.75/205.56 c not needed. 209.75/205.56 c checking 360785 ... 209.85/205.67 c not needed. 209.85/205.67 c checking 360784 ... 209.95/205.79 c not needed. 209.95/205.79 c checking 360783 ... 210.05/205.90 c not needed. 210.05/205.90 c checking 360782 ... 210.25/206.03 c not needed. 210.25/206.03 c checking 360781 ... 210.35/206.15 c not needed. 210.35/206.15 c checking 360780 ... 210.45/206.28 c not needed. 210.45/206.28 c checking 360779 ... 210.65/206.40 c not needed. 210.65/206.40 c checking 360778 ... 210.75/206.52 c not needed. 210.75/206.52 c checking 360777 ... 210.85/206.65 c not needed. 210.85/206.65 c checking 360776 ... 210.95/206.77 c not needed. 210.95/206.77 c checking 360775 ... 211.15/206.90 c not needed. 211.15/206.90 c checking 360774 ... 211.25/207.02 c not needed. 211.25/207.02 c checking 360773 ... 211.35/207.15 c not needed. 211.35/207.15 c checking 360772 ... 211.45/207.27 c not needed. 211.45/207.27 c checking 360771 ... 211.55/207.39 c not needed. 211.55/207.39 c checking 360770 ... 211.75/207.52 c not needed. 211.75/207.52 c checking 360769 ... 211.85/207.64 c not needed. 211.85/207.64 c checking 360768 ... 211.95/207.77 c not needed. 211.95/207.77 c checking 360767 ... 212.05/207.89 c not needed. 212.05/207.89 c checking 360766 ... 212.25/208.01 c not needed. 212.25/208.01 c checking 360765 ... 212.35/208.14 c not needed. 212.35/208.14 c checking 360764 ... 212.45/208.26 c not needed. 212.45/208.26 c checking 360763 ... 212.55/208.39 c not needed. 212.55/208.39 c checking 360762 ... 212.75/208.51 c not needed. 212.75/208.51 c checking 360761 ... 212.86/208.64 c not needed. 212.86/208.64 c checking 360760 ... 212.96/208.77 c not needed. 212.96/208.77 c checking 360759 ... 213.06/208.89 c not needed. 213.06/208.89 c checking 360758 ... 213.26/209.02 c not needed. 213.26/209.02 c checking 360757 ... 213.36/209.14 c not needed. 213.36/209.14 c checking 360756 ... 213.46/209.26 c not needed. 213.46/209.26 c checking 360755 ... 213.56/209.39 c not needed. 213.56/209.39 c checking 360753 ... 213.76/209.51 c not needed. 213.76/209.51 c checking 360752 ... 213.86/209.64 c not needed. 213.86/209.64 c checking 360751 ... 213.95/209.76 c not needed. 213.95/209.76 c checking 360750 ... 214.05/209.89 c not needed. 214.05/209.89 c checking 360748 ... 214.25/210.01 c not needed. 214.25/210.01 c checking 360747 ... 214.35/210.13 c not needed. 214.35/210.13 c checking 360746 ... 214.45/210.25 c not needed. 214.45/210.25 c checking 360745 ... 214.56/210.38 c not needed. 214.56/210.38 c checking 360744 ... 214.75/210.50 c not needed. 214.75/210.50 c checking 360742 ... 214.85/210.62 c not needed. 214.85/210.62 c checking 360741 ... 214.95/210.74 c not needed. 214.95/210.74 c checking 360740 ... 215.05/210.87 c not needed. 215.05/210.87 c checking 360739 ... 215.15/210.99 c not needed. 215.15/210.99 c checking 360737 ... 215.35/211.11 c not needed. 215.35/211.11 c checking 360736 ... 215.45/211.24 c not needed. 215.45/211.24 c checking 360735 ... 215.55/211.36 c not needed. 215.55/211.36 c checking 360734 ... 215.66/211.49 c not needed. 215.66/211.49 c checking 360733 ... 215.85/211.61 c not needed. 215.85/211.61 c checking 360732 ... 215.95/211.74 c not needed. 215.95/211.74 c checking 360731 ... 216.05/211.86 c not needed. 216.05/211.86 c checking 360730 ... 216.15/211.98 c not needed. 216.15/211.98 c checking 360729 ... 216.35/212.11 c not needed. 216.35/212.11 c checking 360728 ... 216.45/212.23 c not needed. 216.45/212.23 c checking 360727 ... 216.55/212.36 c not needed. 216.55/212.36 c checking 360726 ... 216.65/212.48 c not needed. 216.65/212.48 c checking 360725 ... 216.86/212.61 c not needed. 216.86/212.61 c checking 360724 ... 216.95/212.73 c not needed. 216.95/212.73 c checking 360723 ... 217.05/212.86 c not needed. 217.05/212.86 c checking 360722 ... 217.15/212.98 c not needed. 217.15/212.98 c checking 360721 ... 217.35/213.10 c not needed. 217.35/213.10 c checking 360720 ... 217.45/213.23 c not needed. 217.45/213.23 c checking 360719 ... 217.55/213.35 c not needed. 217.55/213.35 c checking 360718 ... 217.65/213.48 c not needed. 217.65/213.48 c checking 360717 ... 217.86/213.60 c not needed. 217.86/213.60 c checking 360716 ... 217.96/213.73 c not needed. 217.96/213.73 c checking 360715 ... 218.05/213.85 c not needed. 218.05/213.85 c checking 360714 ... 218.15/213.98 c not needed. 218.15/213.98 c checking 360713 ... 218.35/214.10 c not needed. 218.35/214.10 c checking 360712 ... 218.45/214.22 c not needed. 218.45/214.22 c checking 360711 ... 218.55/214.35 c not needed. 218.55/214.35 c checking 360710 ... 218.65/214.47 c not needed. 218.65/214.47 c checking 360709 ... 218.75/214.60 c not needed. 218.75/214.60 c checking 360708 ... 218.96/214.72 c not needed. 218.96/214.72 c checking 360707 ... 219.06/214.85 c not needed. 219.06/214.85 c checking 360706 ... 219.15/214.97 c not needed. 219.15/214.97 c checking 360705 ... 219.25/215.09 c not needed. 219.25/215.09 c checking 360704 ... 219.45/215.22 c not needed. 219.45/215.22 c checking 360703 ... 219.55/215.34 c not needed. 219.55/215.34 c checking 360702 ... 219.65/215.47 c not needed. 219.65/215.47 c checking 360701 ... 219.75/215.59 c not needed. 219.75/215.59 c checking 360700 ... 219.96/215.73 c not needed. 219.96/215.73 c checking 360699 ... 220.06/215.85 c not needed. 220.06/215.85 c checking 360698 ... 220.16/215.97 c not needed. 220.16/215.97 c checking 360697 ... 220.36/216.10 c not needed. 220.36/216.10 c checking 360696 ... 220.46/216.22 c not needed. 220.46/216.22 c checking 360695 ... 220.56/216.35 c not needed. 220.56/216.35 c checking 360694 ... 220.66/216.47 c not needed. 220.66/216.47 c checking 360685 ... 220.75/216.59 c not needed. 220.75/216.59 c checking 360654 ... 220.95/216.70 c not needed. 220.95/216.70 c checking 360601 ... 221.26/217.04 c mandatory. 221.26/217.04 c checking 360600 ... 221.65/217.45 c mandatory. 221.65/217.45 c checking 360599 ... 222.05/217.80 c mandatory. 222.05/217.80 c checking 360598 ... 222.36/218.17 c mandatory. 222.36/218.17 c checking 360597 ... 222.75/218.53 c mandatory. 222.75/218.53 c checking 360596 ... 223.05/218.89 c mandatory. 223.05/218.89 c checking 360595 ... 223.46/219.24 c mandatory. 223.46/219.24 c checking 360594 ... 223.85/219.60 c mandatory. 223.85/219.60 c checking 360593 ... 224.15/219.96 c mandatory. 224.15/219.96 c checking 360592 ... 224.56/220.32 c mandatory. 224.56/220.32 c checking 360591 ... 224.85/220.67 c mandatory. 224.85/220.67 c checking 360590 ... 225.25/221.03 c mandatory. 225.25/221.03 c checking 328056 ... 225.55/221.39 c mandatory. 225.55/221.39 c checking 328055 ... 225.96/221.76 c mandatory. 225.96/221.76 c checking 328054 ... 226.36/222.13 c mandatory. 226.36/222.13 c checking 328053 ... 226.66/222.48 c mandatory. 226.66/222.48 c checking 328052 ... 227.06/222.85 c mandatory. 227.06/222.85 c checking 328051 ... 227.46/223.20 c mandatory. 227.46/223.20 c checking 328050 ... 227.76/223.55 c mandatory. 227.76/223.55 c checking 328049 ... 228.16/223.90 c mandatory. 228.16/223.90 c checking 328048 ... 228.46/224.25 c mandatory. 228.46/224.25 c checking 328047 ... 228.56/224.38 c not needed. 228.56/224.38 c checking 328046 ... 228.76/224.50 c not needed. 228.76/224.50 c checking 328045 ... 228.86/224.63 c not needed. 228.86/224.63 c checking 328044 ... 228.96/224.75 c not needed. 228.96/224.75 c checking 328012 ... 229.06/224.88 c not needed. 229.06/224.88 c checking 327780 ... 229.46/225.23 c mandatory. 229.46/225.23 c checking 327779 ... 229.76/225.59 c mandatory. 229.76/225.59 c checking 327778 ... 230.16/225.95 c mandatory. 230.16/225.95 c checking 327777 ... 230.58/226.33 c mandatory. 230.58/226.33 c checking 327776 ... 230.88/226.69 c mandatory. 230.88/226.69 c checking 327775 ... 231.28/227.05 c mandatory. 231.28/227.05 c checking 327774 ... 231.68/227.41 c mandatory. 231.68/227.41 c checking 327773 ... 231.98/227.76 c mandatory. 231.98/227.76 c checking 327772 ... 232.38/228.12 c mandatory. 232.38/228.12 c checking 327771 ... 232.68/228.48 c mandatory. 232.68/228.48 c checking 327770 ... 232.98/228.73 c not needed. 232.98/228.73 c checking 327769 ... 233.08/228.85 c not needed. 233.08/228.85 c checking 327768 ... 233.48/229.21 c mandatory. 233.48/229.21 c checking 327766 ... 233.58/229.33 c not needed. 233.58/229.33 c checking 327765 ... 233.68/229.46 c not needed. 233.68/229.46 c checking 327764 ... 233.78/229.58 c not needed. 233.78/229.58 c checking 327396 ... 234.18/229.93 c mandatory. 234.18/229.93 c checking 327395 ... 234.49/230.28 c mandatory. 234.49/230.28 c checking 327394 ... 234.88/230.63 c mandatory. 234.88/230.63 c checking 327393 ... 235.18/230.99 c mandatory. 235.18/230.99 c checking 327392 ... 235.59/231.35 c mandatory. 235.59/231.35 c checking 327391 ... 235.98/231.70 c mandatory. 235.98/231.70 c checking 327390 ... 236.28/232.06 c mandatory. 236.28/232.06 c checking 327389 ... 236.69/232.41 c mandatory. 236.69/232.41 c checking 327388 ... 236.98/232.77 c mandatory. 236.98/232.77 c checking 327387 ... 237.38/233.13 c mandatory. 237.38/233.13 c checking 327386 ... 237.69/233.49 c mandatory. 237.69/233.49 c checking 327385 ... 238.08/233.84 c mandatory. 238.08/233.84 c checking 294851 ... 238.48/234.20 c mandatory. 238.48/234.20 c checking 294850 ... 238.79/234.56 c mandatory. 238.79/234.56 c checking 294849 ... 239.18/234.92 c mandatory. 239.18/234.92 c checking 294848 ... 239.48/235.25 c mandatory. 239.48/235.25 c checking 294847 ... 239.78/235.58 c mandatory. 239.78/235.58 c checking 294846 ... 240.18/235.93 c mandatory. 240.18/235.93 c checking 294845 ... 240.48/236.29 c mandatory. 240.48/236.29 c checking 294844 ... 240.88/236.64 c mandatory. 240.88/236.64 c checking 294843 ... 241.18/236.99 c mandatory. 241.18/236.99 c checking 294842 ... 241.41/237.14 c not needed. 241.41/237.14 c checking 294841 ... 241.51/237.26 c not needed. 241.51/237.27 c checking 294840 ... 241.61/237.39 c not needed. 241.61/237.39 c checking 294839 ... 241.81/237.52 c not needed. 241.81/237.52 c checking 294838 ... 241.91/237.64 c not needed. 241.91/237.64 c checking 294837 ... 242.01/237.76 c not needed. 242.01/237.76 c checking 294836 ... 242.11/237.89 c not needed. 242.11/237.89 c checking 294835 ... 242.31/238.01 c not needed. 242.31/238.01 c checking 294834 ... 242.41/238.13 c not needed. 242.41/238.13 c checking 294815 ... 242.51/238.26 c not needed. 242.51/238.26 c checking 294814 ... 242.61/238.38 c not needed. 242.61/238.38 c checking 294813 ... 242.81/238.51 c not needed. 242.81/238.51 c checking 294809 ... 242.91/238.63 c not needed. 242.91/238.63 c checking 294808 ... 243.01/238.75 c not needed. 243.01/238.75 c checking 294807 ... 243.11/238.88 c not needed. 243.11/238.88 c checking 294590 ... 243.31/239.00 c not needed. 243.31/239.00 c checking 294589 ... 243.41/239.13 c not needed. 243.41/239.13 c checking 294587 ... 243.51/239.25 c not needed. 243.51/239.25 c checking 294575 ... 243.91/239.61 c mandatory. 243.91/239.61 c checking 294574 ... 244.21/239.97 c mandatory. 244.21/239.97 c checking 294573 ... 244.61/240.33 c mandatory. 244.61/240.33 c checking 294572 ... 244.91/240.68 c mandatory. 244.91/240.68 c checking 294571 ... 245.31/241.04 c mandatory. 245.31/241.04 c checking 294570 ... 245.61/241.39 c mandatory. 245.61/241.39 c checking 294569 ... 246.01/241.75 c mandatory. 246.01/241.75 c checking 294568 ... 246.41/242.11 c mandatory. 246.41/242.11 c checking 294567 ... 246.71/242.47 c mandatory. 246.71/242.47 c checking 294566 ... 247.11/242.82 c mandatory. 247.11/242.82 c checking 294565 ... 247.41/243.15 c not needed. 247.41/243.15 c checking 294564 ... 247.51/243.27 c not needed. 247.51/243.27 c checking 294563 ... 247.91/243.62 c mandatory. 247.91/243.62 c checking 294561 ... 248.01/243.75 c not needed. 248.01/243.75 c checking 294560 ... 248.11/243.87 c not needed. 248.11/243.87 c checking 294559 ... 248.21/243.99 c not needed. 248.21/243.99 c checking 294558 ... 248.41/244.12 c not needed. 248.41/244.12 c checking 294557 ... 248.51/244.24 c not needed. 248.51/244.24 c checking 294556 ... 248.61/244.37 c not needed. 248.61/244.37 c checking 294555 ... 248.71/244.49 c not needed. 248.71/244.49 c checking 294554 ... 248.91/244.61 c not needed. 248.91/244.61 c checking 294553 ... 249.01/244.74 c not needed. 249.01/244.74 c checking 294552 ... 249.11/244.86 c not needed. 249.11/244.86 c checking 294551 ... 249.21/244.99 c not needed. 249.21/244.99 c checking 294550 ... 249.41/245.11 c not needed. 249.41/245.11 c checking 294549 ... 249.51/245.24 c not needed. 249.51/245.24 c checking 294548 ... 249.61/245.36 c not needed. 249.61/245.36 c checking 294547 ... 249.71/245.48 c not needed. 249.71/245.48 c checking 294546 ... 249.91/245.61 c not needed. 249.91/245.61 c checking 294545 ... 250.01/245.73 c not needed. 250.01/245.73 c checking 294544 ... 250.11/245.86 c not needed. 250.11/245.86 c checking 294543 ... 250.21/245.98 c not needed. 250.21/245.98 c checking 294542 ... 250.41/246.10 c not needed. 250.41/246.10 c checking 294541 ... 250.53/246.26 c not needed. 250.53/246.26 c checking 294540 ... 250.63/246.38 c not needed. 250.63/246.38 c checking 294539 ... 250.83/246.51 c not needed. 250.83/246.51 c checking 294538 ... 250.94/246.63 c not needed. 250.94/246.63 c checking 294537 ... 251.04/246.75 c not needed. 251.04/246.75 c checking 294536 ... 251.13/246.88 c not needed. 251.13/246.88 c checking 294535 ... 251.33/247.00 c not needed. 251.33/247.00 c checking 294534 ... 251.43/247.13 c not needed. 251.43/247.13 c checking 294533 ... 251.53/247.25 c not needed. 251.53/247.25 c checking 294532 ... 251.63/247.37 c not needed. 251.63/247.37 c checking 294531 ... 251.83/247.50 c not needed. 251.83/247.50 c checking 294530 ... 251.93/247.62 c not needed. 251.93/247.62 c checking 294529 ... 252.04/247.75 c not needed. 252.04/247.75 c checking 294528 ... 252.14/247.87 c not needed. 252.14/247.87 c checking 294527 ... 252.23/247.98 c not needed. 252.23/247.98 c checking 294526 ... 252.33/248.09 c not needed. 252.33/248.09 c checking 294525 ... 252.53/248.21 c not needed. 252.53/248.21 c checking 294524 ... 252.63/248.32 c not needed. 252.63/248.32 c checking 294523 ... 252.73/248.44 c not needed. 252.73/248.44 c checking 294522 ... 252.83/248.55 c not needed. 252.83/248.55 c checking 294521 ... 252.93/248.67 c not needed. 252.93/248.67 c checking 294518 ... 253.03/248.78 c not needed. 253.03/248.78 c checking 294517 ... 253.23/248.91 c not needed. 253.23/248.91 c checking 294515 ... 253.32/249.03 c not needed. 253.32/249.03 c checking 294514 ... 253.42/249.15 c not needed. 253.42/249.16 c checking 294513 ... 253.52/249.28 c not needed. 253.52/249.28 c checking 294512 ... 253.72/249.40 c not needed. 253.72/249.40 c checking 294510 ... 253.82/249.52 c not needed. 253.82/249.52 c checking 294509 ... 253.92/249.65 c not needed. 253.92/249.65 c checking 294507 ... 254.02/249.77 c not needed. 254.02/249.77 c checking 294506 ... 254.12/249.89 c not needed. 254.12/249.89 c checking 294505 ... 254.33/250.01 c not needed. 254.33/250.01 c checking 294504 ... 254.42/250.14 c not needed. 254.42/250.14 c checking 294501 ... 254.52/250.26 c not needed. 254.52/250.26 c checking 294500 ... 254.62/250.38 c not needed. 254.62/250.38 c checking 294495 ... 254.82/250.51 c not needed. 254.82/250.51 c checking 294494 ... 254.92/250.63 c not needed. 254.92/250.63 c checking 294493 ... 255.02/250.75 c not needed. 255.02/250.75 c checking 294492 ... 255.12/250.88 c not needed. 255.12/250.88 c checking 294491 ... 255.33/251.00 c not needed. 255.33/251.00 c checking 294490 ... 255.43/251.13 c not needed. 255.43/251.13 c checking 294488 ... 255.52/251.25 c not needed. 255.52/251.25 c checking 294487 ... 255.62/251.38 c not needed. 255.62/251.38 c checking 294486 ... 255.82/251.50 c not needed. 255.82/251.50 c checking 294485 ... 255.92/251.62 c not needed. 255.92/251.62 c checking 294484 ... 256.02/251.75 c not needed. 256.02/251.75 c checking 294445 ... 256.12/251.87 c not needed. 256.12/251.87 c checking 294444 ... 256.32/252.00 c not needed. 256.32/252.00 c checking 294443 ... 256.43/252.12 c not needed. 256.43/252.12 c checking 294442 ... 256.53/252.25 c not needed. 256.53/252.25 c checking 294438 ... 256.62/252.37 c not needed. 256.62/252.37 c checking 294436 ... 256.72/252.49 c not needed. 256.72/252.49 c checking 294433 ... 256.92/252.62 c not needed. 256.92/252.62 c checking 294431 ... 257.02/252.74 c not needed. 257.02/252.74 c checking 294427 ... 257.12/252.86 c not needed. 257.12/252.86 c checking 294425 ... 257.22/252.99 c not needed. 257.22/252.99 c checking 294289 ... 257.42/253.12 c not needed. 257.42/253.12 c checking 294191 ... 257.72/253.48 c mandatory. 257.72/253.48 c checking 294190 ... 258.12/253.83 c mandatory. 258.12/253.83 c checking 294189 ... 258.54/254.22 c mandatory. 258.54/254.22 c checking 294188 ... 258.84/254.58 c mandatory. 258.84/254.58 c checking 294187 ... 259.24/254.93 c mandatory. 259.24/254.93 c checking 294186 ... 259.54/255.29 c mandatory. 259.54/255.29 c checking 294185 ... 259.94/255.65 c mandatory. 259.94/255.66 c checking 294184 ... 260.35/256.01 c mandatory. 260.35/256.01 c checking 294183 ... 260.65/256.36 c mandatory. 260.65/256.36 c checking 294182 ... 261.05/256.71 c mandatory. 261.05/256.71 c checking 294181 ... 261.35/257.07 c mandatory. 261.35/257.07 c checking 294180 ... 261.75/257.43 c mandatory. 261.75/257.43 c checking 261646 ... 262.05/257.78 c mandatory. 262.05/257.78 c checking 261645 ... 262.45/258.16 c mandatory. 262.45/258.16 c checking 261644 ... 262.85/258.51 c mandatory. 262.85/258.51 c checking 261643 ... 263.15/258.87 c mandatory. 263.15/258.87 c checking 261642 ... 263.55/259.24 c mandatory. 263.55/259.24 c checking 261641 ... 263.85/259.60 c mandatory. 263.85/259.60 c checking 261640 ... 264.25/259.96 c mandatory. 264.25/259.96 c checking 261639 ... 264.65/260.32 c mandatory. 264.65/260.32 c checking 261638 ... 264.95/260.68 c mandatory. 264.95/260.68 c checking 261637 ... 265.15/260.80 c not needed. 265.15/260.80 c checking 261636 ... 265.25/260.93 c not needed. 265.25/260.93 c checking 261634 ... 265.36/261.05 c not needed. 265.36/261.05 c checking 261602 ... 265.45/261.17 c not needed. 265.45/261.17 c checking 261496 ... 265.65/261.30 c not needed. 265.65/261.30 c checking 261494 ... 265.75/261.42 c not needed. 265.75/261.42 c checking 261493 ... 265.85/261.55 c not needed. 265.85/261.55 c checking 261492 ... 265.95/261.67 c not needed. 265.95/261.67 c checking 261463 ... 266.15/261.80 c not needed. 266.15/261.80 c checking 261370 ... 266.46/262.15 c mandatory. 266.46/262.15 c checking 261369 ... 266.85/262.51 c mandatory. 266.85/262.51 c checking 261368 ... 267.15/262.85 c mandatory. 267.15/262.85 c checking 261367 ... 267.56/263.20 c mandatory. 267.56/263.20 c checking 261366 ... 267.85/263.56 c mandatory. 267.85/263.56 c checking 261365 ... 268.25/263.91 c mandatory. 268.25/263.91 c checking 261364 ... 268.56/264.27 c mandatory. 268.56/264.27 c checking 261363 ... 268.95/264.63 c mandatory. 268.95/264.63 c checking 261362 ... 269.25/264.98 c mandatory. 269.25/264.98 c checking 261361 ... 269.66/265.34 c mandatory. 269.66/265.34 c checking 261360 ... 269.76/265.47 c not needed. 269.76/265.47 c checking 261359 ... 269.97/265.62 c not needed. 269.97/265.62 c checking 261358 ... 270.27/265.98 c mandatory. 270.27/265.98 c checking 261356 ... 270.47/266.10 c not needed. 270.47/266.10 c checking 261355 ... 270.57/266.22 c not needed. 270.57/266.22 c checking 261354 ... 270.67/266.35 c not needed. 270.67/266.35 c checking 260986 ... 271.07/266.70 c mandatory. 271.07/266.70 c checking 260985 ... 271.37/267.06 c mandatory. 271.37/267.06 c checking 260984 ... 271.77/267.42 c mandatory. 271.77/267.42 c checking 260983 ... 272.07/267.78 c mandatory. 272.07/267.78 c checking 260982 ... 272.47/268.13 c mandatory. 272.47/268.13 c checking 260981 ... 272.77/268.49 c mandatory. 272.77/268.49 c checking 260980 ... 273.17/268.85 c mandatory. 273.17/268.85 c checking 260979 ... 273.47/269.18 c mandatory. 273.47/269.18 c checking 260978 ... 273.87/269.51 c mandatory. 273.87/269.51 c checking 260977 ... 274.17/269.86 c mandatory. 274.17/269.86 c checking 260976 ... 274.57/270.21 c mandatory. 274.57/270.21 c checking 260975 ... 274.87/270.56 c mandatory. 274.87/270.56 c checking 228441 ... 275.27/270.93 c mandatory. 275.27/270.93 c checking 228440 ... 275.57/271.28 c mandatory. 275.57/271.28 c checking 228439 ... 275.97/271.67 c mandatory. 275.97/271.67 c checking 228438 ... 276.37/272.03 c mandatory. 276.37/272.03 c checking 228437 ... 276.67/272.38 c mandatory. 276.67/272.38 c checking 228436 ... 277.07/272.74 c mandatory. 277.07/272.74 c checking 228435 ... 277.37/273.10 c mandatory. 277.37/273.10 c checking 228434 ... 277.77/273.45 c mandatory. 277.77/273.45 c checking 228433 ... 278.17/273.81 c mandatory. 278.17/273.81 c checking 228432 ... 278.27/273.93 c not needed. 278.27/273.93 c checking 228431 ... 278.37/274.06 c not needed. 278.37/274.06 c checking 228429 ... 278.47/274.18 c not needed. 278.47/274.18 c checking 228397 ... 278.77/274.45 c not needed. 278.77/274.45 c checking 228291 ... 278.87/274.57 c not needed. 278.87/274.57 c checking 228289 ... 278.97/274.69 c not needed. 278.97/274.69 c checking 228288 ... 279.17/274.82 c not needed. 279.17/274.82 c checking 228287 ... 279.27/274.94 c not needed. 279.27/274.94 c checking 228258 ... 279.37/275.07 c not needed. 279.37/275.07 c checking 228165 ... 279.77/275.42 c mandatory. 279.77/275.42 c checking 228164 ... 280.07/275.77 c mandatory. 280.07/275.77 c checking 228163 ... 280.47/276.12 c mandatory. 280.47/276.12 c checking 228162 ... 280.77/276.48 c mandatory. 280.77/276.48 c checking 228161 ... 281.19/276.87 c mandatory. 281.19/276.87 c checking 228160 ... 281.59/277.23 c mandatory. 281.59/277.23 c checking 228159 ... 281.90/277.59 c mandatory. 281.90/277.59 c checking 228158 ... 282.29/277.92 c mandatory. 282.29/277.92 c checking 228157 ... 282.59/278.25 c mandatory. 282.59/278.25 c checking 228156 ... 282.89/278.59 c mandatory. 282.89/278.59 c checking 228155 ... 283.09/278.71 c not needed. 283.09/278.71 c checking 228154 ... 283.19/278.83 c not needed. 283.19/278.83 c checking 228153 ... 283.49/279.19 c mandatory. 283.49/279.19 c checking 227781 ... 283.99/279.64 c mandatory. 283.99/279.64 c checking 227780 ... 284.39/280.09 c mandatory. 284.39/280.09 c checking 227779 ... 284.79/280.45 c mandatory. 284.79/280.45 c checking 227778 ... 285.19/280.81 c mandatory. 285.19/280.81 c checking 227777 ... 285.49/281.16 c mandatory. 285.49/281.16 c checking 227776 ... 285.89/281.52 c mandatory. 285.89/281.52 c checking 227775 ... 286.19/281.88 c mandatory. 286.19/281.88 c checking 227774 ... 286.59/282.24 c mandatory. 286.59/282.24 c checking 227773 ... 286.89/282.59 c mandatory. 286.89/282.59 c checking 227772 ... 287.29/282.94 c mandatory. 287.29/282.94 c checking 227771 ... 287.69/283.30 c mandatory. 287.69/283.30 c checking 227770 ... 287.99/283.65 c mandatory. 287.99/283.65 c checking 195236 ... 288.39/284.01 c mandatory. 288.39/284.01 c checking 195235 ... 288.69/284.37 c mandatory. 288.69/284.37 c checking 195234 ... 289.09/284.73 c mandatory. 289.09/284.73 c checking 195233 ... 289.39/285.09 c mandatory. 289.39/285.09 c checking 195232 ... 289.79/285.46 c mandatory. 289.79/285.46 c checking 195231 ... 290.19/285.82 c mandatory. 290.19/285.82 c checking 195230 ... 290.48/286.18 c mandatory. 290.48/286.18 c checking 195229 ... 290.88/286.54 c mandatory. 290.88/286.54 c checking 195228 ... 291.28/286.90 c mandatory. 291.28/286.90 c checking 195227 ... 291.38/287.03 c not needed. 291.38/287.03 c checking 195226 ... 291.48/287.15 c not needed. 291.48/287.15 c checking 195224 ... 291.58/287.28 c not needed. 291.58/287.28 c checking 195223 ... 291.69/287.40 c not needed. 291.69/287.40 c checking 195222 ... 291.88/287.53 c not needed. 291.88/287.53 c checking 195221 ... 291.98/287.65 c not needed. 291.98/287.65 c checking 195220 ... 292.08/287.77 c not needed. 292.08/287.77 c checking 195200 ... 292.28/287.90 c not needed. 292.28/287.90 c checking 195199 ... 292.38/288.02 c not needed. 292.38/288.02 c checking 195194 ... 292.48/288.15 c not needed. 292.48/288.15 c checking 195193 ... 292.58/288.27 c not needed. 292.58/288.27 c checking 195086 ... 292.81/288.43 c not needed. 292.81/288.43 c checking 195084 ... 292.92/288.55 c not needed. 292.92/288.55 c checking 195083 ... 293.01/288.68 c not needed. 293.01/288.68 c checking 195082 ... 293.21/288.80 c not needed. 293.21/288.80 c checking 195081 ... 293.31/288.92 c not needed. 293.31/288.92 c checking 195080 ... 293.41/289.04 c not needed. 293.41/289.04 c checking 195079 ... 293.51/289.17 c not needed. 293.51/289.17 c checking 195078 ... 293.61/289.29 c not needed. 293.61/289.29 c checking 195060 ... 293.81/289.41 c not needed. 293.81/289.41 c checking 195059 ... 293.91/289.53 c not needed. 293.91/289.53 c checking 195058 ... 294.02/289.66 c not needed. 294.02/289.66 c checking 195057 ... 294.11/289.78 c not needed. 294.11/289.78 c checking 195055 ... 294.31/289.91 c not needed. 294.31/289.91 c checking 195054 ... 294.41/290.03 c not needed. 294.41/290.03 c checking 195053 ... 294.51/290.16 c not needed. 294.51/290.16 c checking 194975 ... 294.61/290.28 c not needed. 294.61/290.28 c checking 194974 ... 294.81/290.40 c not needed. 294.81/290.40 c checking 194960 ... 295.12/290.77 c mandatory. 295.12/290.77 c checking 194959 ... 295.51/291.13 c mandatory. 295.51/291.13 c checking 194958 ... 295.81/291.48 c mandatory. 295.81/291.48 c checking 194957 ... 296.22/291.84 c mandatory. 296.22/291.84 c checking 194956 ... 296.61/292.20 c mandatory. 296.61/292.20 c checking 194955 ... 296.91/292.55 c mandatory. 296.91/292.55 c checking 194954 ... 297.31/292.91 c mandatory. 297.31/292.91 c checking 194953 ... 297.61/293.27 c mandatory. 297.61/293.27 c checking 194952 ... 298.01/293.63 c mandatory. 298.01/293.63 c checking 194951 ... 298.31/293.99 c mandatory. 298.31/293.99 c checking 194950 ... 298.61/294.26 c not needed. 298.61/294.26 c checking 194949 ... 298.71/294.39 c not needed. 298.71/294.39 c checking 194948 ... 299.11/294.74 c mandatory. 299.11/294.74 c checking 194946 ... 299.21/294.87 c not needed. 299.21/294.87 c checking 194945 ... 299.31/294.99 c not needed. 299.31/294.99 c checking 194944 ... 299.51/295.12 c not needed. 299.51/295.12 c checking 194943 ... 299.61/295.24 c not needed. 299.61/295.24 c checking 194942 ... 299.71/295.36 c not needed. 299.71/295.36 c checking 194941 ... 299.81/295.49 c not needed. 299.81/295.49 c checking 194940 ... 300.01/295.61 c not needed. 300.01/295.61 c checking 194939 ... 300.11/295.73 c not needed. 300.11/295.73 c checking 194938 ... 300.21/295.85 c not needed. 300.21/295.85 c checking 194937 ... 300.31/295.97 c not needed. 300.31/295.97 c checking 194936 ... 300.41/296.10 c not needed. 300.41/296.10 c checking 194935 ... 300.61/296.22 c not needed. 300.61/296.22 c checking 194934 ... 300.71/296.35 c not needed. 300.71/296.35 c checking 194933 ... 300.81/296.47 c not needed. 300.81/296.47 c checking 194932 ... 301.01/296.60 c not needed. 301.01/296.60 c checking 194931 ... 301.11/296.72 c not needed. 301.11/296.72 c checking 194930 ... 301.21/296.85 c not needed. 301.21/296.85 c checking 194929 ... 301.31/296.97 c not needed. 301.31/296.97 c checking 194928 ... 301.41/297.10 c not needed. 301.41/297.10 c checking 194927 ... 301.61/297.22 c not needed. 301.61/297.22 c checking 194926 ... 301.71/297.35 c not needed. 301.71/297.35 c checking 194925 ... 301.81/297.47 c not needed. 301.81/297.47 c checking 194924 ... 302.01/297.60 c not needed. 302.01/297.60 c checking 194923 ... 302.11/297.72 c not needed. 302.11/297.72 c checking 194922 ... 302.23/297.87 c not needed. 302.23/297.87 c checking 194921 ... 302.43/298.00 c not needed. 302.43/298.00 c checking 194920 ... 302.53/298.13 c not needed. 302.53/298.13 c checking 194919 ... 302.63/298.25 c not needed. 302.63/298.25 c checking 194918 ... 302.74/298.38 c not needed. 302.74/298.38 c checking 194917 ... 302.93/298.50 c not needed. 302.93/298.50 c checking 194916 ... 303.03/298.63 c not needed. 303.03/298.63 c checking 194915 ... 303.13/298.75 c not needed. 303.13/298.75 c checking 194914 ... 303.23/298.88 c not needed. 303.23/298.88 c checking 194913 ... 303.43/299.00 c not needed. 303.43/299.00 c checking 194912 ... 303.53/299.12 c not needed. 303.53/299.12 c checking 194911 ... 303.63/299.25 c not needed. 303.63/299.25 c checking 194910 ... 303.73/299.37 c not needed. 303.73/299.37 c checking 194909 ... 303.84/299.50 c not needed. 303.84/299.50 c checking 194908 ... 304.03/299.62 c not needed. 304.03/299.62 c checking 194907 ... 304.13/299.75 c not needed. 304.13/299.75 c checking 194906 ... 304.23/299.87 c not needed. 304.23/299.87 c checking 194903 ... 304.33/300.00 c not needed. 304.33/300.00 c checking 194902 ... 304.53/300.12 c not needed. 304.53/300.12 c checking 194900 ... 304.63/300.24 c not needed. 304.63/300.24 c checking 194899 ... 304.73/300.37 c not needed. 304.73/300.37 c checking 194898 ... 304.83/300.49 c not needed. 304.83/300.49 c checking 194897 ... 305.04/300.62 c not needed. 305.04/300.62 c checking 194895 ... 305.13/300.74 c not needed. 305.13/300.74 c checking 194894 ... 305.23/300.87 c not needed. 305.23/300.87 c checking 194892 ... 305.33/300.99 c not needed. 305.33/300.99 c checking 194891 ... 305.53/301.12 c not needed. 305.53/301.12 c checking 194890 ... 305.63/301.24 c not needed. 305.63/301.24 c checking 194889 ... 305.73/301.37 c not needed. 305.73/301.37 c checking 194886 ... 305.83/301.50 c not needed. 305.83/301.50 c checking 194885 ... 306.04/301.63 c not needed. 306.04/301.63 c checking 194880 ... 306.14/301.75 c not needed. 306.14/301.75 c checking 194879 ... 306.23/301.87 c not needed. 306.23/301.87 c checking 194878 ... 306.33/301.99 c not needed. 306.33/301.99 c checking 194877 ... 306.53/302.12 c not needed. 306.53/302.12 c checking 194876 ... 306.63/302.24 c not needed. 306.63/302.24 c checking 194875 ... 306.73/302.36 c not needed. 306.73/302.36 c checking 194873 ... 306.83/302.48 c not needed. 306.83/302.48 c checking 194872 ... 307.03/302.61 c not needed. 307.03/302.61 c checking 194871 ... 307.14/302.73 c not needed. 307.14/302.73 c checking 194870 ... 307.24/302.85 c not needed. 307.24/302.85 c checking 194869 ... 307.33/302.98 c not needed. 307.33/302.98 c checking 194830 ... 307.53/303.10 c not needed. 307.53/303.10 c checking 194829 ... 307.63/303.23 c not needed. 307.63/303.23 c checking 194828 ... 307.73/303.35 c not needed. 307.73/303.35 c checking 194827 ... 307.83/303.48 c not needed. 307.83/303.48 c checking 194823 ... 308.03/303.60 c not needed. 308.03/303.60 c checking 194821 ... 308.13/303.72 c not needed. 308.13/303.72 c checking 194818 ... 308.24/303.85 c not needed. 308.24/303.85 c checking 194816 ... 308.34/303.97 c not needed. 308.34/303.97 c checking 194812 ... 308.53/304.10 c not needed. 308.53/304.10 c checking 194810 ... 308.63/304.22 c not needed. 308.63/304.22 c checking 194674 ... 308.73/304.35 c not needed. 308.73/304.35 c checking 194576 ... 309.13/304.71 c mandatory. 309.13/304.71 c checking 194575 ... 309.44/305.07 c mandatory. 309.44/305.07 c checking 194574 ... 309.83/305.42 c mandatory. 309.83/305.42 c checking 194573 ... 310.13/305.79 c mandatory. 310.13/305.79 c checking 194572 ... 310.54/306.14 c mandatory. 310.54/306.14 c checking 194571 ... 310.93/306.50 c mandatory. 310.93/306.50 c checking 194570 ... 311.23/306.86 c mandatory. 311.23/306.86 c checking 194569 ... 311.66/307.25 c mandatory. 311.66/307.25 c checking 194568 ... 312.06/307.60 c mandatory. 312.06/307.60 c checking 194567 ... 312.36/307.96 c mandatory. 312.36/307.96 c checking 194566 ... 312.76/308.31 c mandatory. 312.76/308.31 c checking 194565 ... 313.06/308.66 c mandatory. 313.06/308.66 c checking 162031 ... 313.46/309.02 c mandatory. 313.46/309.02 c checking 162030 ... 313.76/309.37 c mandatory. 313.76/309.37 c checking 162029 ... 314.16/309.74 c mandatory. 314.16/309.74 c checking 162028 ... 314.56/310.11 c mandatory. 314.56/310.11 c checking 162027 ... 314.86/310.46 c mandatory. 314.86/310.46 c checking 162026 ... 315.26/310.82 c mandatory. 315.26/310.82 c checking 162025 ... 315.56/311.17 c mandatory. 315.56/311.17 c checking 162024 ... 315.96/311.53 c mandatory. 315.96/311.53 c checking 162023 ... 316.26/311.89 c mandatory. 316.26/311.89 c checking 161755 ... 316.66/312.25 c mandatory. 316.66/312.25 c checking 161754 ... 317.06/312.61 c mandatory. 317.06/312.61 c checking 161753 ... 317.36/312.97 c mandatory. 317.36/312.97 c checking 161752 ... 317.76/313.33 c mandatory. 317.76/313.33 c checking 161751 ... 318.06/313.68 c mandatory. 318.06/313.68 c checking 161750 ... 318.46/314.04 c mandatory. 318.46/314.04 c checking 161749 ... 318.86/314.40 c mandatory. 318.86/314.40 c checking 161748 ... 319.16/314.76 c mandatory. 319.16/314.76 c checking 161747 ... 319.56/315.11 c mandatory. 319.56/315.11 c checking 161746 ... 319.86/315.46 c mandatory. 319.86/315.46 c checking 161745 ... 319.96/315.59 c not needed. 319.96/315.59 c checking 161744 ... 320.16/315.71 c not needed. 320.16/315.71 c checking 161743 ... 320.47/316.07 c mandatory. 320.47/316.07 c checking 161741 ... 320.56/316.20 c not needed. 320.56/316.20 c checking 161740 ... 320.76/316.32 c not needed. 320.76/316.32 c checking 161739 ... 320.86/316.44 c not needed. 320.86/316.44 c checking 161371 ... 321.26/316.80 c mandatory. 321.26/316.80 c checking 161370 ... 321.57/317.17 c mandatory. 321.57/317.17 c checking 161369 ... 321.96/317.52 c mandatory. 321.96/317.52 c checking 161368 ... 322.26/317.88 c mandatory. 322.26/317.88 c checking 161367 ... 322.67/318.24 c mandatory. 322.67/318.24 c checking 161366 ... 323.06/318.60 c mandatory. 323.06/318.60 c checking 161365 ... 323.36/318.96 c mandatory. 323.36/318.96 c checking 161364 ... 323.79/319.35 c mandatory. 323.79/319.35 c checking 161363 ... 324.19/319.71 c mandatory. 324.19/319.71 c checking 161362 ... 324.49/320.06 c mandatory. 324.49/320.06 c checking 161361 ... 324.89/320.42 c mandatory. 324.89/320.42 c checking 161360 ... 325.19/320.78 c mandatory. 325.19/320.78 c checking 128826 ... 325.59/321.14 c mandatory. 325.59/321.14 c checking 128825 ... 326.00/321.51 c mandatory. 326.00/321.51 c checking 128824 ... 326.29/321.86 c mandatory. 326.29/321.86 c checking 128823 ... 326.69/322.22 c mandatory. 326.69/322.22 c checking 128822 ... 326.99/322.58 c mandatory. 326.99/322.58 c checking 128821 ... 327.39/322.93 c mandatory. 327.39/322.93 c checking 128820 ... 327.69/323.29 c mandatory. 327.69/323.29 c checking 128819 ... 328.10/323.65 c mandatory. 328.10/323.65 c checking 128818 ... 328.49/324.01 c mandatory. 328.49/324.01 c checking 128550 ... 328.79/324.36 c mandatory. 328.79/324.36 c checking 128549 ... 329.19/324.72 c mandatory. 329.19/324.72 c checking 128548 ... 329.49/325.08 c mandatory. 329.49/325.08 c checking 128547 ... 329.89/325.41 c mandatory. 329.89/325.41 c checking 128546 ... 330.19/325.74 c mandatory. 330.19/325.74 c checking 128545 ... 330.48/326.09 c mandatory. 330.48/326.09 c checking 128544 ... 330.88/326.45 c mandatory. 330.88/326.45 c checking 128543 ... 331.29/326.81 c mandatory. 331.29/326.81 c checking 128542 ... 331.59/327.17 c mandatory. 331.59/327.17 c checking 128541 ... 331.99/327.53 c mandatory. 331.99/327.53 c checking 128539 ... 332.09/327.65 c not needed. 332.09/327.65 c checking 128538 ... 332.50/328.01 c mandatory. 332.50/328.01 c checking 128166 ... 332.79/328.37 c mandatory. 332.79/328.37 c checking 128165 ... 333.19/328.72 c mandatory. 333.19/328.72 c checking 128164 ... 333.49/329.08 c mandatory. 333.49/329.08 c checking 128163 ... 333.89/329.43 c mandatory. 333.89/329.43 c checking 128162 ... 334.19/329.79 c mandatory. 334.19/329.79 c checking 128161 ... 334.59/330.15 c mandatory. 334.59/330.15 c checking 128160 ... 334.99/330.50 c mandatory. 334.99/330.50 c checking 128159 ... 335.29/330.86 c mandatory. 335.29/330.86 c checking 128158 ... 335.69/331.21 c mandatory. 335.69/331.21 c checking 128157 ... 335.99/331.58 c mandatory. 335.99/331.58 c checking 128156 ... 336.39/331.94 c mandatory. 336.39/331.94 c checking 128155 ... 336.82/332.32 c mandatory. 336.82/332.32 c checking 95642 ... 337.12/332.68 c mandatory. 337.12/332.68 c checking 95640 ... 337.52/333.04 c mandatory. 337.52/333.04 c checking 95639 ... 337.92/333.40 c mandatory. 337.92/333.40 c checking 95638 ... 338.22/333.76 c mandatory. 338.22/333.76 c checking 95637 ... 338.62/334.12 c mandatory. 338.62/334.12 c checking 95636 ... 338.92/334.47 c mandatory. 338.92/334.47 c checking 95635 ... 339.32/334.83 c mandatory. 339.32/334.83 c checking 95634 ... 339.62/335.18 c mandatory. 339.62/335.18 c checking 95633 ... 339.92/335.47 c not needed. 339.92/335.47 c checking 95631 ... 340.02/335.59 c not needed. 340.02/335.59 c checking 95630 ... 340.22/335.72 c not needed. 340.22/335.72 c checking 95629 ... 340.33/335.84 c not needed. 340.33/335.84 c checking 95628 ... 340.42/335.97 c not needed. 340.42/335.97 c checking 95627 ... 340.52/336.09 c not needed. 340.52/336.09 c checking 95626 ... 340.72/336.22 c not needed. 340.72/336.22 c checking 95625 ... 340.82/336.34 c not needed. 340.82/336.34 c checking 95613 ... 340.92/336.47 c not needed. 340.92/336.47 c checking 95612 ... 341.02/336.59 c not needed. 341.02/336.59 c checking 95611 ... 341.22/336.71 c not needed. 341.22/336.71 c checking 95610 ... 341.32/336.84 c not needed. 341.32/336.84 c checking 95608 ... 341.43/336.97 c not needed. 341.43/336.97 c checking 95607 ... 341.52/337.09 c not needed. 341.52/337.09 c checking 95606 ... 341.72/337.22 c not needed. 341.72/337.22 c checking 95605 ... 341.82/337.34 c not needed. 341.82/337.34 c checking 95465 ... 341.92/337.47 c not needed. 341.92/337.47 c checking 95418 ... 342.32/337.83 c mandatory. 342.32/337.83 c checking 95416 ... 342.62/338.18 c mandatory. 342.62/338.18 c checking 95415 ... 343.02/338.54 c mandatory. 343.02/338.54 c checking 95414 ... 343.42/338.90 c mandatory. 343.42/338.90 c checking 95413 ... 343.72/339.26 c mandatory. 343.72/339.26 c checking 95412 ... 344.12/339.62 c mandatory. 344.12/339.62 c checking 95411 ... 344.42/339.98 c mandatory. 344.42/339.98 c checking 95409 ... 344.82/340.33 c mandatory. 344.82/340.33 c checking 95407 ... 344.92/340.46 c not needed. 344.92/340.46 c checking 95404 ... 345.02/340.59 c not needed. 345.02/340.59 c checking 95403 ... 345.22/340.71 c not needed. 345.22/340.71 c checking 95402 ... 345.32/340.83 c not needed. 345.32/340.83 c checking 95401 ... 345.42/340.96 c not needed. 345.42/340.96 c checking 95400 ... 345.52/341.08 c not needed. 345.52/341.08 c checking 95399 ... 345.72/341.20 c not needed. 345.72/341.20 c checking 95398 ... 345.82/341.33 c not needed. 345.82/341.33 c checking 95397 ... 345.92/341.45 c not needed. 345.92/341.45 c checking 95396 ... 346.02/341.58 c not needed. 346.02/341.58 c checking 95395 ... 346.22/341.70 c not needed. 346.22/341.70 c checking 95394 ... 346.32/341.82 c not needed. 346.32/341.82 c checking 95393 ... 346.42/341.95 c not needed. 346.42/341.95 c checking 95392 ... 346.52/342.07 c not needed. 346.52/342.07 c checking 95391 ... 346.62/342.19 c not needed. 346.62/342.19 c checking 95390 ... 346.82/342.32 c not needed. 346.82/342.32 c checking 95389 ... 346.92/342.44 c not needed. 346.92/342.44 c checking 95388 ... 347.02/342.57 c not needed. 347.02/342.57 c checking 95387 ... 347.24/342.72 c not needed. 347.24/342.72 c checking 95386 ... 347.34/342.84 c not needed. 347.34/342.84 c checking 95385 ... 347.44/342.97 c not needed. 347.44/342.97 c checking 95384 ... 347.54/343.09 c not needed. 347.54/343.09 c checking 95383 ... 347.74/343.22 c not needed. 347.74/343.22 c checking 95382 ... 347.84/343.34 c not needed. 347.84/343.34 c checking 95381 ... 347.95/343.47 c not needed. 347.95/343.47 c checking 95380 ... 348.05/343.59 c not needed. 348.05/343.59 c checking 95379 ... 348.24/343.72 c not needed. 348.24/343.72 c checking 95378 ... 348.34/343.84 c not needed. 348.34/343.84 c checking 95377 ... 348.44/343.97 c not needed. 348.44/343.97 c checking 95376 ... 348.54/344.09 c not needed. 348.54/344.10 c checking 95375 ... 348.74/344.22 c not needed. 348.74/344.22 c checking 95374 ... 348.84/344.34 c not needed. 348.84/344.34 c checking 95373 ... 348.94/344.47 c not needed. 348.94/344.47 c checking 95372 ... 349.05/344.59 c not needed. 349.05/344.59 c checking 95371 ... 349.24/344.72 c not needed. 349.24/344.72 c checking 95370 ... 349.34/344.84 c not needed. 349.34/344.84 c checking 95369 ... 349.44/344.97 c not needed. 349.44/344.97 c checking 95368 ... 349.54/345.09 c not needed. 349.54/345.09 c checking 95367 ... 349.74/345.22 c not needed. 349.74/345.22 c checking 95366 ... 349.84/345.34 c not needed. 349.84/345.34 c checking 95365 ... 349.94/345.47 c not needed. 349.94/345.47 c checking 95364 ... 350.04/345.59 c not needed. 350.04/345.59 c checking 95361 ... 350.25/345.72 c not needed. 350.25/345.72 c checking 95360 ... 350.34/345.84 c not needed. 350.34/345.84 c checking 95358 ... 350.44/345.97 c not needed. 350.44/345.97 c checking 95357 ... 350.54/346.09 c not needed. 350.54/346.09 c checking 95356 ... 350.74/346.22 c not needed. 350.74/346.22 c checking 95355 ... 350.84/346.34 c not needed. 350.84/346.34 c checking 95353 ... 350.94/346.47 c not needed. 350.94/346.47 c checking 95352 ... 351.04/346.59 c not needed. 351.04/346.59 c checking 95350 ... 351.25/346.72 c not needed. 351.25/346.72 c checking 95349 ... 351.35/346.84 c not needed. 351.35/346.84 c checking 95348 ... 351.44/346.97 c not needed. 351.44/346.97 c checking 95347 ... 351.54/347.09 c not needed. 351.54/347.09 c checking 95344 ... 351.74/347.22 c not needed. 351.74/347.22 c checking 95343 ... 351.84/347.34 c not needed. 351.84/347.34 c checking 95338 ... 351.94/347.47 c not needed. 351.94/347.47 c checking 95337 ... 352.04/347.59 c not needed. 352.04/347.59 c checking 95336 ... 352.24/347.72 c not needed. 352.24/347.72 c checking 95335 ... 352.35/347.84 c not needed. 352.35/347.84 c checking 95334 ... 352.45/347.97 c not needed. 352.45/347.97 c checking 95333 ... 352.54/348.09 c not needed. 352.54/348.09 c checking 95331 ... 352.74/348.21 c not needed. 352.74/348.21 c checking 95330 ... 352.84/348.33 c not needed. 352.84/348.33 c checking 95329 ... 352.94/348.46 c not needed. 352.94/348.46 c checking 95328 ... 353.04/348.58 c not needed. 353.04/348.58 c checking 95327 ... 353.24/348.70 c not needed. 353.24/348.70 c checking 95288 ... 353.34/348.82 c not needed. 353.34/348.82 c checking 95287 ... 353.44/348.94 c not needed. 353.44/348.94 c checking 95286 ... 353.54/349.06 c not needed. 353.54/349.06 c checking 95285 ... 353.64/349.19 c not needed. 353.64/349.19 c checking 95281 ... 353.84/349.31 c not needed. 353.84/349.31 c checking 95279 ... 353.94/349.43 c not needed. 353.94/349.43 c checking 95276 ... 354.04/349.56 c not needed. 354.04/349.56 c checking 95274 ... 354.14/349.68 c not needed. 354.14/349.68 c checking 95270 ... 354.34/349.81 c not needed. 354.34/349.81 c checking 95268 ... 354.44/349.93 c not needed. 354.44/349.93 c checking 95132 ... 354.54/350.06 c not needed. 354.54/350.06 c checking 95041 ... 354.94/350.41 c mandatory. 354.94/350.41 c checking 95040 ... 355.24/350.77 c mandatory. 355.24/350.77 c checking 95039 ... 355.64/351.13 c mandatory. 355.64/351.13 c checking 95038 ... 355.94/351.49 c mandatory. 355.94/351.49 c checking 95037 ... 356.36/351.87 c mandatory. 356.36/351.87 c checking 95036 ... 356.77/352.23 c mandatory. 356.77/352.23 c checking 95035 ... 357.06/352.59 c mandatory. 357.06/352.59 c checking 95034 ... 357.46/352.95 c mandatory. 357.46/352.95 c checking 95033 ... 357.87/353.30 c mandatory. 357.87/353.30 c checking 95032 ... 358.16/353.66 c mandatory. 358.16/353.66 c checking 95031 ... 358.56/354.03 c mandatory. 358.56/354.03 c checking 95030 ... 358.86/354.38 c mandatory. 358.86/354.38 c checking 62709 ... 359.26/354.74 c mandatory. 359.26/354.74 c checking 62707 ... 359.56/355.09 c mandatory. 359.56/355.09 c checking 62706 ... 359.96/355.44 c mandatory. 359.96/355.44 c checking 62705 ... 360.36/355.80 c mandatory. 360.36/355.80 c checking 62704 ... 360.66/356.17 c mandatory. 360.66/356.17 c checking 62703 ... 361.06/356.52 c mandatory. 361.06/356.52 c checking 62702 ... 361.37/356.88 c mandatory. 361.37/356.88 c checking 62701 ... 361.77/357.24 c mandatory. 361.77/357.24 c checking 62700 ... 362.06/357.60 c mandatory. 362.06/357.60 c checking 62698 ... 362.46/357.95 c mandatory. 362.46/357.95 c checking 62697 ... 362.86/358.31 c mandatory. 362.86/358.31 c checking 62696 ... 363.16/358.67 c mandatory. 363.16/358.67 c checking 62695 ... 363.56/359.02 c mandatory. 363.56/359.02 c checking 62694 ... 363.86/359.38 c mandatory. 363.86/359.38 c checking 62693 ... 364.26/359.74 c mandatory. 364.26/359.74 c checking 62692 ... 364.57/360.09 c mandatory. 364.57/360.09 c checking 62691 ... 364.96/360.45 c mandatory. 364.96/360.45 c checking 62689 ... 365.36/360.81 c mandatory. 365.36/360.81 c checking 62688 ... 365.67/361.16 c mandatory. 365.67/361.16 c checking 62687 ... 366.06/361.51 c mandatory. 366.06/361.51 c checking 62686 ... 366.36/361.86 c mandatory. 366.36/361.86 c checking 62626 ... 366.46/361.99 c not needed. 366.46/361.99 c checking 62624 ... 366.66/362.11 c not needed. 366.66/362.11 c checking 62623 ... 366.77/362.24 c not needed. 366.77/362.24 c checking 62622 ... 366.86/362.36 c not needed. 366.86/362.36 c checking 62621 ... 366.96/362.49 c not needed. 366.96/362.49 c checking 62620 ... 367.16/362.61 c not needed. 367.16/362.61 c checking 62619 ... 367.26/362.74 c not needed. 367.26/362.74 c checking 62618 ... 367.36/362.86 c not needed. 367.36/362.86 c checking 62617 ... 367.46/362.99 c not needed. 367.46/362.99 c checking 62616 ... 367.86/363.35 c mandatory. 367.86/363.35 c checking 62615 ... 367.96/363.47 c not needed. 367.96/363.47 c checking 62614 ... 368.16/363.60 c not needed. 368.16/363.60 c checking 62613 ... 368.26/363.72 c not needed. 368.26/363.72 c checking 62612 ... 368.38/363.88 c not needed. 368.38/363.88 c checking 62601 ... 368.58/364.00 c not needed. 368.58/364.00 c checking 62583 ... 368.89/364.37 c mandatory. 368.89/364.37 c checking 62581 ... 369.28/364.72 c mandatory. 369.28/364.72 c checking 62580 ... 369.58/365.08 c mandatory. 369.58/365.08 c checking 62579 ... 369.98/365.44 c mandatory. 369.98/365.44 c checking 62578 ... 370.39/365.80 c mandatory. 370.39/365.80 c checking 62577 ... 370.69/366.15 c mandatory. 370.69/366.15 c checking 62576 ... 371.09/366.52 c mandatory. 371.09/366.52 c checking 62574 ... 371.39/366.87 c mandatory. 371.39/366.87 c checking 62572 ... 371.59/367.00 c not needed. 371.59/367.00 c checking 62569 ... 371.69/367.12 c not needed. 371.69/367.12 c checking 62568 ... 371.79/367.25 c not needed. 371.79/367.25 c checking 62567 ... 371.89/367.37 c not needed. 371.89/367.37 c checking 62286 ... 372.29/367.72 c mandatory. 372.29/367.72 c checking 62285 ... 372.59/368.07 c mandatory. 372.59/368.07 c checking 62284 ... 372.99/368.43 c mandatory. 372.99/368.43 c checking 61284 ... 373.29/368.79 c mandatory. 373.29/368.79 c checking 61283 ... 373.69/369.14 c mandatory. 373.69/369.14 c checking 61282 ... 374.09/369.51 c mandatory. 374.09/369.51 c checking 61281 ... 374.39/369.86 c mandatory. 374.39/369.86 c checking 61280 ... 374.79/370.22 c mandatory. 374.79/370.22 c checking 61279 ... 375.08/370.56 c mandatory. 375.08/370.56 c checking 61278 ... 375.38/370.89 c mandatory. 375.38/370.89 c checking 61277 ... 375.78/371.26 c mandatory. 375.78/371.26 c checking 61276 ... 376.18/371.61 c mandatory. 376.18/371.61 c checking 61275 ... 376.48/371.97 c mandatory. 376.48/371.97 c checking 61274 ... 376.88/372.33 c mandatory. 376.88/372.33 c checking 61273 ... 377.18/372.69 c mandatory. 377.18/372.69 c checking 61272 ... 377.57/373.06 c mandatory. 377.57/373.06 c checking 61271 ... 377.97/373.42 c mandatory. 377.97/373.42 c checking 61270 ... 378.27/373.78 c mandatory. 378.27/373.78 c checking 61269 ... 378.67/374.13 c mandatory. 378.67/374.13 c checking 61268 ... 378.97/374.48 c mandatory. 378.97/374.48 c checking 61267 ... 379.37/374.83 c mandatory. 379.37/374.83 c checking 61266 ... 379.67/375.19 c mandatory. 379.67/375.19 c checking 61265 ... 380.07/375.55 c mandatory. 380.07/375.55 c checking 61264 ... 380.47/375.90 c mandatory. 380.47/375.90 c checking 61263 ... 380.77/376.26 c mandatory. 380.77/376.26 c checking 61262 ... 381.17/376.62 c mandatory. 381.17/376.62 c checking 61261 ... 381.59/377.00 c mandatory. 381.59/377.00 c checking 61260 ... 381.89/377.36 c mandatory. 381.89/377.36 c checking 61259 ... 382.29/377.72 c mandatory. 382.29/377.72 c checking 61258 ... 382.59/378.07 c mandatory. 382.59/378.07 c checking 61257 ... 382.99/378.41 c mandatory. 382.99/378.41 c checking 61256 ... 383.29/378.75 c mandatory. 383.29/378.75 c checking 61255 ... 383.69/379.11 c mandatory. 383.69/379.11 c checking 61254 ... 383.99/379.47 c mandatory. 383.99/379.47 c checking 61253 ... 384.39/379.83 c mandatory. 384.39/379.83 c checking 61252 ... 384.69/380.19 c mandatory. 384.69/380.19 c checking 61251 ... 385.09/380.54 c mandatory. 385.09/380.54 c checking 61250 ... 385.39/380.89 c mandatory. 385.39/380.89 c checking 61249 ... 385.79/381.24 c mandatory. 385.79/381.24 c checking 61248 ... 386.09/381.59 c mandatory. 386.09/381.59 c checking 61247 ... 386.49/381.95 c mandatory. 386.49/381.95 c checking 61246 ... 386.89/382.31 c mandatory. 386.89/382.31 c checking 61245 ... 387.18/382.67 c mandatory. 387.18/382.67 c checking 61244 ... 387.59/383.02 c mandatory. 387.59/383.02 c checking 61243 ... 387.88/383.38 c mandatory. 387.88/383.38 c checking 61242 ... 388.28/383.74 c mandatory. 388.28/383.74 c checking 61241 ... 388.69/384.10 c mandatory. 388.69/384.10 c checking 61240 ... 388.98/384.46 c mandatory. 388.98/384.46 c checking 61239 ... 389.38/384.82 c mandatory. 389.38/384.82 c checking 61238 ... 389.68/385.18 c mandatory. 389.68/385.18 c checking 61237 ... 390.08/385.53 c mandatory. 390.08/385.53 c checking 61236 ... 390.38/385.89 c mandatory. 390.38/385.89 c checking 61235 ... 390.78/386.25 c mandatory. 390.78/386.25 c checking 61234 ... 391.18/386.61 c mandatory. 391.18/386.61 c checking 61233 ... 391.48/386.97 c mandatory. 391.48/386.97 c checking 61232 ... 391.88/387.32 c mandatory. 391.88/387.32 c checking 61231 ... 392.18/387.67 c mandatory. 392.18/387.67 c checking 61230 ... 392.58/388.02 c mandatory. 392.58/388.02 c checking 61229 ... 392.88/388.38 c mandatory. 392.88/388.38 c checking 61228 ... 393.28/388.74 c mandatory. 393.28/388.74 c checking 61227 ... 393.68/389.10 c mandatory. 393.68/389.10 c checking 61226 ... 393.98/389.46 c mandatory. 393.98/389.46 c checking 61225 ... 394.38/389.82 c mandatory. 394.38/389.82 c checking 61224 ... 394.82/390.20 c mandatory. 394.82/390.20 c checking 61223 ... 395.12/390.55 c mandatory. 395.12/390.55 c checking 61222 ... 395.52/390.93 c mandatory. 395.52/390.93 c checking 61221 ... 395.82/391.28 c mandatory. 395.82/391.28 c checking 61220 ... 396.21/391.64 c mandatory. 396.21/391.64 c checking 61219 ... 396.61/392.00 c mandatory. 396.61/392.00 c checking 61218 ... 396.91/392.36 c mandatory. 396.91/392.36 c checking 61217 ... 397.21/392.69 c mandatory. 397.21/392.69 c checking 61216 ... 397.62/393.03 c mandatory. 397.62/393.03 c checking 61215 ... 397.91/393.39 c mandatory. 397.91/393.39 c checking 61214 ... 398.31/393.76 c mandatory. 398.31/393.76 c checking 61213 ... 398.72/394.12 c mandatory. 398.72/394.12 c checking 61212 ... 399.01/394.47 c mandatory. 399.01/394.47 c checking 61211 ... 399.41/394.83 c mandatory. 399.41/394.83 c checking 61210 ... 399.72/395.19 c mandatory. 399.72/395.19 c checking 61209 ... 400.11/395.54 c mandatory. 400.11/395.54 c checking 61208 ... 400.51/395.90 c mandatory. 400.51/395.90 c checking 61207 ... 400.82/396.26 c mandatory. 400.82/396.26 c checking 61206 ... 401.21/396.61 c mandatory. 401.21/396.61 c checking 61205 ... 401.51/396.94 c mandatory. 401.51/396.94 c checking 61204 ... 401.81/397.29 c mandatory. 401.81/397.29 c checking 61203 ... 402.20/397.62 c mandatory. 402.20/397.62 c checking 61202 ... 402.50/397.95 c mandatory. 402.50/397.95 c checking 61201 ... 402.80/398.28 c mandatory. 402.80/398.28 c checking 61200 ... 403.20/398.64 c mandatory. 403.20/398.64 c checking 61199 ... 403.50/398.99 c mandatory. 403.50/398.99 c checking 61198 ... 403.90/399.37 c mandatory. 403.90/399.37 c checking 61197 ... 404.30/399.73 c mandatory. 404.30/399.73 c checking 61196 ... 404.60/400.09 c mandatory. 404.60/400.09 c checking 61195 ... 405.00/400.44 c mandatory. 405.00/400.44 c checking 61194 ... 405.31/400.79 c mandatory. 405.31/400.79 c checking 61193 ... 405.70/401.14 c mandatory. 405.70/401.14 c checking 61192 ... 406.00/401.50 c mandatory. 406.00/401.50 c checking 61191 ... 406.41/401.85 c mandatory. 406.41/401.85 c checking 61190 ... 406.80/402.22 c mandatory. 406.80/402.22 c checking 61189 ... 407.10/402.58 c mandatory. 407.10/402.58 c checking 61188 ... 407.51/402.94 c mandatory. 407.51/402.94 c checking 61187 ... 407.93/403.33 c mandatory. 407.93/403.33 c checking 61186 ... 408.23/403.69 c mandatory. 408.23/403.69 c checking 61185 ... 408.63/404.05 c mandatory. 408.63/404.05 c checking 61184 ... 409.03/404.41 c mandatory. 409.03/404.41 c checking 61183 ... 409.33/404.77 c mandatory. 409.33/404.77 c checking 61182 ... 409.73/405.13 c mandatory. 409.73/405.13 c checking 61181 ... 410.03/405.49 c mandatory. 410.03/405.49 c checking 61180 ... 410.43/405.84 c mandatory. 410.43/405.84 c checking 61179 ... 410.73/406.20 c mandatory. 410.73/406.20 c checking 61178 ... 411.13/406.56 c mandatory. 411.13/406.56 c checking 61177 ... 411.53/406.91 c mandatory. 411.53/406.91 c checking 61176 ... 411.83/407.26 c mandatory. 411.83/407.26 c checking 61175 ... 412.23/407.62 c mandatory. 412.23/407.62 c checking 61174 ... 412.53/407.97 c mandatory. 412.53/407.97 c checking 61173 ... 412.93/408.33 c mandatory. 412.93/408.33 c checking 61172 ... 413.23/408.69 c mandatory. 413.23/408.69 c checking 61171 ... 413.63/409.05 c mandatory. 413.63/409.05 c checking 61170 ... 414.03/409.40 c mandatory. 414.03/409.41 c checking 61169 ... 414.33/409.77 c mandatory. 414.33/409.77 c checking 61168 ... 414.73/410.13 c mandatory. 414.73/410.13 c checking 61167 ... 415.03/410.49 c mandatory. 415.03/410.49 c checking 61166 ... 415.43/410.84 c mandatory. 415.43/410.84 c checking 61165 ... 415.83/411.20 c mandatory. 415.83/411.20 c checking 61164 ... 416.13/411.56 c mandatory. 416.13/411.56 c checking 61163 ... 416.53/411.92 c mandatory. 416.53/411.92 c checking 61162 ... 416.83/412.28 c mandatory. 416.83/412.28 c checking 61161 ... 417.23/412.64 c mandatory. 417.23/412.64 c checking 61160 ... 417.53/412.99 c mandatory. 417.53/412.99 c checking 61159 ... 417.93/413.35 c mandatory. 417.93/413.35 c checking 61158 ... 418.33/413.71 c mandatory. 418.33/413.71 c checking 61157 ... 418.63/414.06 c mandatory. 418.63/414.06 c checking 61156 ... 419.03/414.41 c mandatory. 419.03/414.41 c checking 61155 ... 419.33/414.77 c mandatory. 419.33/414.77 c checking 61154 ... 419.73/415.12 c mandatory. 419.73/415.12 c checking 61153 ... 420.03/415.48 c mandatory. 420.03/415.48 c checking 61152 ... 420.43/415.84 c mandatory. 420.43/415.84 c checking 61151 ... 420.83/416.20 c mandatory. 420.83/416.20 c checking 61150 ... 421.15/416.58 c mandatory. 421.15/416.58 c checking 61149 ... 421.55/416.91 c mandatory. 421.55/416.91 c checking 61148 ... 421.85/417.25 c mandatory. 421.85/417.25 c checking 61147 ... 422.25/417.61 c mandatory. 422.25/417.61 c checking 61146 ... 422.55/417.97 c mandatory. 422.55/417.97 c checking 61145 ... 422.95/418.32 c mandatory. 422.95/418.32 c checking 61144 ... 423.25/418.68 c mandatory. 423.25/418.68 c checking 61143 ... 423.65/419.04 c mandatory. 423.65/419.04 c checking 61142 ... 423.95/419.40 c mandatory. 423.95/419.40 c checking 61141 ... 424.35/419.75 c mandatory. 424.35/419.75 c checking 61140 ... 424.75/420.10 c mandatory. 424.75/420.10 c checking 61139 ... 425.05/420.45 c mandatory. 425.05/420.45 c checking 61138 ... 425.45/420.81 c mandatory. 425.45/420.81 c checking 61137 ... 425.75/421.16 c mandatory. 425.75/421.16 c checking 61136 ... 426.15/421.52 c mandatory. 426.15/421.52 c checking 61135 ... 426.45/421.88 c mandatory. 426.45/421.88 c checking 61134 ... 426.85/422.24 c mandatory. 426.85/422.24 c checking 61133 ... 427.15/422.59 c mandatory. 427.15/422.59 c checking 61132 ... 427.55/422.96 c mandatory. 427.55/422.96 c checking 61131 ... 427.95/423.32 c mandatory. 427.95/423.32 c checking 61130 ... 428.25/423.68 c mandatory. 428.25/423.68 c checking 61129 ... 428.64/424.04 c mandatory. 428.64/424.04 c checking 61128 ... 429.04/424.40 c mandatory. 429.04/424.40 c checking 61127 ... 429.34/424.76 c mandatory. 429.34/424.76 c checking 61126 ... 429.74/425.12 c mandatory. 429.74/425.12 c checking 61125 ... 430.04/425.48 c mandatory. 430.04/425.48 c checking 61124 ... 430.44/425.84 c mandatory. 430.44/425.84 c checking 61123 ... 430.74/426.20 c mandatory. 430.74/426.20 c checking 61122 ... 431.14/426.55 c mandatory. 431.14/426.55 c checking 61121 ... 431.54/426.90 c mandatory. 431.54/426.90 c checking 61120 ... 431.84/427.25 c mandatory. 431.84/427.25 c checking 61119 ... 432.24/427.60 c mandatory. 432.24/427.60 c checking 61118 ... 432.54/427.96 c mandatory. 432.54/427.96 c checking 61117 ... 432.94/428.31 c mandatory. 432.94/428.31 c checking 61116 ... 433.24/428.67 c mandatory. 433.24/428.67 c checking 61115 ... 433.64/429.02 c mandatory. 433.64/429.02 c checking 61114 ... 433.95/429.38 c mandatory. 433.95/429.38 c checking 61113 ... 434.34/429.73 c mandatory. 434.34/429.73 c checking 61112 ... 434.77/430.12 c mandatory. 434.77/430.12 c checking 61111 ... 435.07/430.48 c mandatory. 435.07/430.48 c checking 61110 ... 435.47/430.83 c mandatory. 435.47/430.83 c checking 61109 ... 435.87/431.20 c mandatory. 435.87/431.20 c checking 61108 ... 436.17/431.55 c mandatory. 436.17/431.55 c checking 61107 ... 436.57/431.91 c mandatory. 436.57/431.91 c checking 61106 ... 436.87/432.27 c mandatory. 436.87/432.27 c checking 61105 ... 437.27/432.63 c mandatory. 437.27/432.63 c checking 61104 ... 437.57/432.99 c mandatory. 437.57/432.99 c checking 61103 ... 437.97/433.34 c mandatory. 437.97/433.34 c checking 61102 ... 438.27/433.69 c mandatory. 438.27/433.69 c checking 61101 ... 438.68/434.04 c mandatory. 438.68/434.04 c checking 61100 ... 439.08/434.40 c mandatory. 439.08/434.40 c checking 61099 ... 439.38/434.75 c mandatory. 439.38/434.75 c checking 61098 ... 439.78/435.10 c mandatory. 439.78/435.10 c checking 61097 ... 440.08/435.46 c mandatory. 440.08/435.46 c checking 61096 ... 440.48/435.82 c mandatory. 440.48/435.82 c checking 61095 ... 440.78/436.17 c mandatory. 440.78/436.17 c checking 61094 ... 441.18/436.53 c mandatory. 441.18/436.53 c checking 61093 ... 441.48/436.89 c mandatory. 441.48/436.89 c checking 61092 ... 441.88/437.25 c mandatory. 441.88/437.25 c checking 61091 ... 442.28/437.61 c mandatory. 442.28/437.61 c checking 61090 ... 442.58/437.97 c mandatory. 442.58/437.97 c checking 61089 ... 442.98/438.33 c mandatory. 442.98/438.33 c checking 61088 ... 443.28/438.69 c mandatory. 443.28/438.69 c checking 61087 ... 443.68/439.04 c mandatory. 443.68/439.04 c checking 61086 ... 444.08/439.40 c mandatory. 444.08/439.40 c checking 61085 ... 444.38/439.75 c mandatory. 444.38/439.75 c checking 61084 ... 444.78/440.10 c mandatory. 444.78/440.10 c checking 61083 ... 445.08/440.46 c mandatory. 445.08/440.46 c checking 61082 ... 445.48/440.81 c mandatory. 445.48/440.81 c checking 61081 ... 445.78/441.17 c mandatory. 445.78/441.17 c checking 61080 ... 446.18/441.53 c mandatory. 446.18/441.53 c checking 61079 ... 446.48/441.88 c mandatory. 446.48/441.88 c checking 61078 ... 446.88/442.24 c mandatory. 446.88/442.24 c checking 61077 ... 447.28/442.60 c mandatory. 447.28/442.60 c checking 61076 ... 447.58/442.96 c mandatory. 447.58/442.96 c checking 61075 ... 447.98/443.32 c mandatory. 447.98/443.32 c checking 61074 ... 448.40/443.70 c mandatory. 448.40/443.70 c checking 61073 ... 448.70/444.06 c mandatory. 448.70/444.06 c checking 61072 ... 449.10/444.42 c mandatory. 449.10/444.42 c checking 61071 ... 449.41/444.77 c mandatory. 449.41/444.77 c checking 61070 ... 449.80/445.13 c mandatory. 449.80/445.13 c checking 61069 ... 450.10/445.49 c mandatory. 450.10/445.49 c checking 61068 ... 450.51/445.84 c mandatory. 450.51/445.84 c checking 61067 ... 450.90/446.20 c mandatory. 450.90/446.20 c checking 61066 ... 451.20/446.55 c mandatory. 451.20/446.55 c checking 61065 ... 451.51/446.90 c mandatory. 451.51/446.90 c checking 61064 ... 451.90/447.25 c mandatory. 451.90/447.25 c checking 61063 ... 452.30/447.61 c mandatory. 452.30/447.61 c checking 61062 ... 452.61/447.97 c mandatory. 452.61/447.97 c checking 61061 ... 453.00/448.32 c mandatory. 453.00/448.32 c checking 61060 ... 453.30/448.68 c mandatory. 453.30/448.68 c checking 61059 ... 453.71/449.04 c mandatory. 453.71/449.04 c checking 61058 ... 454.00/449.39 c mandatory. 454.00/449.39 c checking 61057 ... 454.40/449.75 c mandatory. 454.40/449.75 c checking 61056 ... 454.72/450.08 c mandatory. 454.72/450.08 c checking 61055 ... 455.11/450.44 c mandatory. 455.11/450.44 c checking 61054 ... 455.51/450.80 c mandatory. 455.51/450.80 c checking 61053 ... 455.81/451.16 c mandatory. 455.81/451.16 c checking 61052 ... 456.21/451.51 c mandatory. 456.21/451.51 c checking 61051 ... 456.51/451.88 c mandatory. 456.51/451.88 c checking 61050 ... 456.91/452.24 c mandatory. 456.91/452.24 c checking 61049 ... 457.21/452.59 c mandatory. 457.21/452.59 c checking 61048 ... 457.61/452.95 c mandatory. 457.61/452.95 c checking 61047 ... 458.01/453.30 c mandatory. 458.01/453.30 c checking 61046 ... 458.31/453.65 c mandatory. 458.31/453.65 c checking 61045 ... 458.71/454.01 c mandatory. 458.71/454.01 c checking 61044 ... 459.01/454.37 c mandatory. 459.01/454.37 c checking 61043 ... 459.41/454.73 c mandatory. 459.41/454.73 c checking 61042 ... 459.71/455.08 c mandatory. 459.71/455.08 c checking 61041 ... 460.11/455.44 c mandatory. 460.11/455.44 c checking 31479 ... 460.42/455.80 c mandatory. 460.42/455.80 c checking 31478 ... 460.81/456.15 c mandatory. 460.81/456.15 c checking 31477 ... 461.21/456.51 c mandatory. 461.21/456.51 c checking 31476 ... 461.52/456.86 c mandatory. 461.52/456.86 c checking 31475 ... 461.94/457.25 c mandatory. 461.94/457.25 c checking 31474 ... 462.34/457.60 c mandatory. 462.34/457.60 c checking 31473 ... 462.65/457.96 c mandatory. 462.65/457.96 c checking 31472 ... 463.04/458.32 c mandatory. 463.04/458.32 c checking 31471 ... 463.34/458.68 c mandatory. 463.34/458.68 c checking 308 ... 463.75/459.04 c mandatory. 463.75/459.04 c checking 306 ... 464.04/459.39 c mandatory. 464.04/459.39 c checking 305 ... 464.44/459.74 c mandatory. 464.44/459.74 c checking 304 ... 464.75/460.09 c mandatory. 464.75/460.09 c checking 303 ... 465.14/460.45 c mandatory. 465.14/460.45 c checking 301 ... 465.54/460.81 c mandatory. 465.54/460.81 c checking 300 ... 465.85/461.16 c mandatory. 465.85/461.16 c checking 299 ... 466.24/461.52 c mandatory. 466.24/461.52 c checking 298 ... 466.55/461.88 c mandatory. 466.55/461.88 c checking 297 ... 466.96/462.23 c mandatory. 466.96/462.23 c checking 293 ... 467.25/462.59 c mandatory. 467.25/462.59 c checking 292 ... 467.65/462.95 c mandatory. 467.65/462.95 c checking 244 ... 468.06/463.30 c mandatory. 468.06/463.30 c checking 242 ... 468.35/463.66 c mandatory. 468.35/463.66 c checking 241 ... 468.75/464.02 c mandatory. 468.75/464.02 c checking 240 ... 469.05/464.38 c mandatory. 469.05/464.38 c checking 239 ... 469.45/464.74 c mandatory. 469.45/464.74 c checking 238 ... 469.75/465.10 c mandatory. 469.75/465.10 c checking 237 ... 470.05/465.37 c not needed. 470.05/465.37 c checking 235 ... 470.26/465.50 c not needed. 470.26/465.50 c checking 234 ... 470.55/465.85 c mandatory. 470.55/465.85 c checking 233 ... 470.95/466.21 c mandatory. 470.95/466.21 c checking 232 ... 471.05/466.33 c not needed. 471.05/466.33 c checking 230 ... 471.15/466.45 c not needed. 471.15/466.45 c checking 229 ... 471.25/466.57 c not needed. 471.25/466.57 c checking 228 ... 471.36/466.70 c not needed. 471.36/466.70 c checking 227 ... 471.55/466.82 c not needed. 471.55/466.82 c checking 226 ... 471.65/466.94 c not needed. 471.65/466.94 c checking 224 ... 471.75/467.07 c not needed. 471.75/467.07 c checking 222 ... 471.85/467.19 c not needed. 471.85/467.19 c checking 221 ... 472.25/467.55 c mandatory. 472.25/467.55 c checking 220 ... 472.65/467.90 c mandatory. 472.65/467.90 c checking 218 ... 472.95/468.26 c mandatory. 472.95/468.26 c checking 208 ... 473.05/468.39 c not needed. 473.05/468.39 c checking 207 ... 473.45/468.75 c mandatory. 473.45/468.75 c checking 205 ... 473.85/469.11 c mandatory. 473.85/469.11 c checking 204 ... 474.15/469.46 c mandatory. 474.15/469.46 c checking 203 ... 474.57/469.84 c mandatory. 474.57/469.84 c checking 202 ... 474.87/470.19 c mandatory. 474.87/470.19 c checking 201 ... 475.27/470.55 c mandatory. 475.27/470.55 c checking 200 ... 475.66/470.92 c mandatory. 475.66/470.92 c checking 198 ... 475.96/471.28 c mandatory. 475.96/471.28 c starts : 856 475.96/471.28 c conflicts : 1780 475.96/471.28 c decisions : 551652681 475.96/471.28 c propagations : 1865728602 475.96/471.28 c inspects : 166645374 475.96/471.28 c shortcuts : 0 475.96/471.28 c learnt literals : 0 475.96/471.28 c learnt binary clauses : 0 475.96/471.28 c learnt ternary clauses : 0 475.96/471.28 c learnt constraints : 1770 475.96/471.28 c ignored constraints : 0 475.96/471.28 c root simplifications : 0 475.96/471.28 c removed literals (reason simplification) : 1203 475.96/471.28 c reason swapping (by a shorter reason) : 0 475.96/471.28 c Calls to reduceDB : 0 475.96/471.28 c speed (assignments/second) : 5.211532407821229E9 475.96/471.28 c non guided choices 551639946 475.96/471.28 c learnt constraints type 475.96/471.28 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1770 475.96/471.28 c Size of the high level MUS: 837 475.96/471.28 c Unsat core computation wall clock time (in seconds) : 461.111 475.96/471.28 c starts : 856 475.96/471.28 c conflicts : 1780 475.96/471.28 c decisions : 551652681 475.96/471.28 c propagations : 1865728602 475.96/471.28 c inspects : 166645374 475.96/471.28 c shortcuts : 0 475.96/471.28 c learnt literals : 0 475.96/471.28 c learnt binary clauses : 0 475.96/471.28 c learnt ternary clauses : 0 475.96/471.28 c learnt constraints : 1770 475.96/471.28 c ignored constraints : 0 475.96/471.28 c root simplifications : 0 475.96/471.28 c removed literals (reason simplification) : 1203 475.96/471.28 c reason swapping (by a shorter reason) : 0 475.96/471.28 c Calls to reduceDB : 0 475.96/471.28 c speed (assignments/second) : 5.168223274238227E9 475.96/471.28 c non guided choices 551639946 475.96/471.28 c learnt constraints type 475.96/471.28 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1770 475.96/471.28 c constraints type 475.96/471.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1878723 475.96/471.28 s UNSATISFIABLE 475.96/471.28 v 198 200 201 202 203 204 205 207 218 220 221 233 234 238 239 240 241 242 244 292 293 297 298 299 300 301 303 304 305 306 308 31471 31472 31473 31474 31475 31476 31477 31478 31479 61041 61042 61043 61044 61045 61046 61047 61048 61049 61050 61051 61052 61053 61054 61055 61056 61057 61058 61059 61060 61061 61062 61063 61064 61065 61066 61067 61068 61069 61070 61071 61072 61073 61074 61075 61076 61077 61078 61079 61080 61081 61082 61083 61084 61085 61086 61087 61088 61089 61090 61091 61092 61093 61094 61095 61096 61097 61098 61099 61100 61101 61102 61103 61104 61105 61106 61107 61108 61109 61110 61111 61112 61113 61114 61115 61116 61117 61118 61119 61120 61121 61122 61123 61124 61125 61126 61127 61128 61129 61130 61131 61132 61133 61134 61135 61136 61137 61138 61139 61140 61141 61142 61143 61144 61145 61146 61147 61148 61149 61150 61151 61152 61153 61154 61155 61156 61157 61158 61159 61160 61161 61162 61163 61164 61165 61166 61167 61168 61169 61170 61171 61172 61173 61174 61175 61176 61177 61178 61179 61180 61181 61182 61183 61184 61185 61186 61187 61188 61189 61190 61191 61192 61193 61194 61195 61196 61197 61198 61199 61200 61201 61202 61203 61204 61205 61206 61207 61208 61209 61210 61211 61212 61213 61214 61215 61216 61217 61218 61219 61220 61221 61222 61223 61224 61225 61226 61227 61228 61229 61230 61231 61232 61233 61234 61235 61236 61237 61238 61239 61240 61241 61242 61243 61244 61245 61246 61247 61248 61249 61250 61251 61252 61253 61254 61255 61256 61257 61258 61259 61260 61261 61262 61263 61264 61265 61266 61267 61268 61269 61270 61271 61272 61273 61274 61275 61276 61277 61278 61279 61280 61281 61282 61283 61284 62284 62285 62286 62574 62576 62577 62578 62579 62580 62581 62583 62616 62686 62687 62688 62689 62691 62692 62693 62694 62695 62696 62697 62698 62700 62701 62702 62703 62704 62705 62706 62707 62709 95030 95031 95032 95033 95034 95035 95036 95037 95038 95039 95040 95041 95409 95411 95412 95413 95414 95415 95416 95418 95634 95635 95636 95637 95638 95639 95640 95642 128155 128156 128157 128158 128159 128160 128161 128162 128163 128164 128165 128166 128538 128541 128542 128543 128544 128545 128546 128547 128548 128549 128550 128818 128819 128820 128821 128822 128823 128824 128825 128826 161360 161361 161362 161363 161364 161365 161366 161367 161368 161369 161370 161371 161743 161746 161747 161748 161749 161750 161751 161752 161753 161754 161755 162023 162024 162025 162026 162027 162028 162029 162030 162031 194565 194566 194567 194568 194569 194570 194571 194572 194573 194574 194575 194576 194948 194951 194952 194953 194954 194955 194956 194957 194958 194959 194960 195228 195229 195230 195231 195232 195233 195234 195235 195236 227770 227771 227772 227773 227774 227775 227776 227777 227778 227779 227780 227781 228153 228156 228157 228158 228159 228160 228161 228162 228163 228164 228165 228433 228434 228435 228436 228437 228438 228439 228440 228441 260975 260976 260977 260978 260979 260980 260981 260982 260983 260984 260985 260986 261358 261361 261362 261363 261364 261365 261366 261367 261368 261369 261370 261638 261639 261640 261641 261642 261643 261644 261645 261646 294180 294181 294182 294183 294184 294185 294186 294187 294188 294189 294190 294191 294563 294566 294567 294568 294569 294570 294571 294572 294573 294574 294575 294843 294844 294845 294846 294847 294848 294849 294850 294851 327385 327386 327387 327388 327389 327390 327391 327392 327393 327394 327395 327396 327768 327771 327772 327773 327774 327775 327776 327777 327778 327779 327780 328048 328049 328050 328051 328052 328053 328054 328055 328056 360590 360591 360592 360593 360594 360595 360596 360597 360598 360599 360600 360601 360973 360976 360977 360978 360979 360980 360981 360982 360983 360984 360985 361253 361254 361255 361256 361257 361258 361259 361260 361261 393795 393796 393797 393798 393799 393800 393801 393802 393803 393804 393805 393806 394178 394181 394182 394183 394184 394185 394186 394187 394188 394189 394190 394458 394459 394460 394461 394462 394463 394464 394465 394466 427000 427001 427002 427003 427004 427005 427006 427007 427008 427009 427010 427011 427383 427386 427387 427388 427389 427390 427391 427392 427393 427394 427395 427663 427664 427665 427666 427667 427668 427669 427670 427671 460205 460206 460207 460208 460209 460210 460211 460212 460213 460214 460215 460216 460588 460591 460592 460593 460594 460595 460596 460597 460598 460599 460600 460868 460869 460870 460871 460872 460873 460874 460875 460876 493410 493411 493412 493413 493414 493415 493416 493417 493418 493419 493420 493421 493793 493796 493797 493798 493799 493800 493801 493802 493803 493804 493805 494073 494074 494075 494076 494077 494078 494079 494080 494081 526615 526616 526617 526618 526619 526620 526621 526622 526623 526624 526625 526626 526998 527001 527002 527003 527004 527005 527006 527007 527008 527009 527010 527278 527279 527280 527281 527282 527283 527284 527285 527286 559820 559821 559822 559823 559824 559825 559826 559827 559828 559829 559830 559831 560203 560206 560207 560208 560209 560210 560211 560212 560213 560214 560215 560483 560484 560485 560486 560487 560488 560489 560490 560491 593025 593026 593027 593028 593029 593030 593031 593032 593033 593034 593035 593036 593408 593411 593412 593413 593414 593415 593416 593417 593418 593419 593420 593688 593689 593690 593691 593692 593693 593694 593695 593696 626230 626231 626232 626233 626234 626235 626236 626237 626238 626239 626240 626241 0 475.96/471.28 c Total wall clock time (in seconds) : 471.18
OK 837
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500827-1308036332/watcher-3500827-1308036332 -o /var/tmp/evaluation-result-3500827-1308036332/solver-3500827-1308036332 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500827-1308036332.gcnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.81 0.25 0.09 5/238 10266 /proc/meminfo: memFree=5241372/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=30540 CPUtime=0 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 1240 0 0 0 0 0 0 0 25 0 2 0 896048859 31272960 959 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 7635 959 732 9 0 386 0 [pid=10266/tid=10267] ppid=10264 vsize=30540 CPUtime=0 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 896048859 31272960 960 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264726404923 0 0 0 16784584 0 0 0 -1 0 0 0 0 [startup+0.107122 s] /proc/loadavg: 0.81 0.25 0.09 5/238 10266 /proc/meminfo: memFree=5241372/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6429692 CPUtime=0.09 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 9191 0 1 0 8 1 0 0 25 0 18 0 896048859 6584004608 8887 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1607423 8887 1912 9 0 1598161 0 [pid=10266/tid=10267] ppid=10264 vsize=6429692 CPUtime=0.09 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 7851 0 1 0 8 1 0 0 25 0 18 0 896048859 6584004608 8891 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738231755 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6429692 [startup+0.267707 s] /proc/loadavg: 0.81 0.25 0.09 5/238 10266 /proc/meminfo: memFree=5241372/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6433524 CPUtime=0.37 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 24056 0 1 0 34 3 0 0 25 0 18 0 896048859 6587928576 23653 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1608381 23653 2191 9 0 1599119 0 [pid=10266/tid=10267] ppid=10264 vsize=6433524 CPUtime=0.25 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 21371 0 1 0 23 2 0 0 25 0 18 0 896048859 6587928576 23654 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505532596 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 6433524 [startup+0.308347 s] /proc/loadavg: 0.81 0.25 0.09 5/238 10266 /proc/meminfo: memFree=5241372/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6436388 CPUtime=0.44 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 25774 0 1 0 41 3 0 0 25 0 18 0 896048859 6590861312 24954 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609097 24984 2196 9 0 1599835 0 [pid=10266/tid=10267] ppid=10264 vsize=6436388 CPUtime=0.29 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 22126 0 1 0 27 2 0 0 25 0 18 0 896048859 6590861312 25005 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505219229 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 6436388 [startup+0.700995 s] /proc/loadavg: 0.81 0.25 0.09 5/238 10266 /proc/meminfo: memFree=5241372/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6437784 CPUtime=0.9 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 47795 0 1 0 85 5 0 0 25 0 18 0 896048859 6592290816 46628 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609446 46628 2203 9 0 1600184 0 [pid=10266/tid=10267] ppid=10264 vsize=6437784 CPUtime=0.62 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 43024 0 1 0 57 5 0 0 25 0 18 0 896048859 6592290816 46628 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505491066 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 6437784 [startup+1.54784 s] /proc/loadavg: 0.81 0.25 0.09 5/238 10266 /proc/meminfo: memFree=5241372/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6437784 CPUtime=1.75 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 99698 0 1 0 164 11 0 0 25 0 18 0 896048859 6592290816 98530 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609446 98530 2204 9 0 1600184 0 [pid=10266/tid=10267] ppid=10264 vsize=6437784 CPUtime=1.46 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 94926 0 1 0 136 10 0 0 25 0 18 0 896048859 6592290816 98530 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505491156 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.75 Current children cumulated vsize (KiB) 6437784 [startup+3.1016 s] /proc/loadavg: 1.63 0.43 0.14 5/249 10333 /proc/meminfo: memFree=4338500/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6437784 CPUtime=3.3 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 188879 0 1 0 309 21 0 0 25 0 18 0 896048859 6592290816 187711 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609446 187713 2204 9 0 1600184 0 [pid=10266/tid=10267] ppid=10264 vsize=6437784 CPUtime=3.01 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 184111 0 1 0 281 20 0 0 25 0 18 0 896048859 6592290816 187715 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505532331 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10266/tid=10269] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10269/stat : 10269 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048860 6592290816 187716 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10270] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10270/stat : 10270 (java) S 10264 10266 8335 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896048860 6592290816 187718 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10271] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10271/stat : 10271 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048860 6592290816 187719 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10272] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10272/stat : 10272 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048860 6592290816 187721 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10273] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10273/stat : 10273 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048860 6592290816 187722 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10274] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10274/stat : 10274 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048860 6592290816 187724 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10275] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10275/stat : 10275 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048860 6592290816 187725 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10276] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10276/stat : 10276 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048860 6592290816 187727 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10277] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10277/stat : 10277 (java) S 10264 10266 8335 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896048861 6592290816 187728 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 0 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10278] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10278/stat : 10278 (java) S 10264 10266 8335 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896048862 6592290816 187730 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10279] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10279/stat : 10279 (java) S 10264 10266 8335 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896048862 6592290816 187731 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10280] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10280/stat : 10280 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048864 6592290816 187733 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738228657 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10281] ppid=10264 vsize=6437784 CPUtime=0.09 cores=0,2 /proc/10266/task/10281/stat : 10281 (java) S 10264 10266 8335 0 -1 4202560 960 0 0 0 9 0 0 0 25 0 18 0 896048864 6592290816 187734 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10282] ppid=10264 vsize=6437784 CPUtime=0.18 cores=0,2 /proc/10266/task/10282/stat : 10282 (java) S 10264 10266 8335 0 -1 4202560 2659 0 0 0 18 0 0 0 17 0 18 0 896048864 6592290816 187735 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10283] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10283/stat : 10283 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048864 6592290816 187737 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10284] ppid=10264 vsize=6437784 CPUtime=0 cores=0,2 /proc/10266/task/10284/stat : 10284 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896048864 6592290816 187738 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.3 Current children cumulated vsize (KiB) 6437784 [startup+6.307 s] /proc/loadavg: 1.63 0.43 0.14 5/259 10343 /proc/meminfo: memFree=3942596/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6436492 CPUtime=6.97 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 252618 0 1 0 668 29 0 0 25 0 19 0 896048859 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609123 249055 2231 9 0 1599861 0 [pid=10266/tid=10267] ppid=10264 vsize=6436492 CPUtime=6.2 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 245344 0 1 0 592 28 0 0 21 0 19 0 896048859 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505692011 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10266/tid=10269] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10269/stat : 10269 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10270] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10270/stat : 10270 (java) S 10264 10266 8335 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10271] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10271/stat : 10271 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10272] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10272/stat : 10272 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10273] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10273/stat : 10273 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10274] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10274/stat : 10274 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10275] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10275/stat : 10275 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10276] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10276/stat : 10276 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10277] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10277/stat : 10277 (java) S 10264 10266 8335 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 896048861 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 0 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10278] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10278/stat : 10278 (java) S 10264 10266 8335 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 896048862 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10279] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10279/stat : 10279 (java) S 10264 10266 8335 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 896048862 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10280] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10280/stat : 10280 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048864 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738228657 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10281] ppid=10264 vsize=6436492 CPUtime=0.34 cores=0,2 /proc/10266/task/10281/stat : 10281 (java) S 10264 10266 8335 0 -1 4202560 3391 0 0 0 34 0 0 0 15 0 19 0 896048864 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10282] ppid=10264 vsize=6436492 CPUtime=0.41 cores=0,2 /proc/10266/task/10282/stat : 10282 (java) S 10264 10266 8335 0 -1 4202560 2719 0 0 0 41 0 0 0 15 0 19 0 896048864 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10283] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10283/stat : 10283 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048864 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10284] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10284/stat : 10284 (java) S 10264 10266 8335 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 896048864 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10343] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10343/stat : 10343 (java) S 10264 10266 8335 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 896049280 6590967808 249055 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.97 Current children cumulated vsize (KiB) 6436492 [startup+12.7008 s] /proc/loadavg: 1.82 0.49 0.17 5/259 10344 /proc/meminfo: memFree=3870276/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6436492 CPUtime=13.58 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 285292 0 1 0 1325 33 0 0 25 0 19 0 896048859 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609123 280872 2238 9 0 1599861 0 [pid=10266/tid=10267] ppid=10264 vsize=6436492 CPUtime=12.57 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 276900 0 1 0 1225 32 0 0 25 0 19 0 896048859 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505692023 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10266/tid=10269] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10269/stat : 10269 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10270] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10270/stat : 10270 (java) S 10264 10266 8335 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10271] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10271/stat : 10271 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10272] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10272/stat : 10272 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10273] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10273/stat : 10273 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10274] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10274/stat : 10274 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10275] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10275/stat : 10275 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10276] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10276/stat : 10276 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048860 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10277] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10277/stat : 10277 (java) S 10264 10266 8335 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 896048861 6590967808 280872 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 0 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10278] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 ################ # More data... # ################ [pid=10266/tid=10271] ppid=10264 vsize=6436492 CPUtime=1.52 cores=0,2 /proc/10266/task/10271/stat : 10271 (java) S 10264 10266 8335 0 -1 4202560 58825 0 0 0 146 6 0 0 16 0 19 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10272] ppid=10264 vsize=6436492 CPUtime=1.1 cores=0,2 /proc/10266/task/10272/stat : 10272 (java) S 10264 10266 8335 0 -1 4202560 46918 0 0 0 105 5 0 0 16 0 19 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10273] ppid=10264 vsize=6436492 CPUtime=0.63 cores=0,2 /proc/10266/task/10273/stat : 10273 (java) S 10264 10266 8335 0 -1 4202560 18816 0 0 0 61 2 0 0 15 0 19 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10274] ppid=10264 vsize=6436492 CPUtime=1.07 cores=0,2 /proc/10266/task/10274/stat : 10274 (java) S 10264 10266 8335 0 -1 4202560 11337 0 0 0 106 1 0 0 15 0 19 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10275] ppid=10264 vsize=6436492 CPUtime=1.45 cores=0,2 /proc/10266/task/10275/stat : 10275 (java) S 10264 10266 8335 0 -1 4202560 34509 0 0 0 140 5 0 0 16 0 19 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10276] ppid=10264 vsize=6436492 CPUtime=0.69 cores=0,2 /proc/10266/task/10276/stat : 10276 (java) S 10264 10266 8335 0 -1 4202560 25891 0 0 0 67 2 0 0 16 0 19 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10277] ppid=10264 vsize=6436492 CPUtime=0.01 cores=0,2 /proc/10266/task/10277/stat : 10277 (java) S 10264 10266 8335 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 19 0 896048861 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 0 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10278] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10278/stat : 10278 (java) S 10264 10266 8335 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 896048862 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10279] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10279/stat : 10279 (java) S 10264 10266 8335 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 896048862 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10280] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10280/stat : 10280 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738228657 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10281] ppid=10264 vsize=6436492 CPUtime=0.5 cores=0,2 /proc/10266/task/10281/stat : 10281 (java) S 10264 10266 8335 0 -1 4202560 4220 0 0 0 50 0 0 0 16 0 19 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10282] ppid=10264 vsize=6436492 CPUtime=0.58 cores=0,2 /proc/10266/task/10282/stat : 10282 (java) S 10264 10266 8335 0 -1 4202560 3051 0 0 0 58 0 0 0 15 0 19 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10283] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10283/stat : 10283 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10284] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10284/stat : 10284 (java) S 10264 10266 8335 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 470.05 Current children cumulated vsize (KiB) 6436492 [startup+468.502 s] /proc/loadavg: 4.26 3.36 1.70 5/259 19417 /proc/meminfo: memFree=148092/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6436492 CPUtime=473.25 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 661008 0 1 0 47233 92 0 0 25 0 18 0 896048859 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609123 653218 2249 9 0 1599861 0 [pid=10266/tid=10267] ppid=10264 vsize=6436492 CPUtime=463.99 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 391703 0 1 0 46347 52 0 0 25 0 18 0 896048859 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505674852 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10266/tid=10269] ppid=10264 vsize=6436492 CPUtime=0.73 cores=0,2 /proc/10266/task/10269/stat : 10269 (java) S 10264 10266 8335 0 -1 4202560 34792 0 0 0 68 5 0 0 16 0 18 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10270] ppid=10264 vsize=6436492 CPUtime=0.75 cores=0,2 /proc/10266/task/10270/stat : 10270 (java) S 10264 10266 8335 0 -1 4202560 29628 0 0 0 72 3 0 0 15 0 18 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10271] ppid=10264 vsize=6436492 CPUtime=1.52 cores=0,2 /proc/10266/task/10271/stat : 10271 (java) S 10264 10266 8335 0 -1 4202560 58825 0 0 0 146 6 0 0 16 0 18 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10272] ppid=10264 vsize=6436492 CPUtime=1.1 cores=0,2 /proc/10266/task/10272/stat : 10272 (java) S 10264 10266 8335 0 -1 4202560 46918 0 0 0 105 5 0 0 16 0 18 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10273] ppid=10264 vsize=6436492 CPUtime=0.63 cores=0,2 /proc/10266/task/10273/stat : 10273 (java) S 10264 10266 8335 0 -1 4202560 18816 0 0 0 61 2 0 0 15 0 18 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10274] ppid=10264 vsize=6436492 CPUtime=1.07 cores=0,2 /proc/10266/task/10274/stat : 10274 (java) S 10264 10266 8335 0 -1 4202560 11337 0 0 0 106 1 0 0 15 0 18 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10275] ppid=10264 vsize=6436492 CPUtime=1.45 cores=0,2 /proc/10266/task/10275/stat : 10275 (java) S 10264 10266 8335 0 -1 4202560 34509 0 0 0 140 5 0 0 16 0 18 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10276] ppid=10264 vsize=6436492 CPUtime=0.69 cores=0,2 /proc/10266/task/10276/stat : 10276 (java) S 10264 10266 8335 0 -1 4202560 25891 0 0 0 67 2 0 0 16 0 18 0 896048860 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10277] ppid=10264 vsize=6436492 CPUtime=0.01 cores=0,2 /proc/10266/task/10277/stat : 10277 (java) S 10264 10266 8335 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 18 0 896048861 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 0 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10278] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10278/stat : 10278 (java) S 10264 10266 8335 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 896048862 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10279] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10279/stat : 10279 (java) S 10264 10266 8335 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 896048862 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10280] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10280/stat : 10280 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738228657 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10281] ppid=10264 vsize=6436492 CPUtime=0.5 cores=0,2 /proc/10266/task/10281/stat : 10281 (java) S 10264 10266 8335 0 -1 4202560 4220 0 0 0 50 0 0 0 16 0 18 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10282] ppid=10264 vsize=6436492 CPUtime=0.58 cores=0,2 /proc/10266/task/10282/stat : 10282 (java) S 10264 10266 8335 0 -1 4202560 3051 0 0 0 58 0 0 0 15 0 18 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10283] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10283/stat : 10283 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10284] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10284/stat : 10284 (java) S 10264 10266 8335 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 18 0 896048864 6590967808 653218 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 473.25 Current children cumulated vsize (KiB) 6436492 [startup+470.101 s] /proc/loadavg: 4.26 3.36 1.70 5/256 19534 /proc/meminfo: memFree=96580/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6436492 CPUtime=474.87 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 661010 0 1 0 47395 92 0 0 25 0 19 0 896048859 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609123 653219 2249 9 0 1599861 0 [pid=10266/tid=10267] ppid=10264 vsize=6436492 CPUtime=465.55 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 391704 0 1 0 46503 52 0 0 25 0 19 0 896048859 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505627906 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10266/tid=10269] ppid=10264 vsize=6436492 CPUtime=0.76 cores=0,2 /proc/10266/task/10269/stat : 10269 (java) S 10264 10266 8335 0 -1 4202560 34793 0 0 0 71 5 0 0 16 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10270] ppid=10264 vsize=6436492 CPUtime=0.75 cores=0,2 /proc/10266/task/10270/stat : 10270 (java) S 10264 10266 8335 0 -1 4202560 29628 0 0 0 72 3 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10271] ppid=10264 vsize=6436492 CPUtime=1.52 cores=0,2 /proc/10266/task/10271/stat : 10271 (java) S 10264 10266 8335 0 -1 4202560 58825 0 0 0 146 6 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10272] ppid=10264 vsize=6436492 CPUtime=1.1 cores=0,2 /proc/10266/task/10272/stat : 10272 (java) S 10264 10266 8335 0 -1 4202560 46918 0 0 0 105 5 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10273] ppid=10264 vsize=6436492 CPUtime=0.63 cores=0,2 /proc/10266/task/10273/stat : 10273 (java) S 10264 10266 8335 0 -1 4202560 18816 0 0 0 61 2 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10274] ppid=10264 vsize=6436492 CPUtime=1.1 cores=0,2 /proc/10266/task/10274/stat : 10274 (java) S 10264 10266 8335 0 -1 4202560 11337 0 0 0 109 1 0 0 16 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10275] ppid=10264 vsize=6436492 CPUtime=1.45 cores=0,2 /proc/10266/task/10275/stat : 10275 (java) S 10264 10266 8335 0 -1 4202560 34509 0 0 0 140 5 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10276] ppid=10264 vsize=6436492 CPUtime=0.69 cores=0,2 /proc/10266/task/10276/stat : 10276 (java) S 10264 10266 8335 0 -1 4202560 25891 0 0 0 67 2 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10277] ppid=10264 vsize=6436492 CPUtime=0.01 cores=0,2 /proc/10266/task/10277/stat : 10277 (java) S 10264 10266 8335 0 -1 4202560 39 0 0 0 1 0 0 0 16 0 19 0 896048861 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 0 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10278] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10278/stat : 10278 (java) S 10264 10266 8335 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 896048862 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10279] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10279/stat : 10279 (java) S 10264 10266 8335 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 896048862 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10280] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10280/stat : 10280 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738228657 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10281] ppid=10264 vsize=6436492 CPUtime=0.5 cores=0,2 /proc/10266/task/10281/stat : 10281 (java) S 10264 10266 8335 0 -1 4202560 4220 0 0 0 50 0 0 0 16 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10282] ppid=10264 vsize=6436492 CPUtime=0.58 cores=0,2 /proc/10266/task/10282/stat : 10282 (java) S 10264 10266 8335 0 -1 4202560 3051 0 0 0 58 0 0 0 15 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10283] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10283/stat : 10283 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10284] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10284/stat : 10284 (java) S 10264 10266 8335 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 474.87 Current children cumulated vsize (KiB) 6436492 [startup+470.901 s] /proc/loadavg: 4.26 3.36 1.70 5/256 19534 /proc/meminfo: memFree=96580/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=6436492 CPUtime=475.66 cores=0,2 /proc/10266/stat : 10266 (java) S 10264 10266 8335 0 -1 4202496 661010 0 1 0 47474 92 0 0 25 0 19 0 896048859 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 1609123 653219 2249 9 0 1599861 0 [pid=10266/tid=10267] ppid=10264 vsize=6436492 CPUtime=466.35 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4202560 391704 0 1 0 46582 53 0 0 20 0 19 0 896048859 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 46912505776448 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10266/tid=10269] ppid=10264 vsize=6436492 CPUtime=0.76 cores=0,2 /proc/10266/task/10269/stat : 10269 (java) S 10264 10266 8335 0 -1 4202560 34793 0 0 0 71 5 0 0 16 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10270] ppid=10264 vsize=6436492 CPUtime=0.75 cores=0,2 /proc/10266/task/10270/stat : 10270 (java) S 10264 10266 8335 0 -1 4202560 29628 0 0 0 72 3 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10271] ppid=10264 vsize=6436492 CPUtime=1.52 cores=0,2 /proc/10266/task/10271/stat : 10271 (java) S 10264 10266 8335 0 -1 4202560 58825 0 0 0 146 6 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10272] ppid=10264 vsize=6436492 CPUtime=1.1 cores=0,2 /proc/10266/task/10272/stat : 10272 (java) S 10264 10266 8335 0 -1 4202560 46918 0 0 0 105 5 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10273] ppid=10264 vsize=6436492 CPUtime=0.63 cores=0,2 /proc/10266/task/10273/stat : 10273 (java) S 10264 10266 8335 0 -1 4202560 18816 0 0 0 61 2 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10274] ppid=10264 vsize=6436492 CPUtime=1.1 cores=0,2 /proc/10266/task/10274/stat : 10274 (java) S 10264 10266 8335 0 -1 4202560 11337 0 0 0 109 1 0 0 16 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10275] ppid=10264 vsize=6436492 CPUtime=1.45 cores=0,2 /proc/10266/task/10275/stat : 10275 (java) S 10264 10266 8335 0 -1 4202560 34509 0 0 0 140 5 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10276] ppid=10264 vsize=6436492 CPUtime=0.69 cores=0,2 /proc/10266/task/10276/stat : 10276 (java) S 10264 10266 8335 0 -1 4202560 25891 0 0 0 67 2 0 0 15 0 19 0 896048860 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10277] ppid=10264 vsize=6436492 CPUtime=0.01 cores=0,2 /proc/10266/task/10277/stat : 10277 (java) S 10264 10266 8335 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 19 0 896048861 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 0 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10278] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10278/stat : 10278 (java) S 10264 10266 8335 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 896048862 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10279] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10279/stat : 10279 (java) S 10264 10266 8335 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 896048862 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10280] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10280/stat : 10280 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738228657 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10281] ppid=10264 vsize=6436492 CPUtime=0.5 cores=0,2 /proc/10266/task/10281/stat : 10281 (java) S 10264 10266 8335 0 -1 4202560 4220 0 0 0 50 0 0 0 16 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10282] ppid=10264 vsize=6436492 CPUtime=0.58 cores=0,2 /proc/10266/task/10282/stat : 10282 (java) S 10264 10266 8335 0 -1 4202560 3051 0 0 0 58 0 0 0 15 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 2 0 0 0 [pid=10266/tid=10283] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10283/stat : 10283 (java) S 10264 10266 8335 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738220953 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 [pid=10266/tid=10284] ppid=10264 vsize=6436492 CPUtime=0 cores=0,2 /proc/10266/task/10284/stat : 10284 (java) S 10264 10266 8335 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 896048864 6590967808 653219 33554432000 1073741824 1073778376 140735836817152 18446744073709551615 264738221568 0 4 0 16800975 18446604453969785792 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 475.66 Current children cumulated vsize (KiB) 6436492 [startup+471.301 s] /proc/loadavg: 4.26 3.36 1.70 5/257 19563 /proc/meminfo: memFree=92192/32951124 swapFree=67064576/67111528 [pid=10266] ppid=10264 vsize=0 CPUtime=476.05 cores=0,2 /proc/10266/stat : 10266 (java) Z 10264 10266 8335 0 -1 4203548 661021 0 1 0 47512 93 0 0 18 0 2 0 896048859 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/10266/statm: 0 0 0 0 0 0 0 [pid=10266/tid=10267] ppid=10264 vsize=0 CPUtime=466.75 cores=0,2 /proc/10266/task/10267/stat : 10267 (java) R 10264 10266 8335 0 -1 4203588 391708 0 1 0 46621 54 0 0 22 0 2 0 896048859 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 476.05 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 471.386 CPU time (s): 476.153 CPU user time (s): 475.128 CPU system time (s): 1.02484 CPU usage (%): 101.011 Max. virtual memory (cumulated for all children) (KiB): 6438812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 475.128 system time used= 1.02484 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 661021 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14693 involuntary context switches= 17450 runsolver used 0.907861 second user time and 1.79273 second system time The end
Begin job on node141 at 2011-06-14 09:25:32 IDJOB=3500827 IDBENCH=89964 IDSOLVER=1997 FILE ID=node141/3500827-1308036332 RUNJOBID= node141-1308036326-10101 PBS_JOBID= 13563895 Free space on /var/tmp= 2776 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT11/gmus/belov/pj2003.aig.k20.gcnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500827-1308036332/watcher-3500827-1308036332 -o /var/tmp/evaluation-result-3500827-1308036332/solver-3500827-1308036332 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500827-1308036332.gcnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 8150b10e9988dfed70110f6792c1c1f0 RANDOM SEED=140629808 node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 5247000 kB Buffers: 140196 kB Cached: 25856168 kB SwapCached: 9036 kB Active: 10454416 kB Inactive: 16410816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 5247000 kB SwapTotal: 67111528 kB SwapFree: 67064576 kB Dirty: 140776 kB Writeback: 0 kB AnonPages: 866228 kB Mapped: 18352 kB Slab: 771304 kB PageTables: 6328 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 18891520 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2856 MiB End job on node141 at 2011-06-14 09:33:24