Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 | SAT | 7346046 | 3585.19 | 3596.07 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran14x18.opb |
| MD5SUM | 5c8d8ce64a950076da07daccd75facb4 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4052992 |
| Best CPU time to get the best result obtained on this benchmark | 71226.5 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7812 |
| Total number of constraints | 284 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 284 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 540 |
| Number of terms in the objective function | 7812 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 1450667950777 |
| Number of bits of the sum of numbers in the objective function | 41 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 1450667950777 |
| Number of bits of the biggest sum of numbers | 41 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3585.10/3596.06 o 29800372 3585.10/3596.06 o 14267719 3585.10/3596.06 o 14142791 3585.10/3596.06 o 14001479 3585.10/3596.06 o 13845831 3585.10/3596.06 o 13737287 3585.10/3596.06 o 13586759 3585.10/3596.06 o 13431111 3585.10/3596.06 o 13344071 3585.10/3596.06 o 13209927 3585.10/3596.06 o 13092167 3585.10/3596.06 o 12985671 3585.10/3596.06 o 12869959 3585.10/3596.06 o 12814848 3585.10/3596.06 o 12814842 3585.10/3596.06 o 12718586 3585.10/3596.06 o 12590586 3585.10/3596.06 o 12378624 3585.10/3596.06 o 12372044 3585.10/3596.06 o 12372026 3585.10/3596.06 o 12372022 3585.10/3596.06 o 12355638 3585.10/3596.06 o 12343860 3585.10/3596.06 o 12343858 3585.10/3596.06 o 12343856 3585.10/3596.06 o 12343854 3585.10/3596.06 o 12343852 3585.10/3596.06 o 12251692 3585.10/3596.06 o 12156460 3585.10/3596.06 o 12156459 3585.10/3596.06 o 12151534 3585.10/3596.06 o 12151526 3585.10/3596.06 o 12151516 3585.10/3596.06 o 12151502 3585.10/3596.06 o 12151499 3585.10/3596.06 o 12149963 3585.10/3596.06 o 12149195 3585.10/3596.06 o 12143051 3585.10/3596.06 o 12014027 3585.10/3596.06 o 12001220 3585.10/3596.06 o 12000964 3585.10/3596.06 o 12000836 3585.10/3596.06 o 11976266 3585.10/3596.06 o 11976260 3585.10/3596.06 o 11976252 3585.10/3596.06 o 11937322 3585.10/3596.06 o 11937306 3585.10/3596.06 o 11937294 3585.10/3596.06 o 11937284 3585.10/3596.06 o 11937280 3585.10/3596.06 o 11937278 3585.10/3596.06 o 11937274 3585.10/3596.06 o 11937273 3585.10/3596.06 o 11916811 3585.10/3596.06 o 11916807 3585.10/3596.06 o 11916783 3585.10/3596.06 o 11916780 3585.10/3596.06 o 11916760 3585.10/3596.06 o 11916752 3585.10/3596.06 o 11916736 3585.10/3596.06 o 11854272 3585.10/3596.06 o 11854224 3585.10/3596.06 o 11854220 3585.10/3596.06 o 11853452 3585.10/3596.06 o 11852684 3585.10/3596.06 o 11852682 3585.10/3596.06 o 11852681 3585.10/3596.06 o 11852679 3585.10/3596.06 o 11852672 3585.10/3596.06 o 11772086 3585.10/3596.06 o 11772085 3585.10/3596.06 o 11770037 3585.10/3596.06 o 11770033 3585.10/3596.06 o 11770025 3585.10/3596.06 o 11770021 3585.10/3596.06 o 11755428 3585.10/3596.06 o 11755424 3585.10/3596.06 o 11708811 3585.10/3596.06 o 11706992 3585.10/3596.06 o 11706985 3585.10/3596.06 o 11706981 3585.10/3596.06 o 11706975 3585.10/3596.06 o 11706463 3585.10/3596.06 o 11706462 3585.10/3596.06 o 11706461 3585.10/3596.06 o 11586449 3585.10/3596.06 o 11586401 3585.10/3596.06 o 11586377 3585.10/3596.06 o 11586374 3585.10/3596.06 o 11586366 3585.10/3596.06 o 11584574 3585.10/3596.06 o 11584318 3585.10/3596.06 o 11582782 3585.10/3596.06 o 11582776 3585.10/3596.06 o 11557937 3585.10/3596.06 o 11557935 3585.10/3596.06 o 11557927 3585.10/3596.06 o 11406375 3585.10/3596.06 o 11226151 3585.10/3596.06 o 11225591 3585.10/3596.06 o 11225587 3585.10/3596.06 o 11225555 3585.10/3596.06 o 11132387 3585.10/3596.06 o 11132383 3585.10/3596.06 o 11132375 3585.10/3596.06 o 11132373 3585.10/3596.06 o 11132372 3585.10/3596.06 o 11132368 3585.10/3596.06 o 11132314 3585.10/3596.06 o 11132186 3585.10/3596.06 o 11128090 3585.10/3596.06 o 11128002 3585.10/3596.06 o 11126978 3585.10/3596.06 o 11126962 3585.10/3596.06 o 11126955 3585.10/3596.06 o 11126951 3585.10/3596.06 o 11126949 3585.10/3596.06 o 11125925 3585.10/3596.06 o 11123877 3585.10/3596.06 o 11123867 3585.10/3596.06 o 11123861 3585.10/3596.06 o 10986117 3585.10/3596.06 o 10985541 3585.10/3596.06 o 10985253 3585.10/3596.06 o 10985181 3585.10/3596.06 o 10985145 3585.10/3596.06 o 10985127 3585.10/3596.06 o 10985126 3585.10/3596.06 o 10985115 3585.10/3596.06 o 10977839 3585.10/3596.06 o 10977679 3585.10/3596.06 o 10977648 3585.10/3596.06 o 10977647 3585.10/3596.06 o 10977615 3585.10/3596.06 o 10977583 3585.10/3596.06 o 10977578 3585.10/3596.06 o 10977570 3585.10/3596.06 o 10977526 3585.10/3596.06 o 10977522 3585.10/3596.06 o 10977479 3585.10/3596.06 o 10962375 3585.10/3596.06 o 10785223 3585.10/3596.06 o 10774983 3585.10/3596.06 o 10774956 3585.10/3596.06 o 10774952 3585.10/3596.06 o 10774947 3585.10/3596.06 o 10769827 3585.10/3596.06 o 10767267 3585.10/3596.06 o 10763171 3585.10/3596.06 o 10763139 3585.10/3596.06 o 10763127 3585.10/3596.06 o 10763119 3585.10/3596.06 o 10763111 3585.10/3596.06 o 10763109 3585.10/3596.06 o 10762853 3585.10/3596.06 o 10762725 3585.10/3596.06 o 10762721 3585.10/3596.06 o 10762718 3585.10/3596.06 o 10737623 3585.10/3596.06 o 10737619 3585.10/3596.06 o 10737615 3585.10/3596.06 o 10713686 3585.10/3596.06 o 10713670 3585.10/3596.06 o 10578502 3585.10/3596.06 o 10578501 3585.10/3596.06 o 10578500 3585.10/3596.06 o 10578499 3585.10/3596.06 o 10578497 3585.10/3596.06 o 10578431 3585.10/3596.06 o 10578429 3585.10/3596.06 o 10578424 3585.10/3596.06 o 10466808 3585.10/3596.06 o 10466806 3585.10/3596.06 o 10466791 3585.10/3596.06 o 10466471 3585.10/3596.06 o 10466466 3585.10/3596.06 o 10466306 3585.10/3596.06 o 10466298 3585.10/3596.06 o 10466294 3585.10/3596.06 o 10466262 3585.10/3596.06 o 10463165 3585.10/3596.06 o 10463161 3585.10/3596.06 o 10454969 3585.10/3596.06 o 10454967 3585.10/3596.06 o 10454939 3585.10/3596.06 o 10454923 3585.10/3596.06 o 10454918 3585.10/3596.06 o 10454662 3585.10/3596.06 o 10454534 3585.10/3596.06 o 10454533 3585.10/3596.06 o 10454525 3585.10/3596.06 o 10454523 3585.10/3596.06 o 10398989 3585.10/3596.06 o 10398981 3585.10/3596.06 o 10398977 3585.10/3596.06 o 10398961 3585.10/3596.06 o 10398449 3585.10/3596.06 o 10398441 3585.10/3596.06 o 10395377 3585.10/3596.06 o 10376945 3585.10/3596.06 o 10376944 3585.10/3596.06 o 10356464 3585.10/3596.06 o 10241776 3585.10/3596.06 o 10241760 3585.10/3596.06 o 10241752 3585.10/3596.06 o 10233560 3585.10/3596.06 o 10229464 3585.10/3596.06 o 10228696 3585.10/3596.06 o 10228568 3585.10/3596.06 o 10228440 3585.10/3596.06 o 10228432 3585.10/3596.06 o 10228422 3585.10/3596.06 o 10228417 3585.10/3596.06 o 10228359 3585.10/3596.06 o 10228357 3585.10/3596.06 o 10228355 3585.10/3596.06 o 10228354 3585.10/3596.06 o 10228352 3585.10/3596.06 o 10228351 3585.10/3596.06 o 10227522 3585.10/3596.06 o 10227519 3585.10/3596.06 o 10227513 3585.10/3596.06 o 10227505 3585.10/3596.06 o 10215217 3585.10/3596.06 o 10215215 3585.10/3596.06 o 10215214 3585.10/3596.06 o 10215213 3585.10/3596.06 o 10215212 3585.10/3596.06 o 10215208 3585.10/3596.06 o 10215164 3585.10/3596.06 o 10215152 3585.10/3596.06 o 10215142 3585.10/3596.06 o 10214950 3585.10/3596.06 o 10214937 3585.10/3596.06 o 10214929 3585.10/3596.06 o 10214928 3585.10/3596.06 o 10214926 3585.10/3596.06 o 10214921 3585.10/3596.06 o 10148873 3585.10/3596.06 o 10148869 3585.10/3596.06 o 10069717 3585.10/3596.06 o 10069687 3585.10/3596.06 o 10069683 3585.10/3596.06 o 10069681 3585.10/3596.06 o 10069675 3585.10/3596.06 o 10069669 3585.10/3596.06 o 10069665 3585.10/3596.06 o 10069649 3585.10/3596.06 o 10069643 3585.10/3596.06 o 10069595 3585.10/3596.06 o 10069515 3585.10/3596.06 o 10000925 3585.10/3596.06 o 10000924 3585.10/3596.06 o 10000908 3585.10/3596.06 o 10000900 3585.10/3596.06 o 10000896 3585.10/3596.06 o 10000895 3585.10/3596.06 o 10000894 3585.10/3596.06 o 9943418 3585.10/3596.06 o 9943414 3585.10/3596.06 o 9943402 3585.10/3596.06 o 9943399 3585.10/3596.06 o 9943391 3585.10/3596.06 o 9943371 3585.10/3596.06 o 9943369 3585.10/3596.06 o 9943367 3585.10/3596.06 o 9943366 3585.10/3596.06 o 9943364 3585.10/3596.06 o 9943362 3585.10/3596.06 o 9943360 3585.10/3596.06 o 9897085 3585.10/3596.06 o 9897081 3585.10/3596.06 o 9897069 3585.10/3596.06 o 9897067 3585.10/3596.06 o 9897064 3585.10/3596.06 o 9897058 3585.10/3596.06 o 9897056 3585.10/3596.06 o 9897030 3585.10/3596.06 o 9897028 3585.10/3596.06 o 9824324 3585.10/3596.06 o 9824306 3585.10/3596.06 o 9824270 3585.10/3596.06 o 9824264 3585.10/3596.06 o 9824252 3585.10/3596.06 o 9824124 3585.10/3596.06 o 9819712 3585.10/3596.06 o 9819704 3585.10/3596.06 o 9819686 3585.10/3596.06 o 9739814 3585.10/3596.06 o 9716280 3585.10/3596.06 o 9716262 3585.10/3596.06 o 9716260 3585.10/3596.06 o 9710116 3585.10/3596.06 o 9710110 3585.10/3596.06 o 9710091 3585.10/3596.06 o 9710079 3585.10/3596.06 o 9696371 3585.10/3596.06 o 9696329 3585.10/3596.06 o 9696273 3585.10/3596.06 o 9696272 3585.10/3596.06 o 9696258 3585.10/3596.06 o 9693186 3585.10/3596.06 o 9693180 3585.10/3596.06 o 9693176 3585.10/3596.06 o 9693172 3585.10/3596.06 o 9693168 3585.10/3596.06 o 9693165 3585.10/3596.06 o 9693158 3585.10/3596.06 o 9693140 3585.10/3596.06 o 9693137 3585.10/3596.06 o 9693081 3585.10/3596.06 o 9693053 3585.10/3596.06 o 9693046 3585.10/3596.06 o 9693039 3585.10/3596.06 o 9692815 3585.10/3596.06 o 9692814 3585.10/3596.06 o 9692807 3585.10/3596.06 o 9692583 3585.10/3596.06 o 9658821 3585.10/3596.06 o 9658815 3585.10/3596.06 o 9657919 3585.10/3596.06 o 9568831 3585.10/3596.06 o 9568825 3585.10/3596.06 o 9568823 3585.10/3596.06 o 9568803 3585.10/3596.06 o 9567907 3585.10/3596.06 o 9402019 3585.10/3596.06 o 9402018 3585.10/3596.06 o 9402017 3585.10/3596.06 o 9402016 3585.10/3596.06 o 9402011 3585.10/3596.06 o 9401995 3585.10/3596.06 o 9401994 3585.10/3596.06 o 9401962 3585.10/3596.06 o 9401930 3585.10/3596.06 o 9401898 3585.10/3596.06 o 9397290 3585.10/3596.06 o 9397283 3585.10/3596.06 o 9397282 3585.10/3596.06 o 9396772 3585.10/3596.06 o 9395748 3585.10/3596.06 o 9395236 3585.10/3596.06 o 9344534 3585.10/3596.06 o 9344530 3585.10/3596.06 o 9268700 3585.10/3596.06 o 9268664 3585.10/3596.06 o 9268655 3585.10/3596.06 o 9268653 3585.10/3596.06 o 9268651 3585.10/3596.06 o 9268645 3585.10/3596.06 o 9268641 3585.10/3596.06 o 9268640 3585.10/3596.06 o 9268637 3585.10/3596.06 o 9268636 3585.10/3596.06 o 9268633 3585.10/3596.06 o 9268624 3585.10/3596.06 o 9268619 3585.10/3596.06 o 9246785 3585.10/3596.06 o 9246782 3585.10/3596.06 o 9246767 3585.10/3596.06 o 9246755 3585.10/3596.06 o 9246749 3585.10/3596.06 o 9246744 3585.10/3596.06 o 9246735 3585.10/3596.06 o 9246543 3585.10/3596.06 o 9246447 3585.10/3596.06 o 9246399 3585.10/3596.06 o 9246387 3585.10/3596.06 o 9246384 3585.10/3596.06 o 9222874 3585.10/3596.06 o 9222844 3585.10/3596.06 o 9222784 3585.10/3596.06 o 9222752 3585.10/3596.06 o 9222720 3585.10/3596.06 o 9222718 3585.10/3596.06 o 9222712 3585.10/3596.06 o 9222709 3585.10/3596.06 o 9222708 3585.10/3596.06 o 9222706 3585.10/3596.06 o 9222696 3585.10/3596.06 o 9128412 3585.10/3596.06 o 9128408 3585.10/3596.06 o 9128344 3585.10/3596.06 o 9128224 3585.10/3596.06 o 9128152 3585.10/3596.06 o 9128080 3585.10/3596.06 o 9127568 3585.10/3596.06 o 9127564 3585.10/3596.06 o 9125644 3585.10/3596.06 o 9124684 3585.10/3596.06 o 9124644 3585.10/3596.06 o 9124616 3585.10/3596.06 o 9124598 3585.10/3596.06 o 9117430 3585.10/3596.06 o 9116406 3585.10/3596.06 o 9114358 3585.10/3596.06 o 9114350 3585.10/3596.06 o 9114346 3585.10/3596.06 o 9114316 3585.10/3596.06 o 9114300 3585.10/3596.06 o 9114290 3585.10/3596.06 o 9114276 3585.10/3596.06 o 9114240 3585.10/3596.06 o 9114231 3585.10/3596.06 o 9114227 3585.10/3596.06 o 9114226 3585.10/3596.06 o 9114218 3585.10/3596.06 o 9113706 3585.10/3596.06 o 9113450 3585.10/3596.06 o 9113440 3585.10/3596.06 o 9113428 3585.10/3596.06 o 9113364 3585.10/3596.06 o 9113356 3585.10/3596.06 o 8998064 3585.10/3596.06 o 8989872 3585.10/3596.06 o 8989868 3585.10/3596.06 o 8989644 3585.10/3596.06 o 8989642 3585.10/3596.06 o 8989632 3585.10/3596.06 o 8989628 3585.10/3596.06 o 8989623 3585.10/3596.06 o 8989613 3585.10/3596.06 o 8989533 3585.10/3596.06 o 8969999 3585.10/3596.06 o 8969967 3585.10/3596.06 o 8969951 3585.10/3596.06 o 8969935 3585.10/3596.06 o 8969731 3585.10/3596.06 o 8969170 3585.10/3596.06 o 8969167 3585.10/3596.06 o 8969161 3585.10/3596.06 o 8969041 3585.10/3596.06 o 8969040 3585.10/3596.06 o 8896644 3585.10/3596.06 o 8896643 3585.10/3596.06 o 8896642 3585.10/3596.06 o 8896635 3585.10/3596.06 o 8896633 3585.10/3596.06 o 8879246 3585.10/3596.06 o 8879237 3585.10/3596.06 o 8879232 3585.10/3596.06 o 8879231 3585.10/3596.06 o 8879226 3585.10/3596.06 o 8879223 3585.10/3596.06 o 8879222 3585.10/3596.06 o 8879220 3585.10/3596.06 o 8879216 3585.10/3596.06 o 8879213 3585.10/3596.06 o 8879212 3585.10/3596.06 o 8879211 3585.10/3596.06 o 8879210 3585.10/3596.06 o 8879209 3585.10/3596.06 o 8879208 3585.10/3596.06 o 8879201 3585.10/3596.06 o 8879145 3585.10/3596.06 o 8879138 3585.10/3596.06 o 8879131 3585.10/3596.06 o 8878107 3585.10/3596.06 o 8878106 3585.10/3596.06 o 8878088 3585.10/3596.06 o 8878085 3585.10/3596.06 o 8737797 3585.10/3596.06 o 8737779 3585.10/3596.06 o 8737759 3585.10/3596.06 o 8737750 3585.10/3596.06 o 8737740 3585.10/3596.06 o 8737738 3585.10/3596.06 o 8737737 3585.10/3596.06 o 8737736 3585.10/3596.06 o 8737734 3585.10/3596.06 o 8737724 3585.10/3596.06 o 8737723 3585.10/3596.06 o 8707528 3585.10/3596.06 o 8707524 3585.10/3596.06 o 8707522 3585.10/3596.06 o 8707518 3585.10/3596.06 o 8559038 3585.10/3596.06 o 8559037 3585.10/3596.06 o 8559029 3585.10/3596.06 o 8559017 3585.10/3596.06 o 8558729 3585.10/3596.06 o 8558681 3585.10/3596.06 o 8558657 3585.10/3596.06 o 8500331 3585.10/3596.06 o 8500330 3585.10/3596.06 o 8500320 3585.10/3596.06 o 8499808 3585.10/3596.06 o 8499799 3585.10/3596.06 o 8499794 3585.10/3596.06 o 8494674 3585.10/3596.06 o 8494670 3585.10/3596.06 o 8494616 3585.10/3596.06 o 8494606 3585.10/3596.06 o 8494602 3585.10/3596.06 o 8494570 3585.10/3596.06 o 8493818 3585.10/3596.06 o 8493808 3585.10/3596.06 o 8428232 3585.10/3596.06 o 8428220 3585.10/3596.06 o 8428219 3585.10/3596.06 o 8428213 3585.10/3596.06 o 8428189 3585.10/3596.06 o 8428183 3585.10/3596.06 o 8428182 3585.10/3596.06 o 8428178 3585.10/3596.06 o 8327136 3585.10/3596.06 o 8327128 3585.10/3596.06 o 8327124 3585.10/3596.06 o 8327116 3585.10/3596.06 o 8327112 3585.10/3596.06 o 8327090 3585.10/3596.06 o 8327086 3585.10/3596.06 o 8327085 3585.10/3596.06 o 8327084 3585.10/3596.06 o 8327080 3585.10/3596.06 o 8327078 3585.10/3596.06 o 8327075 3585.10/3596.06 o 8327051 3585.10/3596.06 o 8327035 3585.10/3596.06 o 8327024 3585.10/3596.06 o 8327023 3585.10/3596.06 o 8327022 3585.10/3596.06 o 8327008 3585.10/3596.06 o 8326972 3585.10/3596.06 o 8326971 3585.10/3596.06 o 8326953 3585.10/3596.06 o 8326947 3585.10/3596.06 o 8326943 3585.10/3596.06 o 8325407 3585.10/3596.06 o 8325404 3585.10/3596.06 o 8325403 3585.10/3596.06 o 8325395 3585.10/3596.06 o 8325379 3585.10/3596.06 o 8325378 3585.10/3596.06 o 8325374 3585.10/3596.06 o 8325370 3585.10/3596.06 o 8325369 3585.10/3596.06 o 8325321 3585.10/3596.06 o 8269197 3585.10/3596.06 o 8269189 3585.10/3596.06 o 8269178 3585.10/3596.06 o 8269166 3585.10/3596.06 o 8266118 3585.10/3596.06 o 8266106 3585.10/3596.06 o 8262232 3585.10/3596.06 o 8260666 3585.10/3596.06 o 8260662 3585.10/3596.06 o 8256566 3585.10/3596.06 o 8256564 3585.10/3596.06 o 8256560 3585.10/3596.06 o 8256552 3585.10/3596.06 o 8256424 3585.10/3596.06 o 8236374 3585.10/3596.06 o 8236371 3585.10/3596.06 o 8217828 3585.10/3596.06 o 8217824 3585.10/3596.06 o 8217822 3585.10/3596.06 o 8217742 3585.10/3596.06 o 8217731 3585.10/3596.06 o 8217715 3585.10/3596.06 o 8217699 3585.10/3596.06 o 8217507 3585.10/3596.06 o 8217411 3585.10/3596.06 o 8208827 3585.10/3596.06 o 8208803 3585.10/3596.06 o 8208790 3585.10/3596.06 o 8208783 3585.10/3596.06 o 8208739 3585.10/3596.06 o 8208730 3585.10/3596.06 o 8204474 3585.10/3596.06 o 8204467 3585.10/3596.06 o 8204462 3585.10/3596.06 o 8204459 3585.10/3596.06 o 8204435 3585.10/3596.06 o 8204430 3585.10/3596.06 o 8204350 3585.10/3596.06 o 8204349 3585.10/3596.06 o 8204338 3585.10/3596.06 o 8204330 3585.10/3596.06 o 8203570 3585.10/3596.06 o 8203562 3585.10/3596.06 o 8203394 3585.10/3596.06 o 8203314 3585.10/3596.06 o 8203306 3585.10/3596.06 o 8203304 3585.10/3596.06 o 8203272 3585.10/3596.06 o 8203144 3585.10/3596.06 o 8203142 3585.10/3596.06 o 8203138 3585.10/3596.06 o 8203136 3585.10/3596.06 o 8203134 3585.10/3596.06 o 8203130 3585.10/3596.06 o 8168840 3585.10/3596.06 o 8168835 3585.10/3596.06 o 8168784 3585.10/3596.06 o 8168780 3585.10/3596.06 o 8168771 3585.10/3596.06 o 8168763 3585.10/3596.06 o 8168759 3585.10/3596.06 o 8157239 3585.10/3596.06 o 8156599 3585.10/3596.06 o 8156590 3585.10/3596.06 o 8156583 3585.10/3596.06 o 8156578 3585.10/3596.06 o 8156546 3585.10/3596.06 o 8156541 3585.10/3596.06 o 8156540 3585.10/3596.06 o 8156531 3585.10/3596.06 o 8156527 3585.10/3596.06 o 8156516 3585.10/3596.06 o 8156492 3585.10/3596.06 o 8156484 3585.10/3596.06 o 8156475 3585.10/3596.06 o 8156465 3585.10/3596.06 o 8156433 3585.10/3596.06 o 8156429 3585.10/3596.06 o 8121741 3585.10/3596.06 o 8121725 3585.10/3596.06 o 8121697 3585.10/3596.06 o 8121691 3585.10/3596.06 o 8121665 3585.10/3596.06 o 8056609 3585.10/3596.06 o 8056595 3585.10/3596.06 o 8056593 3585.10/3596.06 o 8056590 3585.10/3596.06 o 8056582 3585.10/3596.06 o 8056573 3585.10/3596.06 o 7967242 3585.10/3596.06 o 7967239 3585.10/3596.06 o 7967238 3585.10/3596.06 o 7967218 3585.10/3596.06 o 7967210 3585.10/3596.06 o 7956970 3585.10/3596.06 o 7956958 3585.10/3596.06 o 7956934 3585.10/3596.06 o 7956894 3585.10/3596.06 o 7956846 3585.10/3596.06 o 7956822 3585.10/3596.06 o 7956818 3585.10/3596.06 o 7956786 3585.10/3596.06 o 7956778 3585.10/3596.06 o 7956775 3585.10/3596.06 o 7956767 3585.10/3596.06 o 7956761 3585.10/3596.06 o 7956757 3585.10/3596.06 o 7956755 3585.10/3596.06 o 7956748 3585.10/3596.06 o 7956724 3585.10/3596.06 o 7956712 3585.10/3596.06 o 7956706 3585.10/3596.06 o 7956703 3585.10/3596.06 o 7956699 3585.10/3596.06 o 7956691 3585.10/3596.06 o 7956687 3585.10/3596.06 o 7956659 3585.10/3596.06 o 7956656 3585.10/3596.06 o 7956651 3585.10/3596.06 o 7956642 3585.10/3596.06 o 7956290 3585.10/3596.06 o 7956287 3585.10/3596.06 o 7956278 3585.10/3596.06 o 7939894 3585.10/3596.06 o 7939890 3585.10/3596.06 o 7939881 3585.10/3596.06 o 7939872 3585.10/3596.06 o 7939844 3585.10/3596.06 o 7939842 3585.10/3596.06 o 7939833 3585.10/3596.06 o 7939831 3585.10/3596.06 o 7939479 3585.10/3596.06 o 7939478 3585.10/3596.06 o 7939158 3585.10/3596.06 o 7939150 3585.10/3596.06 o 7939144 3585.10/3596.06 o 7939142 3585.10/3596.06 o 7939141 3585.10/3596.06 o 7939140 3585.10/3596.06 o 7939132 3585.10/3596.06 o 7889867 3585.10/3596.06 o 7889864 3585.10/3596.06 o 7889863 3585.10/3596.06 o 7889861 3585.10/3596.06 o 7889855 3585.10/3596.06 o 7885375 3585.10/3596.06 o 7885367 3585.10/3596.06 o 7885311 3585.10/3596.06 o 7885305 3585.10/3596.06 o 7885145 3585.10/3596.06 o 7841228 3585.10/3596.06 o 7819718 3585.10/3596.06 o 7819708 3585.10/3596.06 o 7819706 3585.10/3596.06 o 7819695 3585.10/3596.06 o 7819691 3585.10/3596.06 o 7818670 3585.10/3596.06 o 7816110 3585.10/3596.06 o 7816105 3585.10/3596.06 o 7815465 3585.10/3596.06 o 7815145 3585.10/3596.06 o 7814985 3585.10/3596.06 o 7814905 3585.10/3596.06 o 7814865 3585.10/3596.06 o 7814859 3585.10/3596.06 o 7814839 3585.10/3596.06 o 7814807 3585.10/3596.06 o 7798103 3585.10/3596.06 o 7797991 3585.10/3596.06 o 7797959 3585.10/3596.06 o 7797831 3585.10/3596.06 o 7797319 3585.10/3596.06 o 7795911 3585.10/3596.06 o 7794119 3585.10/3596.06 o 7794023 3585.10/3596.06 o 7773106 3585.10/3596.06 o 7773097 3585.10/3596.06 o 7773075 3585.10/3596.06 o 7773011 3585.10/3596.06 o 7772987 3585.10/3596.06 o 7772982 3585.10/3596.06 o 7772981 3585.10/3596.06 o 7772979 3585.10/3596.06 o 7740205 3585.10/3596.06 o 7672661 3585.10/3596.06 o 7672649 3585.10/3596.06 o 7672641 3585.10/3596.06 o 7672638 3585.10/3596.06 o 7672630 3585.10/3596.06 o 7672629 3585.10/3596.06 o 7672621 3585.10/3596.06 o 7672533 3585.10/3596.06 o 7656149 3585.10/3596.06 o 7656146 3585.10/3596.06 o 7656144 3585.10/3596.06 o 7656142 3585.10/3596.06 o 7656110 3585.10/3596.06 o 7648778 3585.10/3596.06 o 7648770 3585.10/3596.06 o 7648727 3585.10/3596.06 o 7648722 3585.10/3596.06 o 7648715 3585.10/3596.06 o 7648707 3585.10/3596.06 o 7648691 3585.10/3596.06 o 7648679 3585.10/3596.06 o 7648671 3585.10/3596.06 o 7648659 3585.10/3596.06 o 7648657 3585.10/3596.06 o 7648625 3585.10/3596.06 o 7648621 3585.10/3596.06 o 7646573 3585.10/3596.06 o 7646445 3585.10/3596.06 o 7646421 3585.10/3596.06 o 7646417 3585.10/3596.06 o 7646415 3585.10/3596.06 o 7646403 3585.10/3596.06 o 7646389 3585.10/3596.06 o 7646377 3585.10/3596.06 o 7646117 3585.10/3596.06 o 7646101 3585.10/3596.06 o 7645589 3585.10/3596.06 o 7645581 3585.10/3596.06 o 7645557 3585.10/3596.06 o 7542133 3585.10/3596.06 o 7542101 3585.10/3596.06 o 7542092 3585.10/3596.06 o 7542085 3585.10/3596.06 o 7542084 3585.10/3596.06 o 7542082 3585.10/3596.06 o 7542052 3585.10/3596.06 o 7542004 3585.10/3596.06 o 7542003 3585.10/3596.06 o 7542002 3585.10/3596.06 o 7541995 3585.10/3596.06 o 7541992 3585.10/3596.06 o 7541986 3585.10/3596.06 o 7541983 3585.10/3596.06 o 7531743 3585.10/3596.06 o 7531739 3585.10/3596.06 o 7531737 3585.10/3596.06 o 7505708 3585.10/3596.06 o 7505686 3585.10/3596.06 o 7505682 3585.10/3596.06 o 7505674 3585.10/3596.06 o 7505663 3585.10/3596.06 o 7505662 3585.10/3596.06 o 7505660 3585.10/3596.06 o 7505658 3585.10/3596.06 o 7505656 3585.10/3596.06 o 7505654 3585.10/3596.06 o 7505652 3585.10/3596.06 o 7505650 3585.10/3596.06 o 7505646 3585.10/3596.06 o 7505644 3585.10/3596.06 o 7505636 3585.10/3596.06 o 7505572 3585.10/3596.06 o 7497380 3585.10/3596.06 o 7497372 3585.10/3596.06 o 7497352 3585.10/3596.06 o 7497288 3585.10/3596.06 o 7497284 3585.10/3596.06 o 7408284 3585.10/3596.06 o 7408279 3585.10/3596.06 o 7408274 3585.10/3596.06 o 7408264 3585.10/3596.06 o 7408262 3585.10/3596.06 o 7408242 3585.10/3596.06 o 7408230 3585.10/3596.06 o 7408221 3585.10/3596.06 o 7391601 3585.10/3596.06 o 7391597 3585.10/3596.06 o 7391117 3585.10/3596.06 o 7391107 3585.10/3596.06 o 7391047 3585.10/3596.06 o 7390971 3585.10/3596.06 o 7390966 3585.10/3596.06 o 7390961 3585.10/3596.07 o 7390960 3585.10/3596.07 o 7390958 3585.10/3596.07 o 7390942 3585.10/3596.07 o 7390430 3585.10/3596.07 o 7390398 3585.10/3596.07 o 7389502 3585.10/3596.07 o 7389497 3585.10/3596.07 o 7389483 3585.10/3596.07 o 7389476 3585.10/3596.07 o 7389464 3585.10/3596.07 o 7389016 3585.10/3596.07 o 7388984 3585.10/3596.07 o 7388964 3585.10/3596.07 o 7388957 3585.10/3596.07 o 7381789 3585.10/3596.07 o 7381778 3585.10/3596.07 o 7381748 3585.10/3596.07 o 7381732 3585.10/3596.07 o 7381722 3585.10/3596.07 o 7353050 3585.10/3596.07 o 7353046 3585.10/3596.07 o 7353044 3585.10/3596.07 o 7352084 3585.10/3596.07 o 7351812 3585.10/3596.07 o 7351800 3585.10/3596.07 o 7351776 3585.10/3596.07 o 7351764 3585.10/3596.07 o 7350740 3585.10/3596.07 o 7350736 3585.10/3596.07 o 7350730 3585.10/3596.07 o 7350710 3585.10/3596.07 o 7350705 3585.10/3596.07 o 7350673 3585.10/3596.07 o 7350665 3585.10/3596.07 o 7350655 3585.10/3596.07 o 7350645 3585.10/3596.07 o 7350633 3585.10/3596.07 o 7350585 3585.10/3596.07 o 7350561 3585.10/3596.07 o 7350513 3585.10/3596.07 o 7350505 3585.10/3596.07 o 7350457 3585.10/3596.07 o 7350409 3585.10/3596.07 o 7346053 3585.10/3596.07 o 7346051 3585.10/3596.07 o 7346046 3585.10/3596.07 c Program interrupted by user. 3585.10/3596.07 s SATISFIABLE 3585.10/3596.07 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 x215 -x216 -x217 -x218 x219 -x220 x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 x274 -x275 x276 x277 x278 -x279 x280 x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 x398 x399 x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 x516 x517 x518 x519 x520 x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 x873 -x874 x875 -x876 x877 -x878 x879 x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 x907 x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 x967 x968 x969 x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 x1563 -x1564 -x1565 x1566 x1567 x1568 x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 x1720 x1721 x1722 x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 x1746 -x1747 -x1748 -x1749 x1750 x1751 x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 x1805 x1806 x1807 x1808 x1809 x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 x2163 -x2164 x2165 x2166 -x2167 -x2168 -x2169 -x2170 x2171 x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 x2529 -x2530 -x2531 -x2532 x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 x2735 -x2736 -x2737 x2738 x2739 x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 x2825 x2826 x2827 -x2828 -x2829 x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 x3153 -x3154 x3155 x3156 x3157 x3158 x3159 -x3160 x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 x3424 x3425 x3426 -x3427 x3428 x3429 x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 x3453 x3454 -x3455 -x3456 x3457 x3458 x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 -x3482 -x3483 x3484 x3485 x3486 x3487 x3488 -x3489 x3490 x3491 -x3492 -x3493 x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 x3577 x3578 x3579 x3580 x3581 x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 x3662 x3663 -x3664 -x3665 x3666 -x3667 x3668 -x3669 -x3670 -x3671 -x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 x3901 -x3902 -x3903 x3904 x3905 -x3906 -x3907 -x3908 x3909 x3910 -x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 x4003 x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 -x4028 x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 x4261 -x4262 -x4263 x4264 x4265 -x4266 x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4411 x4412 x4413 x4414 x4415 x4416 x4417 x4418 x4419 -x4420 x4421 x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 x4804 x4805 -x4806 x4807 -x4808 x4809 x4810 x4811 x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 x5101 -x5102 x5103 -x5104 -x5105 x5106 -x5107 -x5108 -x5109 -x5110 -x5111 x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 x5381 x5382 -x5383 -x5384 x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 x5522 x5523 -x5524 -x5525 -x5526 x5527 -x5528 -x5529 -x5530 -x5531 x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 x5733 -x5734 x5735 x5736 -x5737 x5738 -x5739 -x5740 x5741 x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5979 -x5980 -x5981 x5982 -x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 x6214 x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 x6514 -x6515 x6516 x6517 x6518 x6519 x6520 x6521 -x6522 -x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 x6752 x6753 x6754 x6755 x6756 x6757 -x6758 -x6759 x6760 x6761 x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 x6842 x6843 -x6844 -x6845 -x6846 x6847 x6848 x6849 x6850 -x6851 x6852 x6853 -x6854 x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 x7173 x7174 x7175 x7176 -x7177 x7178 x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 x7563 -x7564 -x7565 -x7566 -x7567 x7568 -x7569 x7570 -x7571 -x7572 -x7573 x7574 -x7575 -x7576 -x7577 x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 x7585 -x7586 -x7587 -x7588 -x7589 x7590 x7591 -x7592 x7593 -x7594 -x7595 -x7596 x7597 -x7598 x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 x7608 -x7609 -x7610 -x7611 -x7612 x7613 -x7614 -x7615 -x7616 -x7617 x7618 x7619 -x7620 x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 x7633 -x7634 -x7635 -x7636 -x7637 -x7638 x7639 -x7640 -x7641 x7642 -x7643 -x7644 x7645 x7646 -x7647 -x7648 -x7649 -x7650 -x7651 x7652 -x7653 -x7654 x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 x7675 x7676 x7677 -x7678 -x7679 x7680 -x7681 -x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 x7691 x7692 -x7693 x7694 x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 x7703 -x7704 -x7705 -x7706 -x7707 x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 x7715 -x7716 -x7717 -x7718 -x7719 -x7720 x7721 -x7722 -x7723 x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 x7740 -x7741 -x7742 -x7743 x7744 x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 x7786 -x7787 -x7788 x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812
OK 7346046
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (55288 MiB free)
memory of node 1: 64473 MiB (61304 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438209-1722959055/watcher-4438209-1722959055 -o /tmp/evaluation-result-4438209-1722959055/solver-4438209-1722959055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722959055-337211 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438209-1722959055.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=337268, runsolver pid=337255
[startup+0.100487 s]*
/proc/loadavg: 2.09 3.59 3.97 8/256 337286
/proc/meminfo: memFree=119364052/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=26816 memory=8012 CPUtime=0.09 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 1333 0 0 0 9 0 0 0 20 0 1 0 62503169 27459584 2003 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 6704 2003 750 2417 0 3806 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45408 KiB
Current children cumulated memory: 11768 KiB
[startup+0.216697 s]*
/proc/loadavg: 2.09 3.59 3.97 7/256 337286
/proc/meminfo: memFree=119347072/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=29968 memory=10872 CPUtime=0.2 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 2095 0 0 0 20 0 0 0 20 0 1 0 62503169 30687232 2718 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 7492 2718 750 2417 0 4594 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48560 KiB
Current children cumulated memory: 14628 KiB
[startup+0.315339 s]*
/proc/loadavg: 2.09 3.59 3.97 8/256 337286
/proc/meminfo: memFree=119337628/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=29968 memory=10872 CPUtime=0.3 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 2097 0 0 0 30 0 0 0 20 0 1 0 62503169 30687232 2718 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 7492 2718 750 2417 0 4594 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48560 KiB
Current children cumulated memory: 14628 KiB
[startup+0.700456 s]
/proc/loadavg: 2.09 3.59 3.97 8/256 337286
/proc/meminfo: memFree=119317904/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=40980 memory=20580 CPUtime=0.67 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 5047 0 0 0 66 1 0 0 20 0 1 0 62503169 41963520 5145 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 10245 5145 782 2417 0 7347 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 59572 KiB
Current children cumulated memory: 24336 KiB
[startup+1.50056 s]
/proc/loadavg: 2.09 3.59 3.97 8/256 337286
/proc/meminfo: memFree=119163692/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=95356 memory=69948 CPUtime=1.46 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 17794 0 0 0 140 6 0 0 20 0 1 0 62503169 97644544 17487 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 23839 17487 782 2417 0 20941 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 113948 KiB
Current children cumulated memory: 73704 KiB
[startup+3.11531 s]
/proc/loadavg: 2.09 3.59 3.97 8/256 337288
/proc/meminfo: memFree=117749348/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=624132 memory=598424 CPUtime=3.08 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 146172 0 0 0 278 30 0 0 20 0 1 0 62503169 639111168 149606 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 156033 149606 2350 2417 0 153135 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 642724 KiB
Current children cumulated memory: 602180 KiB
[startup+6.30046 s]
/proc/loadavg: 2.24 3.60 3.97 8/256 337288
/proc/meminfo: memFree=116561220/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=730588 memory=706992 CPUtime=6.25 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 173494 0 0 0 591 34 0 0 20 0 1 0 62503169 748122112 176748 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 182647 176748 2382 2417 0 179749 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 749180 KiB
Current children cumulated memory: 710748 KiB
[startup+12.7005 s]
/proc/loadavg: 2.38 3.60 3.97 8/256 337289
/proc/meminfo: memFree=116397372/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=730588 memory=707300 CPUtime=12.63 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 173498 0 0 0 1228 35 0 0 20 0 1 0 62503169 748122112 176825 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 182647 176825 2414 2417 0 179749 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 749180 KiB
Current children cumulated memory: 711056 KiB
[startup+25.5005 s]
/proc/loadavg: 2.74 3.62 3.97 8/256 337291
/proc/meminfo: memFree=115976296/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=1248864 memory=1164852 CPUtime=25.39 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 181347 0 0 0 2493 46 0 0 20 0 1 0 62503169 1278836736 291213 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 312216 291213 2414 2417 0 309318 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1267456 KiB
Current children cumulated memory: 1168608 KiB
[startup+51.115 s]
/proc/loadavg: 3.24 3.67 3.98 7/256 337294
/proc/meminfo: memFree=114754076/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 683 604 264 0 134 0
[pid=337279] ppid=337268 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/337279/stat : 337279 (timeout) S 337268 337279 337199 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62503169 8867840 256 134679101440 94318607044608 94318607079624 140732487166048 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318609177040 94318609179172 94318636916736 140732487169036 140732487169181 140732487169181 140732487176167 0
/proc/337279/statm: 2165 256 232 9 0 87 0
[pid=337286] ppid=337279 vsize=1607148 memory=1517784 CPUtime=50.91 cores=1,3
/proc/337286/stat : 337286 (CASHWMaxSAT-Dis) R 337279 337279 337199 0 -1 4194304 253861 0 0 0 5031 60 0 0 20 0 1 0 62503169 1645719552 379446 134679101440 4194304 14093885 140726179318816 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 53805056 140726179324946 140726179325078 140726179325078 140726179332064 0
/proc/337286/statm: 401787 379446 2526 2417 0 398889 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1625740 KiB
Current children cumulated memory: 1521540 KiB
[startup+102.301 s]
/proc/loadavg: 3.73 3.74 3.99 8/253 337304
/proc/meminfo: memFree=114579816/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 239 102 0 0 0 0 0 0 20 0 1 0 62503168 10170368 683 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
################
# More data... #
################
/proc/338189/statm: 74022 63427 764 737 0 73110 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 257416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 8/251 339110
/proc/meminfo: memFree=117719304/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296088 memory=253968 CPUtime=1660.15 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32722 0 0 0 166000 15 0 0 20 0 1 0 62682972 303194112 63492 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74022 63492 764 737 0 73110 0
Current children cumulated CPU time: 3451.7 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 257676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 8/251 339122
/proc/meminfo: memFree=117701244/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296088 memory=253968 CPUtime=1720.01 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32724 0 0 0 171986 15 0 0 20 0 1 0 62682972 303194112 63492 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74022 63492 764 737 0 73110 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 257676 KiB
[startup+3582.3 s]
/proc/loadavg: 6.31 4.68 4.29 8/251 339133
/proc/meminfo: memFree=117699116/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296312 memory=253968 CPUtime=1779.87 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32894 0 0 0 177972 15 0 0 20 0 1 0 62682972 303423488 63492 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74078 63492 764 737 0 73166 0
Current children cumulated CPU time: 3571.42 s
Current children cumulated vsize: 314904 KiB
Current children cumulated memory: 257676 KiB
[startup+3596.07 s]
# the end of solver process 337268 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.82 s, system=1.36722 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 6.31 4.68 4.29 8/251 339133
/proc/meminfo: memFree=117699100/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296472 memory=254200 CPUtime=1781.58 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32934 0 0 0 178143 15 0 0 20 0 1 0 62682972 303587328 63550 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74118 63550 764 737 0 73206 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 315064 KiB
Current children cumulated memory: 257908 KiB
[startup+3590.4 s]
/proc/loadavg: 6.65 4.80 4.33 8/251 339133
/proc/meminfo: memFree=117698908/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296472 memory=254200 CPUtime=1787.95 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32934 0 0 0 178780 15 0 0 20 0 1 0 62682972 303587328 63550 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74118 63550 764 737 0 73206 0
Current children cumulated CPU time: 3579.5 s
Current children cumulated vsize: 315064 KiB
Current children cumulated memory: 257908 KiB
[startup+3593.6 s]
/proc/loadavg: 6.65 4.80 4.33 8/251 339134
/proc/meminfo: memFree=117698952/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296472 memory=254200 CPUtime=1791.14 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32934 0 0 0 179099 15 0 0 20 0 1 0 62682972 303587328 63550 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74118 63550 764 737 0 73206 0
Current children cumulated CPU time: 3582.69 s
Current children cumulated vsize: 315064 KiB
Current children cumulated memory: 257908 KiB
[startup+3595.2 s]
/proc/loadavg: 6.91 4.89 4.36 8/251 339134
/proc/meminfo: memFree=117699000/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296472 memory=254200 CPUtime=1792.74 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32934 0 0 0 179259 15 0 0 20 0 1 0 62682972 303587328 63550 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74118 63550 764 737 0 73206 0
Current children cumulated CPU time: 3584.29 s
Current children cumulated vsize: 315064 KiB
Current children cumulated memory: 257908 KiB
[startup+3595.6 s]
/proc/loadavg: 6.91 4.89 4.36 8/251 339134
/proc/meminfo: memFree=117699000/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296472 memory=254200 CPUtime=1793.14 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32934 0 0 0 179299 15 0 0 20 0 1 0 62682972 303587328 63550 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74118 63550 764 737 0 73206 0
Current children cumulated CPU time: 3584.69 s
Current children cumulated vsize: 315064 KiB
Current children cumulated memory: 257908 KiB
[startup+3596 s]*
/proc/loadavg: 6.91 4.89 4.36 9/251 339134
/proc/meminfo: memFree=117698712/131655788 swapFree=131071996/131071996
[pid=337268] ppid=337255 vsize=9932 memory=2788 CPUtime=1791.55 cores=1,3
/proc/337268/stat : 337268 (Hybrid-CASHWMax) S 337255 337268 337199 0 -1 4194304 271 260417 0 0 0 0 179037 118 20 0 1 0 62503168 10170368 697 134679101440 94045982330880 94045983410200 140728878927120 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94045985508656 94045985555844 94046008860672 140728878928848 140728878929006 140728878929006 140728878936021 0
/proc/337268/statm: 2483 697 604 264 0 134 0
[pid=338188] ppid=337268 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/338188/stat : 338188 (timeout) S 337268 338188 337199 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62682972 8867840 230 134679101440 94184408346624 94184408381640 140736210173408 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94184410479056 94184410481188 94184436162560 140736210179060 140736210179229 140736210179229 140736210186215 0
/proc/338188/statm: 2165 230 205 9 0 87 0
[pid=338189] ppid=338188 vsize=296472 memory=254200 CPUtime=1793.55 cores=1,3
/proc/338189/stat : 338189 (Exact) R 338188 338188 337199 0 -1 4194304 32934 0 0 0 179340 15 0 0 20 0 1 0 62682972 303587328 63550 134679101440 4194304 7210733 140720353906528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2 0 0 7850304 7914896 16293888 140720353911824 140720353911974 140720353911974 140720353918960 0
/proc/338189/statm: 74118 63550 764 737 0 73206 0
Current children cumulated CPU time: 3585.1 s
Current children cumulated vsize: 315064 KiB
Current children cumulated memory: 257908 KiB
Child status: 0
Real time (s): 3596.07
CPU time (s): 3585.19
CPU user time (s): 3583.82
CPU system time (s): 1.36722
CPU usage (%): 99.6972
Max. virtual memory (cumulated for all children) (KiB): 1640184
Max. memory (cumulated for all children) (KiB): 1538728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.82
system time used= 1.36722
maximum resident set size= 1534972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165
involuntary context switches= 1981
# summary of solver processes directly reported to runsolver:
# pid: 337268
# total CPU time (s): 3585.19
# total CPU user time (s): 3583.82
# total CPU system time (s): 1.36722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.5398 second user time and 37.5056 second system time
The end
Begin job on nodeC009 at 2024-08-06 17:44:15 IDJOB=4438209 IDBENCH=146763 IDSOLVER=3073 FILE ID=nodeC009/4438209-1722959055 RUNJOBID= nodeC009-1722959055-337211 SLURM_JOB_ID= 8259030 Free space on /tmp= 723780 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438209-1722959055/watcher-4438209-1722959055 -o /tmp/evaluation-result-4438209-1722959055/solver-4438209-1722959055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722959055-337211 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438209-1722959055.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4 RANDOM SEED=304999171 nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.260 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.259 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.261 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.259 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.258 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.259 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.266 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.257 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119393364 kB MemAvailable: 129953852 kB Buffers: 341832 kB Cached: 11055228 kB SwapCached: 0 kB Active: 617372 kB Inactive: 11149224 kB Active(anon): 1388 kB Inactive(anon): 406168 kB Active(file): 615984 kB Inactive(file): 10743056 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 76120 kB Writeback: 0 kB AnonPages: 369688 kB Mapped: 97436 kB Shmem: 37704 kB KReclaimable: 83296 kB Slab: 169380 kB SReclaimable: 83296 kB SUnreclaim: 86084 kB KernelStack: 3588 kB PageTables: 9764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 797740 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 24384 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 314184 kB DirectMap2M: 23707648 kB DirectMap1G: 112197632 kB Free space on /tmp at the end= 723708 MiB End job on nodeC009 at 2024-08-06 18:44:12