Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabSP+Exact 2024-07-11 | SAT | 7266211 | 3588.25 | 3596.09 |
| 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 |
3588.17/3596.08 o 29800372 3588.17/3596.08 o 14267719 3588.17/3596.08 o 14142791 3588.17/3596.08 o 14001479 3588.17/3596.08 o 13845831 3588.17/3596.08 o 13737287 3588.17/3596.08 o 13586759 3588.17/3596.08 o 13431111 3588.17/3596.08 o 13344071 3588.17/3596.08 o 13209927 3588.17/3596.08 o 13092167 3588.17/3596.08 o 12985671 3588.17/3596.08 o 12869959 3588.17/3596.08 o 12814848 3588.17/3596.08 o 12814842 3588.17/3596.08 o 12718586 3588.17/3596.08 o 12590586 3588.17/3596.08 o 12378624 3588.17/3596.08 o 12372044 3588.17/3596.08 o 12372026 3588.17/3596.08 o 12372022 3588.17/3596.08 o 12355638 3588.17/3596.08 o 12343860 3588.17/3596.08 o 12343858 3588.17/3596.08 o 12343856 3588.17/3596.08 o 12343854 3588.17/3596.08 o 12343852 3588.17/3596.08 o 12251692 3588.17/3596.08 o 12156460 3588.17/3596.08 o 12156459 3588.17/3596.08 o 12151534 3588.17/3596.08 o 12151526 3588.17/3596.08 o 12151516 3588.17/3596.08 o 12151502 3588.17/3596.08 o 12151499 3588.17/3596.08 o 12149963 3588.17/3596.08 o 12149195 3588.17/3596.08 o 12143051 3588.17/3596.08 o 12014027 3588.17/3596.08 o 12001220 3588.17/3596.08 o 12000964 3588.17/3596.08 o 12000836 3588.17/3596.08 o 11976266 3588.17/3596.08 o 11976260 3588.17/3596.08 o 11976252 3588.17/3596.08 o 11937322 3588.17/3596.08 o 11937306 3588.17/3596.08 o 11937294 3588.17/3596.08 o 11937284 3588.17/3596.08 o 11937280 3588.17/3596.08 o 11937278 3588.17/3596.08 o 11937274 3588.17/3596.08 o 11937273 3588.17/3596.08 o 11916811 3588.17/3596.08 o 11916807 3588.17/3596.08 o 11916783 3588.17/3596.08 o 11916780 3588.17/3596.08 o 11916760 3588.17/3596.08 o 11916752 3588.17/3596.08 o 11916736 3588.17/3596.08 o 11854272 3588.17/3596.08 o 11854224 3588.17/3596.08 o 11854220 3588.17/3596.08 o 11853452 3588.17/3596.08 o 11852684 3588.17/3596.08 o 11852682 3588.17/3596.08 o 11852681 3588.17/3596.08 o 11852679 3588.17/3596.08 o 11852672 3588.17/3596.08 o 11772086 3588.17/3596.08 o 11772085 3588.17/3596.08 o 11770037 3588.17/3596.08 o 11770033 3588.17/3596.08 o 11770025 3588.17/3596.08 o 11770021 3588.17/3596.08 o 11755428 3588.17/3596.08 o 11755424 3588.17/3596.08 o 11708811 3588.17/3596.08 o 11706992 3588.17/3596.08 o 11706985 3588.17/3596.08 o 11706981 3588.17/3596.08 o 11706975 3588.17/3596.08 o 11706463 3588.17/3596.08 o 11706462 3588.17/3596.08 o 11706461 3588.17/3596.08 o 11586449 3588.17/3596.08 o 11586401 3588.17/3596.08 o 11586377 3588.17/3596.08 o 11586374 3588.17/3596.08 o 11586366 3588.17/3596.08 o 11584574 3588.17/3596.08 o 11584318 3588.17/3596.08 o 11582782 3588.17/3596.08 o 11582776 3588.17/3596.08 o 11557937 3588.17/3596.08 o 11557935 3588.17/3596.08 o 11557927 3588.17/3596.08 o 11406375 3588.17/3596.08 o 11226151 3588.17/3596.08 o 11225591 3588.17/3596.08 o 11225587 3588.17/3596.08 o 11225555 3588.17/3596.08 o 11132387 3588.17/3596.08 o 11132383 3588.17/3596.08 o 11132375 3588.17/3596.08 o 11132373 3588.17/3596.08 o 11132372 3588.17/3596.08 o 11132368 3588.17/3596.08 o 11132314 3588.17/3596.08 o 11132186 3588.17/3596.08 o 11128090 3588.17/3596.08 o 11128002 3588.17/3596.08 o 11126978 3588.17/3596.08 o 11126962 3588.17/3596.08 o 11126955 3588.17/3596.08 o 11126951 3588.17/3596.08 o 11126949 3588.17/3596.08 o 11125925 3588.17/3596.08 o 11123877 3588.17/3596.08 o 11123867 3588.17/3596.08 o 11123861 3588.17/3596.08 o 10986117 3588.17/3596.08 o 10985541 3588.17/3596.08 o 10985253 3588.17/3596.08 o 10985181 3588.17/3596.08 o 10985145 3588.17/3596.08 o 10985127 3588.17/3596.08 o 10985126 3588.17/3596.08 o 10985115 3588.17/3596.08 o 10977839 3588.17/3596.08 o 10977679 3588.17/3596.08 o 10977648 3588.17/3596.08 o 10977647 3588.17/3596.08 o 10977615 3588.17/3596.08 o 10977583 3588.17/3596.08 o 10977578 3588.17/3596.08 o 10977570 3588.17/3596.08 o 10977526 3588.17/3596.08 o 10977522 3588.17/3596.08 o 10977479 3588.17/3596.08 o 10962375 3588.17/3596.08 o 10785223 3588.17/3596.08 o 10774983 3588.17/3596.08 o 10774956 3588.17/3596.08 o 10774952 3588.17/3596.08 o 10774947 3588.17/3596.08 o 10769827 3588.17/3596.08 o 10767267 3588.17/3596.08 o 10763171 3588.17/3596.08 o 10763139 3588.17/3596.08 o 10763127 3588.17/3596.08 o 10763119 3588.17/3596.08 o 10763111 3588.17/3596.08 o 10763109 3588.17/3596.08 o 10762853 3588.17/3596.08 o 10762725 3588.17/3596.08 o 10762721 3588.17/3596.08 o 10762718 3588.17/3596.08 o 10737623 3588.17/3596.08 o 10737619 3588.17/3596.08 o 10737615 3588.17/3596.08 o 10713686 3588.17/3596.08 o 10713670 3588.17/3596.08 o 10578502 3588.17/3596.08 o 10578501 3588.17/3596.08 o 10578500 3588.17/3596.08 o 10578499 3588.17/3596.08 o 10578497 3588.17/3596.08 o 10578431 3588.17/3596.08 o 10578429 3588.17/3596.08 o 10578424 3588.17/3596.08 o 10466808 3588.17/3596.08 o 10466806 3588.17/3596.08 o 10466791 3588.17/3596.08 o 10466471 3588.17/3596.08 o 10466466 3588.17/3596.08 o 10466306 3588.17/3596.08 o 10466298 3588.17/3596.08 o 10466294 3588.17/3596.08 o 10466262 3588.17/3596.08 o 10463165 3588.17/3596.08 o 10463161 3588.17/3596.08 o 10454969 3588.17/3596.08 o 10454967 3588.17/3596.08 o 10454939 3588.17/3596.08 o 10454923 3588.17/3596.08 o 10454918 3588.17/3596.08 o 10454662 3588.17/3596.08 o 10454534 3588.17/3596.08 o 10454533 3588.17/3596.08 o 10454525 3588.17/3596.08 o 10454523 3588.17/3596.08 o 10398989 3588.17/3596.08 o 10398981 3588.17/3596.08 o 10398977 3588.17/3596.08 o 10398961 3588.17/3596.08 o 10398449 3588.17/3596.08 o 10398441 3588.17/3596.08 o 10395377 3588.17/3596.08 o 10376945 3588.17/3596.08 o 10376944 3588.17/3596.08 o 10356464 3588.17/3596.08 o 10241776 3588.17/3596.08 o 10241760 3588.17/3596.08 o 10241752 3588.17/3596.08 o 10233560 3588.17/3596.08 o 10229464 3588.17/3596.08 o 10228696 3588.17/3596.08 o 10228568 3588.17/3596.08 o 10228440 3588.17/3596.08 o 10228432 3588.17/3596.08 o 10228422 3588.17/3596.08 o 10228417 3588.17/3596.08 o 10228359 3588.17/3596.08 o 10228357 3588.17/3596.08 o 10228355 3588.17/3596.08 o 10228354 3588.17/3596.08 o 10228352 3588.17/3596.08 o 10228351 3588.17/3596.08 o 10227522 3588.17/3596.08 o 10227519 3588.17/3596.08 o 10227513 3588.17/3596.08 o 10227505 3588.17/3596.08 o 10215217 3588.17/3596.08 o 10215215 3588.17/3596.08 o 10215214 3588.17/3596.08 o 10215213 3588.17/3596.08 o 10215212 3588.17/3596.08 o 10215208 3588.17/3596.08 o 10215164 3588.17/3596.08 o 10215152 3588.17/3596.08 o 10215142 3588.17/3596.08 o 10214950 3588.17/3596.08 o 10214937 3588.17/3596.08 o 10214929 3588.17/3596.08 o 10214928 3588.17/3596.08 o 10214926 3588.17/3596.08 o 10214921 3588.17/3596.08 o 10148873 3588.17/3596.08 o 10148869 3588.17/3596.08 o 10069717 3588.17/3596.08 o 10069687 3588.17/3596.08 o 10069683 3588.17/3596.08 o 10069681 3588.17/3596.08 o 10069675 3588.17/3596.08 o 10069669 3588.17/3596.08 o 10069665 3588.17/3596.08 o 10069649 3588.17/3596.08 o 10069643 3588.17/3596.08 o 10069595 3588.17/3596.08 o 10069515 3588.17/3596.08 o 10000925 3588.17/3596.08 o 10000924 3588.17/3596.08 o 10000908 3588.17/3596.08 o 10000900 3588.17/3596.08 o 10000896 3588.17/3596.08 o 10000895 3588.17/3596.08 o 10000894 3588.17/3596.08 o 9943418 3588.17/3596.08 o 9943414 3588.17/3596.08 o 9943402 3588.17/3596.08 o 9943399 3588.17/3596.08 o 9943391 3588.17/3596.08 o 9943371 3588.17/3596.08 o 9943369 3588.17/3596.08 o 9943367 3588.17/3596.08 o 9943366 3588.17/3596.08 o 9943364 3588.17/3596.08 o 9943362 3588.17/3596.08 o 9943360 3588.17/3596.08 o 9897085 3588.17/3596.08 o 9897081 3588.17/3596.08 o 9897069 3588.17/3596.08 o 9897067 3588.17/3596.08 o 9897064 3588.17/3596.08 o 9897058 3588.17/3596.08 o 9897056 3588.17/3596.08 o 9897030 3588.17/3596.08 o 9897028 3588.17/3596.08 o 9824324 3588.17/3596.08 o 9824306 3588.17/3596.08 o 9824270 3588.17/3596.08 o 9824264 3588.17/3596.08 o 9824252 3588.17/3596.08 o 9824124 3588.17/3596.08 o 9819712 3588.17/3596.08 o 9819704 3588.17/3596.08 o 9819686 3588.17/3596.08 o 9739814 3588.17/3596.08 o 9716280 3588.17/3596.08 o 9716262 3588.17/3596.08 o 9716260 3588.17/3596.08 o 9710116 3588.17/3596.08 o 9710110 3588.17/3596.08 o 9710091 3588.17/3596.08 o 9710079 3588.17/3596.08 o 9696371 3588.17/3596.08 o 9696329 3588.17/3596.08 o 9696273 3588.17/3596.08 o 9696272 3588.17/3596.08 o 9696258 3588.17/3596.08 o 9693186 3588.17/3596.08 o 9693180 3588.17/3596.08 o 9693176 3588.17/3596.08 o 9693172 3588.17/3596.08 o 9693168 3588.17/3596.08 o 9693165 3588.17/3596.08 o 9693158 3588.17/3596.08 o 9693140 3588.17/3596.08 o 9693137 3588.17/3596.08 o 9693081 3588.17/3596.08 o 9693053 3588.17/3596.08 o 9693046 3588.17/3596.08 o 9693039 3588.17/3596.08 o 9692815 3588.17/3596.08 o 9692814 3588.17/3596.08 o 9692807 3588.17/3596.08 o 9692583 3588.17/3596.08 o 9658821 3588.17/3596.08 o 9658815 3588.17/3596.08 o 9657919 3588.17/3596.08 o 9568831 3588.17/3596.08 o 9568825 3588.17/3596.08 o 9568823 3588.17/3596.08 o 9568803 3588.17/3596.08 o 9567907 3588.17/3596.08 o 9402019 3588.17/3596.08 o 9402018 3588.17/3596.08 o 9402017 3588.17/3596.08 o 9402016 3588.17/3596.08 o 9402011 3588.17/3596.08 o 9401995 3588.17/3596.08 o 9401994 3588.17/3596.08 o 9401962 3588.17/3596.08 o 9401930 3588.17/3596.08 o 9401898 3588.17/3596.08 o 9397290 3588.17/3596.08 o 9397283 3588.17/3596.08 o 9397282 3588.17/3596.08 o 9396772 3588.17/3596.08 o 9395748 3588.17/3596.08 o 9395236 3588.17/3596.08 o 9344534 3588.17/3596.08 o 9344530 3588.17/3596.08 o 9268700 3588.17/3596.08 o 9268664 3588.17/3596.08 o 9268655 3588.17/3596.08 o 9268653 3588.17/3596.08 o 9268651 3588.17/3596.08 o 9268645 3588.17/3596.08 o 9268641 3588.17/3596.08 o 9268640 3588.17/3596.08 o 9268637 3588.17/3596.08 o 9268636 3588.17/3596.08 o 9268633 3588.17/3596.08 o 9268624 3588.17/3596.08 o 9268619 3588.17/3596.08 o 9246785 3588.17/3596.08 o 9246782 3588.17/3596.08 o 9246767 3588.17/3596.08 o 9246755 3588.17/3596.08 o 9246749 3588.17/3596.08 o 9246744 3588.17/3596.08 o 9246735 3588.17/3596.08 o 9246543 3588.17/3596.08 o 9246447 3588.17/3596.08 o 9246399 3588.17/3596.08 o 9246387 3588.17/3596.08 o 9246384 3588.17/3596.08 o 9222874 3588.17/3596.08 o 9222844 3588.17/3596.08 o 9222784 3588.17/3596.08 o 9222752 3588.17/3596.08 o 9222720 3588.17/3596.08 o 9222718 3588.17/3596.08 o 9222712 3588.17/3596.08 o 9222709 3588.17/3596.08 o 9222708 3588.17/3596.08 o 9222706 3588.17/3596.08 o 9222696 3588.17/3596.08 o 9128412 3588.17/3596.08 o 9128408 3588.17/3596.08 o 9128344 3588.17/3596.08 o 9128224 3588.17/3596.08 o 9128152 3588.17/3596.08 o 9128080 3588.17/3596.08 o 9127568 3588.17/3596.08 o 9127564 3588.17/3596.08 o 9125644 3588.17/3596.08 o 9124684 3588.17/3596.08 o 9124644 3588.17/3596.08 o 9124616 3588.17/3596.08 o 9124598 3588.17/3596.08 o 9117430 3588.17/3596.08 o 9116406 3588.17/3596.08 o 9114358 3588.17/3596.08 o 9114350 3588.17/3596.08 o 9114346 3588.17/3596.08 o 9114316 3588.17/3596.08 o 9114300 3588.17/3596.08 o 9114290 3588.17/3596.08 o 9114276 3588.17/3596.08 o 9114240 3588.17/3596.08 o 9114231 3588.17/3596.08 o 9114227 3588.17/3596.08 o 9114226 3588.17/3596.08 o 9114218 3588.17/3596.08 o 9113706 3588.17/3596.08 o 9113450 3588.17/3596.08 o 9113440 3588.17/3596.08 o 9113428 3588.17/3596.08 o 9113364 3588.17/3596.08 o 9113356 3588.17/3596.08 o 8998064 3588.17/3596.08 o 8989872 3588.17/3596.08 o 8989868 3588.17/3596.08 o 8989644 3588.17/3596.08 o 8989642 3588.17/3596.08 o 8989632 3588.17/3596.08 o 8989628 3588.17/3596.08 o 8989623 3588.17/3596.08 o 8989613 3588.17/3596.08 o 8989533 3588.17/3596.08 o 8969999 3588.17/3596.08 o 8969967 3588.17/3596.08 o 8969951 3588.17/3596.08 o 8969935 3588.17/3596.08 o 8969731 3588.17/3596.08 o 8969170 3588.17/3596.08 o 8969167 3588.17/3596.08 o 8969161 3588.17/3596.08 o 8969041 3588.17/3596.08 o 8969040 3588.17/3596.08 o 8896644 3588.17/3596.08 o 8896643 3588.17/3596.08 o 8896642 3588.17/3596.08 o 8896635 3588.17/3596.08 o 8896633 3588.17/3596.08 o 8879246 3588.17/3596.08 o 8879237 3588.17/3596.08 o 8879232 3588.17/3596.08 o 8879231 3588.17/3596.08 o 8879226 3588.17/3596.08 o 8879223 3588.17/3596.08 o 8879222 3588.17/3596.08 o 8879220 3588.17/3596.08 o 8879216 3588.17/3596.08 o 8879213 3588.17/3596.08 o 8879212 3588.17/3596.08 o 8879211 3588.17/3596.08 o 8879210 3588.17/3596.08 o 8879209 3588.17/3596.08 o 8879208 3588.17/3596.08 o 8879201 3588.17/3596.08 o 8879145 3588.17/3596.08 o 8879138 3588.17/3596.08 o 8879131 3588.17/3596.08 o 8878107 3588.17/3596.08 o 8878106 3588.17/3596.08 o 8878088 3588.17/3596.08 o 8878085 3588.17/3596.08 o 8737797 3588.17/3596.08 o 8737779 3588.17/3596.08 o 8737759 3588.17/3596.08 o 8737750 3588.17/3596.08 o 8737740 3588.17/3596.08 o 8737738 3588.17/3596.08 o 8737737 3588.17/3596.08 o 8737736 3588.17/3596.08 o 8737734 3588.17/3596.08 o 8737724 3588.17/3596.08 o 8737723 3588.17/3596.08 o 8707528 3588.17/3596.08 o 8707524 3588.17/3596.08 o 8707522 3588.17/3596.08 o 8707518 3588.17/3596.08 o 8559038 3588.17/3596.08 o 8559037 3588.17/3596.08 o 8559029 3588.17/3596.08 o 8559017 3588.17/3596.08 o 8558729 3588.17/3596.08 o 8558681 3588.17/3596.08 o 8558657 3588.17/3596.08 o 8500331 3588.17/3596.08 o 8500330 3588.17/3596.08 o 8500320 3588.17/3596.08 o 8499808 3588.17/3596.08 o 8499799 3588.17/3596.08 o 8499794 3588.17/3596.08 o 8494674 3588.17/3596.08 o 8494670 3588.17/3596.08 o 8494616 3588.17/3596.08 o 8494606 3588.17/3596.08 o 8494602 3588.17/3596.08 o 8494570 3588.17/3596.08 o 8493818 3588.17/3596.08 o 8493808 3588.17/3596.08 o 8428232 3588.17/3596.08 o 8428220 3588.17/3596.08 o 8428219 3588.17/3596.08 o 8428213 3588.17/3596.08 o 8428189 3588.17/3596.08 o 8428183 3588.17/3596.08 o 8428182 3588.17/3596.08 o 8428178 3588.17/3596.08 o 8327136 3588.17/3596.08 o 8327128 3588.17/3596.08 o 8327124 3588.17/3596.08 o 8327116 3588.17/3596.08 o 8327112 3588.17/3596.08 o 8327090 3588.17/3596.08 o 8327086 3588.17/3596.08 o 8327085 3588.17/3596.08 o 8327084 3588.17/3596.08 o 8327080 3588.17/3596.08 o 8327078 3588.17/3596.08 o 8327075 3588.17/3596.08 o 8327051 3588.17/3596.08 o 8327035 3588.17/3596.08 o 8327024 3588.17/3596.08 o 8327023 3588.17/3596.08 o 8327022 3588.17/3596.08 o 8327008 3588.17/3596.08 o 8326972 3588.17/3596.08 o 8326971 3588.17/3596.08 o 8326953 3588.17/3596.08 o 8326947 3588.17/3596.08 o 8326943 3588.17/3596.08 o 8325407 3588.17/3596.08 o 8325404 3588.17/3596.08 o 8325403 3588.17/3596.08 o 8325395 3588.17/3596.08 o 8325379 3588.17/3596.08 o 8325378 3588.17/3596.08 o 8325374 3588.17/3596.08 o 8325370 3588.17/3596.08 o 8325369 3588.17/3596.08 o 8325321 3588.17/3596.08 o 8269197 3588.17/3596.08 o 8269189 3588.17/3596.08 o 8269178 3588.17/3596.08 o 8269166 3588.17/3596.08 o 8266118 3588.17/3596.08 o 8266106 3588.17/3596.08 o 8262232 3588.17/3596.08 o 8260666 3588.17/3596.08 o 8260662 3588.17/3596.08 o 8256566 3588.17/3596.08 o 8256564 3588.17/3596.08 o 8256560 3588.17/3596.08 o 8256552 3588.17/3596.08 o 8256424 3588.17/3596.08 o 8236374 3588.17/3596.08 o 8236371 3588.17/3596.08 o 8217828 3588.17/3596.08 o 8217824 3588.17/3596.08 o 8217822 3588.17/3596.08 o 8217742 3588.17/3596.08 o 8217731 3588.17/3596.08 o 8217715 3588.17/3596.08 o 8217699 3588.17/3596.08 o 8217507 3588.17/3596.08 o 8217411 3588.17/3596.08 o 8208827 3588.17/3596.08 o 8208803 3588.17/3596.08 o 8208790 3588.17/3596.08 o 8208783 3588.17/3596.08 o 8208739 3588.17/3596.08 o 8208730 3588.17/3596.08 o 8204474 3588.17/3596.08 o 8204467 3588.17/3596.08 o 8204462 3588.17/3596.08 o 8204459 3588.17/3596.08 o 8204435 3588.17/3596.08 o 8204430 3588.17/3596.08 o 8204350 3588.17/3596.08 o 8204349 3588.17/3596.08 o 8204338 3588.17/3596.08 o 8204330 3588.17/3596.08 o 8203570 3588.17/3596.08 o 8203562 3588.17/3596.08 o 8203394 3588.17/3596.08 o 8203314 3588.17/3596.08 o 8203306 3588.17/3596.08 o 8203304 3588.17/3596.08 o 8203272 3588.17/3596.08 o 8203144 3588.17/3596.08 o 8203142 3588.17/3596.08 o 8203138 3588.17/3596.08 o 8203136 3588.17/3596.08 o 8203134 3588.17/3596.08 o 8203130 3588.17/3596.08 o 8168840 3588.17/3596.08 o 8168835 3588.17/3596.08 o 8168784 3588.17/3596.08 o 8168780 3588.17/3596.08 o 8168771 3588.17/3596.08 o 8168763 3588.17/3596.08 o 8168759 3588.17/3596.08 o 8157239 3588.17/3596.08 o 8156599 3588.17/3596.08 o 8156590 3588.17/3596.08 o 8156583 3588.17/3596.08 o 8156578 3588.17/3596.08 o 8156546 3588.17/3596.08 o 8156541 3588.17/3596.08 o 8156540 3588.17/3596.08 o 8156531 3588.17/3596.08 o 8156527 3588.17/3596.08 o 8156516 3588.17/3596.08 o 8156492 3588.17/3596.08 o 8156484 3588.17/3596.08 o 8156475 3588.17/3596.08 o 8156465 3588.17/3596.08 o 8156433 3588.17/3596.08 o 8156429 3588.17/3596.08 o 8121741 3588.17/3596.08 o 8121725 3588.17/3596.08 o 8121697 3588.17/3596.08 o 8121691 3588.17/3596.08 o 8121665 3588.17/3596.08 o 8056609 3588.17/3596.08 o 8056595 3588.17/3596.08 o 8056593 3588.17/3596.08 o 8056590 3588.17/3596.08 o 8056582 3588.17/3596.08 o 8056573 3588.17/3596.08 o 7967242 3588.17/3596.08 o 7967239 3588.17/3596.08 o 7967238 3588.17/3596.08 o 7967218 3588.17/3596.08 o 7967210 3588.17/3596.08 o 7956970 3588.17/3596.08 o 7956958 3588.17/3596.08 o 7956934 3588.17/3596.08 o 7956894 3588.17/3596.08 o 7956846 3588.17/3596.08 o 7956822 3588.17/3596.08 o 7956818 3588.17/3596.08 o 7956786 3588.17/3596.08 o 7956778 3588.17/3596.08 o 7956775 3588.17/3596.08 o 7956767 3588.17/3596.08 o 7956761 3588.17/3596.08 o 7956757 3588.17/3596.08 o 7956755 3588.17/3596.08 o 7956748 3588.17/3596.08 o 7956724 3588.17/3596.08 o 7956712 3588.17/3596.08 o 7956706 3588.17/3596.08 o 7956703 3588.17/3596.08 o 7956699 3588.17/3596.08 o 7956691 3588.17/3596.08 o 7956687 3588.17/3596.08 o 7956659 3588.17/3596.08 o 7956656 3588.17/3596.08 o 7956651 3588.17/3596.08 o 7956642 3588.17/3596.08 o 7956290 3588.17/3596.08 o 7956287 3588.17/3596.08 o 7956278 3588.17/3596.08 o 7939894 3588.17/3596.08 o 7939890 3588.17/3596.08 o 7939881 3588.17/3596.08 o 7939872 3588.17/3596.08 o 7939844 3588.17/3596.08 o 7939842 3588.17/3596.08 o 7939833 3588.17/3596.08 o 7939831 3588.17/3596.08 o 7939479 3588.17/3596.08 o 7939478 3588.17/3596.08 o 7939158 3588.17/3596.08 o 7939150 3588.17/3596.08 o 7939144 3588.17/3596.08 o 7939142 3588.17/3596.08 o 7939141 3588.17/3596.08 o 7939140 3588.17/3596.08 o 7939132 3588.17/3596.08 o 7889867 3588.17/3596.08 o 7889864 3588.17/3596.08 o 7889863 3588.17/3596.08 o 7889861 3588.17/3596.08 o 7889855 3588.17/3596.08 o 7885375 3588.17/3596.08 o 7885367 3588.17/3596.08 o 7885311 3588.17/3596.08 o 7885305 3588.17/3596.08 o 7885145 3588.17/3596.08 o 7841228 3588.17/3596.08 o 7819718 3588.17/3596.08 o 7819708 3588.17/3596.08 o 7819706 3588.17/3596.08 o 7819695 3588.17/3596.08 o 7819691 3588.17/3596.08 o 7818670 3588.17/3596.08 o 7816110 3588.17/3596.08 o 7816105 3588.17/3596.08 o 7815465 3588.17/3596.08 o 7815145 3588.17/3596.08 o 7814985 3588.17/3596.08 o 7814905 3588.17/3596.08 o 7814865 3588.17/3596.08 o 7814859 3588.17/3596.08 o 7814839 3588.17/3596.08 o 7814807 3588.17/3596.08 o 7798103 3588.17/3596.08 o 7797991 3588.17/3596.08 o 7797959 3588.17/3596.08 o 7797831 3588.17/3596.08 o 7797319 3588.17/3596.08 o 7795911 3588.17/3596.08 o 7794119 3588.17/3596.08 o 7794023 3588.17/3596.08 o 7773106 3588.17/3596.08 o 7773097 3588.17/3596.08 o 7773075 3588.17/3596.08 o 7773011 3588.17/3596.08 o 7772987 3588.17/3596.08 o 7772982 3588.17/3596.08 o 7772981 3588.17/3596.08 o 7772979 3588.17/3596.08 o 7740205 3588.17/3596.08 o 7672661 3588.17/3596.08 o 7672649 3588.17/3596.08 o 7672641 3588.17/3596.08 o 7672638 3588.17/3596.08 o 7672630 3588.17/3596.08 o 7672629 3588.17/3596.08 o 7672621 3588.17/3596.08 o 7672533 3588.17/3596.08 o 7656149 3588.17/3596.08 o 7656146 3588.17/3596.08 o 7656144 3588.17/3596.08 o 7656142 3588.17/3596.08 o 7656110 3588.17/3596.08 o 7648778 3588.17/3596.08 o 7648770 3588.17/3596.08 o 7648727 3588.17/3596.08 o 7648722 3588.17/3596.08 o 7648715 3588.17/3596.08 o 7648707 3588.17/3596.08 o 7648691 3588.17/3596.08 o 7648679 3588.17/3596.08 o 7648671 3588.17/3596.08 o 7648659 3588.17/3596.08 o 7648657 3588.17/3596.08 o 7648625 3588.17/3596.08 o 7648621 3588.17/3596.08 o 7646573 3588.17/3596.08 o 7646445 3588.17/3596.08 o 7646421 3588.17/3596.08 o 7646417 3588.17/3596.08 o 7646415 3588.17/3596.08 o 7646403 3588.17/3596.08 o 7646389 3588.17/3596.08 o 7646377 3588.17/3596.08 o 7646117 3588.17/3596.08 o 7646101 3588.17/3596.08 o 7645589 3588.17/3596.08 o 7645581 3588.17/3596.08 o 7645557 3588.17/3596.08 o 7542133 3588.17/3596.08 o 7542101 3588.17/3596.08 o 7542092 3588.17/3596.08 o 7542085 3588.17/3596.08 o 7542084 3588.17/3596.08 o 7542082 3588.17/3596.08 o 7542052 3588.17/3596.08 o 7542004 3588.17/3596.08 o 7542003 3588.17/3596.08 o 7542002 3588.17/3596.08 o 7541995 3588.17/3596.08 o 7541992 3588.17/3596.08 o 7541986 3588.17/3596.08 o 7541983 3588.17/3596.08 o 7531743 3588.17/3596.08 o 7531739 3588.17/3596.08 o 7531737 3588.17/3596.08 o 7505708 3588.17/3596.08 o 7505686 3588.17/3596.08 o 7505682 3588.17/3596.08 o 7505674 3588.17/3596.08 o 7505663 3588.17/3596.08 o 7505662 3588.17/3596.08 o 7505660 3588.17/3596.08 o 7505658 3588.17/3596.08 o 7505656 3588.17/3596.08 o 7505654 3588.17/3596.08 o 7505652 3588.17/3596.08 o 7505650 3588.17/3596.08 o 7505646 3588.17/3596.08 o 7505644 3588.17/3596.08 o 7505636 3588.17/3596.08 o 7505572 3588.17/3596.08 o 7497380 3588.17/3596.08 o 7497372 3588.17/3596.08 o 7497352 3588.17/3596.08 o 7497288 3588.17/3596.08 o 7497284 3588.17/3596.08 o 7408284 3588.17/3596.08 o 7408279 3588.17/3596.08 o 7408274 3588.17/3596.08 o 7408264 3588.17/3596.08 o 7408262 3588.17/3596.08 o 7408242 3588.17/3596.08 o 7408230 3588.17/3596.08 o 7408221 3588.17/3596.08 o 7391601 3588.17/3596.08 o 7391597 3588.17/3596.08 o 7391117 3588.17/3596.08 o 7391107 3588.17/3596.08 o 7391047 3588.17/3596.08 o 7390971 3588.17/3596.08 o 7390966 3588.17/3596.08 o 7390961 3588.17/3596.08 o 7390960 3588.17/3596.08 o 7390958 3588.17/3596.08 o 7390942 3588.17/3596.08 o 7390430 3588.17/3596.08 o 7390398 3588.17/3596.08 o 7389502 3588.17/3596.08 o 7389497 3588.17/3596.08 o 7389483 3588.17/3596.08 o 7389476 3588.17/3596.08 o 7389464 3588.17/3596.08 o 7389016 3588.17/3596.08 o 7388984 3588.17/3596.08 o 7388964 3588.17/3596.08 o 7388957 3588.17/3596.08 o 7381789 3588.17/3596.08 o 7381778 3588.17/3596.08 o 7381748 3588.17/3596.08 o 7381732 3588.17/3596.08 o 7381722 3588.17/3596.08 o 7353050 3588.17/3596.08 o 7353046 3588.17/3596.08 o 7353044 3588.17/3596.08 o 7352084 3588.17/3596.08 o 7351812 3588.17/3596.08 o 7351800 3588.17/3596.08 o 7351776 3588.17/3596.08 o 7351764 3588.17/3596.08 o 7350740 3588.17/3596.08 o 7350736 3588.17/3596.08 o 7350730 3588.17/3596.08 o 7350710 3588.17/3596.08 o 7350705 3588.17/3596.08 o 7350673 3588.17/3596.08 o 7350665 3588.17/3596.08 o 7350655 3588.17/3596.08 o 7350645 3588.17/3596.08 o 7350633 3588.17/3596.08 o 7350585 3588.17/3596.08 o 7350561 3588.17/3596.08 o 7350513 3588.17/3596.08 o 7350505 3588.17/3596.08 o 7350457 3588.17/3596.08 o 7350409 3588.17/3596.08 o 7346053 3588.17/3596.08 o 7346051 3588.17/3596.08 o 7346046 3588.17/3596.08 o 7346044 3588.17/3596.08 o 7278460 3588.17/3596.08 o 7278454 3588.17/3596.08 o 7266213 3588.17/3596.08 o 7266211 3588.17/3596.08 c Program interrupted by user. 3588.17/3596.08 s SATISFIABLE 3588.17/3596.08 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 7266211
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: 63968 MiB (60864 MiB free)
memory of node 1: 64473 MiB (63327 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437000-1722948203/watcher-4437000-1722948203 -o /tmp/evaluation-result-4437000-1722948203/solver-4437000-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722948202-334504 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437000-1722948203.opb 3600 HOME 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=334560, runsolver pid=334553
[startup+0.100083 s]*
/proc/loadavg: 0.43 0.16 0.11 8/268 334581
/proc/meminfo: memFree=127115660/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=38620 memory=24444 CPUtime=0.05 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 4647 0 0 0 5 0 0 0 20 0 1 0 61417437 39546880 6111 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 9655 6111 1057 2753 0 6308 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 57212 KiB
Current children cumulated memory: 28208 KiB
[startup+0.206636 s]*
/proc/loadavg: 0.43 0.16 0.11 5/268 334581
/proc/meminfo: memFree=127060952/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=0.16 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8220 0 0 0 16 0 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+0.306311 s]*
/proc/loadavg: 0.43 0.16 0.11 6/268 334583
/proc/meminfo: memFree=127027672/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=0.26 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8220 0 0 0 25 1 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+0.700264 s]
/proc/loadavg: 0.43 0.16 0.11 6/268 334583
/proc/meminfo: memFree=127025804/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=0.65 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8220 0 0 0 64 1 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+1.50025 s]
/proc/loadavg: 0.43 0.16 0.11 6/268 334583
/proc/meminfo: memFree=126930924/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=1.44 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8220 0 0 0 142 2 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+3.1068 s]
/proc/loadavg: 0.43 0.16 0.11 8/268 334583
/proc/meminfo: memFree=126784516/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=3.05 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8220 0 0 0 300 5 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+6.3002 s]
/proc/loadavg: 0.72 0.22 0.13 7/268 334583
/proc/meminfo: memFree=126732484/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=6.23 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8227 0 0 0 615 8 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+12.7002 s]
/proc/loadavg: 0.98 0.28 0.15 7/268 334584
/proc/meminfo: memFree=126666452/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=12.62 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8254 0 0 0 1244 18 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+25.5003 s]
/proc/loadavg: 1.65 0.47 0.22 8/268 334586
/proc/meminfo: memFree=126702208/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=25.4 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8255 0 0 0 2502 38 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+51.1073 s]
/proc/loadavg: 2.51 0.77 0.32 8/268 334590
/proc/meminfo: memFree=126668824/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 681 603 264 0 134 0
[pid=334577] ppid=334560 vsize=8660 memory=1040 CPUtime=0 cores=4,6
/proc/334577/stat : 334577 (timeout) S 334560 334577 334493 0 -1 4194304 109 0 1 0 0 0 0 0 20 0 1 0 61417436 8867840 260 134679101440 94436088356864 94436088391880 140722721723856 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94436090489296 94436090491428 94436116373504 140722721727529 140722721727645 140722721727645 140722721734631 0
/proc/334577/statm: 2165 260 236 9 0 87 0
[pid=334579] ppid=334577 vsize=51952 memory=38760 CPUtime=50.95 cores=4,6
/proc/334579/stat : 334579 (LS-MabSP) R 334577 334577 334493 0 -1 4194304 8258 0 0 0 5019 76 0 0 20 0 1 0 61417437 53198848 9690 134679101440 4194304 15467897 140723545074816 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54124544 140723545080892 140723545080995 140723545080995 140723545087981 0
/proc/334579/statm: 12988 9690 1073 2753 0 9641 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 70544 KiB
Current children cumulated memory: 42524 KiB
[startup+102.3 s]
/proc/loadavg: 3.35 1.27 0.52 8/268 334600
/proc/meminfo: memFree=126594068/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2724 CPUtime=0 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 238 100 0 0 0 0 0 0 20 0 1 0 61417433 10170368 681 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
################
# More data... #
################
/proc/335485/statm: 74022 63730 764 737 0 73110 0
Current children cumulated CPU time: 3394.87 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 258676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.09 6/265 336412
/proc/meminfo: memFree=125827120/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296088 memory=254940 CPUtime=1660.54 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32050 0 0 0 166038 16 0 0 20 0 1 0 61597237 303194112 63735 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74022 63735 764 737 0 73110 0
Current children cumulated CPU time: 3454.75 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 258696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 7/265 336424
/proc/meminfo: memFree=125822580/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296472 memory=255276 CPUtime=1720.41 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32160 0 0 0 172025 16 0 0 20 0 1 0 61597237 303587328 63819 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74118 63819 764 737 0 73206 0
Current children cumulated CPU time: 3514.62 s
Current children cumulated vsize: 315064 KiB
Current children cumulated memory: 259032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 7/266 336435
/proc/meminfo: memFree=125821476/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296888 memory=255732 CPUtime=1780.28 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32358 0 0 0 178012 16 0 0 20 0 1 0 61597237 304013312 63933 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74222 63933 764 737 0 73310 0
Current children cumulated CPU time: 3574.49 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 259488 KiB
[startup+3596.09 s]
# the end of solver process 334560 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3562.35 s, system=25.9026 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 6/266 336435
/proc/meminfo: memFree=125821468/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296888 memory=255732 CPUtime=1781.99 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32358 0 0 0 178183 16 0 0 20 0 1 0 61597237 304013312 63933 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74222 63933 764 737 0 73310 0
Current children cumulated CPU time: 3576.2 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 259488 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 7/266 336435
/proc/meminfo: memFree=125821432/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296888 memory=255732 CPUtime=1788.37 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32359 0 0 0 178821 16 0 0 20 0 1 0 61597237 304013312 63933 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74222 63933 764 737 0 73310 0
Current children cumulated CPU time: 3582.58 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 259488 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.09 6/266 336437
/proc/meminfo: memFree=125821276/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296888 memory=255732 CPUtime=1791.56 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32369 0 0 0 179140 16 0 0 20 0 1 0 61597237 304013312 63933 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74222 63933 764 737 0 73310 0
Current children cumulated CPU time: 3585.77 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 259488 KiB
[startup+3595.2 s]
/proc/loadavg: 4.16 4.13 4.09 6/266 336437
/proc/meminfo: memFree=125821284/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296888 memory=255732 CPUtime=1793.16 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32369 0 0 0 179300 16 0 0 20 0 1 0 61597237 304013312 63933 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74222 63933 764 737 0 73310 0
Current children cumulated CPU time: 3587.37 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 259488 KiB
[startup+3595.6 s]
/proc/loadavg: 4.16 4.13 4.09 6/266 336437
/proc/meminfo: memFree=125821284/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296888 memory=255732 CPUtime=1793.55 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32369 0 0 0 179339 16 0 0 20 0 1 0 61597237 304013312 63933 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74222 63933 764 737 0 73310 0
Current children cumulated CPU time: 3587.76 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 259488 KiB
[startup+3596 s]*
/proc/loadavg: 4.16 4.13 4.09 6/266 336437
/proc/meminfo: memFree=125821320/131524600 swapFree=131071216/131071996
[pid=334560] ppid=334553 vsize=9932 memory=2772 CPUtime=1794.21 cores=4,6
/proc/334560/stat : 334560 (Hybrid-LSMabSP+) S 334553 334560 334493 0 -1 4194304 269 9008 0 1 0 0 176849 2572 20 0 1 0 61417433 10170368 693 134679101440 94242165899264 94242166978584 140733654095440 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94242169077040 94242169124228 94242176806912 140733654103016 140733654103162 140733654103162 140733654110177 0
/proc/334560/statm: 2483 693 603 264 0 134 0
[pid=335483] ppid=334560 vsize=8660 memory=984 CPUtime=0 cores=4,6
/proc/335483/stat : 335483 (timeout) S 334560 335483 334493 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 61597237 8867840 246 134679101440 94524227448832 94524227483848 140723071966752 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94524229581264 94524229583396 94524237090816 140723071972340 140723071972509 140723071972509 140723071979495 0
/proc/335483/statm: 2165 246 221 9 0 87 0
[pid=335485] ppid=335483 vsize=296888 memory=255732 CPUtime=1793.96 cores=4,6
/proc/335485/stat : 335485 (Exact) R 335483 335483 334493 0 -1 4194304 32369 0 0 0 179380 16 0 0 20 0 1 0 61597237 304013312 63933 134679101440 4194304 7210733 140733497376416 0 0 0 0 0 8404994 0 0 0 17 4 0 0 2 0 0 7850304 7914896 43962368 140733497377808 140733497377958 140733497377958 140733497384944 0
/proc/335485/statm: 74222 63933 764 737 0 73310 0
Current children cumulated CPU time: 3588.17 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 259488 KiB
Child status: 0
Real time (s): 3596.09
CPU time (s): 3588.25
CPU user time (s): 3562.35
CPU system time (s): 25.9026
CPU usage (%): 99.7822
Max. virtual memory (cumulated for all children) (KiB): 315480
Max. memory (cumulated for all children) (KiB): 259488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.35
system time used= 25.9026
maximum resident set size= 267656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44810
page faults= 4
swaps= 0
block input operations= 336
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151
involuntary context switches= 1874
# summary of solver processes directly reported to runsolver:
# pid: 334560
# total CPU time (s): 3588.25
# total CPU user time (s): 3562.35
# total CPU system time (s): 25.9026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10499 second user time and 20.7837 second system time
The end
Begin job on nodeC017 at 2024-08-06 14:43:23 IDJOB=4437000 IDBENCH=146763 IDSOLVER=3070 FILE ID=nodeC017/4437000-1722948203 RUNJOBID= nodeC017-1722948202-334504 SLURM_JOB_ID= 8258988 Free space on /tmp= 890068 MiB SOLVER NAME= Hybrid-LSMabSP+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-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437000-1722948203/watcher-4437000-1722948203 -o /tmp/evaluation-result-4437000-1722948203/solver-4437000-1722948203 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722948202-334504 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437000-1722948203.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5c8d8ce64a950076da07daccd75facb4 RANDOM SEED=1395330820 nodeC017.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 : 0xb00002a cpu MHz : 3790.811 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.82 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 : 0xb00002a cpu MHz : 3639.906 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.29 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 : 0xb00002a cpu MHz : 3616.888 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.82 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 : 0xb00002a cpu MHz : 3663.803 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.29 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 : 0xb00002a cpu MHz : 3832.754 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.82 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 : 0xb00002a cpu MHz : 3644.350 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.29 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 : 0xb00002a cpu MHz : 3607.379 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.82 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 : 0xb00002a cpu MHz : 3656.059 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127172804 kB MemAvailable: 129747332 kB Buffers: 334764 kB Cached: 3081848 kB SwapCached: 52 kB Active: 794120 kB Inactive: 3030704 kB Active(anon): 1360 kB Inactive(anon): 444380 kB Active(file): 792760 kB Inactive(file): 2586324 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 84888 kB Writeback: 12 kB AnonPages: 407624 kB Mapped: 97468 kB Shmem: 37520 kB KReclaimable: 70536 kB Slab: 163692 kB SReclaimable: 70536 kB SUnreclaim: 93156 kB KernelStack: 3888 kB PageTables: 9556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 714044 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 28544 kB HardwareCorrupted: 0 kB AnonHugePages: 284672 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: 277204 kB DirectMap2M: 14176256 kB DirectMap1G: 121634816 kB Free space on /tmp at the end= 889992 MiB End job on nodeC017 at 2024-08-06 15:43:20