Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 | SAT | -630947 | 3586.7 | 3596.06 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/ normalized-knapPI_5_2000_10000_5_-952740.opb |
| MD5SUM | e208dfd6470fdaec043d153d73efd29c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -1487946 |
| Best CPU time to get the best result obtained on this benchmark | 1.24185 |
| 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 | 10000 |
| Total number of constraints | 1 |
| 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 | 1 |
| Minimum length of a constraint | 10000 |
| Maximum length of a constraint | 10000 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 11005 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 59628641 |
| Number of bits of the sum of numbers in the objective function | 26 |
| Biggest number in a constraint | 485650 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 59628641 |
| Number of bits of the biggest sum of numbers | 26 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3586.62/3596.04 c Exit code from Second Program: 124 3586.62/3596.05 o 0 3586.62/3596.05 o 0 3586.62/3596.05 o -8952 3586.62/3596.05 o -10431 3586.62/3596.05 o -14747 3586.62/3596.05 o -22190 3586.62/3596.05 o -27626 3586.62/3596.05 o -36837 3586.62/3596.05 o -41716 3586.62/3596.05 o -43984 3586.62/3596.05 o -54378 3586.62/3596.05 o -62967 3586.62/3596.05 o -72611 3586.62/3596.05 o -80922 3586.62/3596.05 o -87812 3586.62/3596.05 o -93117 3586.62/3596.05 o -96608 3586.62/3596.05 o -106352 3586.62/3596.05 o -114234 3586.62/3596.05 o -123793 3586.62/3596.05 o -130130 3586.62/3596.05 o -136087 3586.62/3596.05 o -142647 3586.62/3596.05 o -149651 3586.62/3596.05 o -154002 3586.62/3596.05 o -155805 3586.62/3596.05 o -158353 3586.62/3596.05 o -159461 3586.62/3596.05 o -163099 3586.62/3596.05 o -173356 3586.62/3596.05 o -182839 3586.62/3596.05 o -190781 3586.62/3596.05 o -201371 3586.62/3596.05 o -207993 3586.62/3596.05 o -213158 3586.62/3596.05 o -218853 3586.62/3596.05 o -226277 3586.62/3596.05 o -229488 3586.62/3596.05 o -232628 3586.62/3596.05 o -240015 3586.62/3596.05 o -243572 3586.62/3596.05 o -252671 3586.62/3596.05 o -255073 3586.62/3596.05 o -262016 3586.62/3596.05 o -269127 3586.62/3596.05 o -272023 3586.62/3596.05 o -277484 3586.62/3596.05 o -282917 3586.62/3596.05 o -284028 3586.62/3596.05 o -286693 3586.62/3596.05 o -289288 3586.62/3596.05 o -290994 3586.62/3596.05 o -300678 3586.62/3596.05 o -309907 3586.62/3596.05 o -320261 3586.62/3596.05 o -327319 3586.62/3596.05 o -330645 3586.62/3596.05 o -340540 3586.62/3596.05 o -350051 3586.62/3596.05 o -351393 3586.62/3596.05 o -352729 3586.62/3596.05 o -357234 3586.62/3596.05 o -366100 3586.62/3596.05 o -367998 3586.62/3596.05 o -377270 3586.62/3596.05 o -387835 3586.62/3596.05 o -397339 3586.62/3596.05 o -406269 3586.62/3596.05 o -415130 3586.62/3596.05 o -420505 3586.62/3596.05 o -426120 3586.62/3596.05 o -430311 3586.62/3596.05 o -433974 3586.62/3596.05 o -439161 3586.62/3596.05 o -447286 3586.62/3596.05 o -452018 3586.62/3596.05 o -460850 3586.62/3596.05 o -463750 3586.62/3596.05 o -465326 3586.62/3596.05 o -468976 3586.62/3596.05 o -473717 3586.62/3596.05 o -479276 3586.62/3596.05 o -480588 3586.62/3596.05 o -486063 3586.62/3596.05 o -488447 3586.62/3596.05 o -493840 3586.62/3596.05 o -504804 3586.62/3596.05 o -510041 3586.62/3596.05 o -519630 3586.62/3596.05 o -530334 3586.62/3596.05 o -537012 3586.62/3596.05 o -541852 3586.62/3596.05 o -549118 3586.62/3596.05 o -552019 3586.62/3596.05 o -558373 3586.62/3596.05 o -566674 3586.62/3596.05 o -568867 3586.62/3596.05 o -571578 3586.62/3596.05 o -578043 3586.62/3596.05 o -579947 3586.62/3596.05 o -581456 3586.62/3596.05 o -582009 3586.62/3596.05 o -582562 3586.62/3596.05 o -582635 3586.62/3596.05 o -582720 3586.62/3596.05 o -583303 3586.62/3596.05 o -583303 3586.62/3596.05 o -583303 3586.62/3596.05 o -583303 3586.62/3596.05 o -583303 3586.62/3596.05 o -583303 3586.62/3596.05 o -583303 3586.62/3596.05 o -583303 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -584210 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -585230 3586.62/3596.05 o -586293 3586.62/3596.05 o -586293 3586.62/3596.05 o -587366 3586.62/3596.05 o -587366 3586.62/3596.05 o -588437 3586.62/3596.05 o -588437 3586.62/3596.05 o -589503 3586.62/3596.05 o -590567 3586.62/3596.05 o -590567 3586.62/3596.05 o -591632 3586.62/3596.05 o -592700 3586.62/3596.05 o -592720 3586.62/3596.05 o -593709 3586.62/3596.05 o -593724 3586.62/3596.05 o -593824 3586.62/3596.05 o -595240 3586.62/3596.05 o -595653 3586.62/3596.05 o -596520 3586.62/3596.05 o -596674 3586.62/3596.05 o -596709 3586.62/3596.05 o -597349 3586.62/3596.05 o -597702 3586.62/3596.05 o -598611 3586.62/3596.05 o -598707 3586.62/3596.05 o -599374 3586.62/3596.05 o -599570 3586.62/3596.05 o -599573 3586.62/3596.05 o -599616 3586.62/3596.05 o -599705 3586.62/3596.05 o -599707 3586.62/3596.05 o -599710 3586.62/3596.05 o -599710 3586.62/3596.05 o -599731 3586.62/3596.05 o -599731 3586.62/3596.05 o -600258 3586.62/3596.05 o -600701 3586.62/3596.05 o -600701 3586.62/3596.05 o -600709 3586.62/3596.05 o -601726 3586.62/3596.05 o -601732 3586.62/3596.05 o -601732 3586.62/3596.05 o -601732 3586.62/3596.05 o -601740 3586.62/3596.05 o -601740 3586.62/3596.05 o -601740 3586.62/3596.05 o -601740 3586.62/3596.05 o -602297 3586.62/3596.05 o -602297 3586.62/3596.05 o -602393 3586.62/3596.05 o -602393 3586.62/3596.05 o -602683 3586.62/3596.05 o -602683 3586.62/3596.05 o -602718 3586.62/3596.05 o -602735 3586.62/3596.05 o -602735 3586.62/3596.05 o -602742 3586.62/3596.05 o -602742 3586.62/3596.05 o -602757 3586.62/3596.05 o -603649 3586.62/3596.05 o -603741 3586.62/3596.05 o -603741 3586.62/3596.05 o -603763 3586.62/3596.05 o -604287 3586.62/3596.05 o -604640 3586.62/3596.05 o -604640 3586.62/3596.05 o -604675 3586.62/3596.05 o -604720 3586.62/3596.05 o -604726 3586.62/3596.05 o -604738 3586.62/3596.05 o -604765 3586.62/3596.05 o -605315 3586.62/3596.05 o -605649 3586.62/3596.05 o -605714 3586.62/3596.05 o -605714 3586.62/3596.05 o -605741 3586.62/3596.05 o -605741 3586.62/3596.05 o -605741 3586.62/3596.05 o -605741 3586.62/3596.05 o -605759 3586.62/3596.05 o -605759 3586.62/3596.05 o -605771 3586.62/3596.05 o -605771 3586.62/3596.05 o -606640 3586.62/3596.05 o -606640 3586.62/3596.05 o -606640 3586.62/3596.05 o -606640 3586.62/3596.05 o -606675 3586.62/3596.05 o -606675 3586.62/3596.05 o -606740 3586.62/3596.05 o -606749 3586.62/3596.05 o -606749 3586.62/3596.05 o -606760 3586.62/3596.05 o -606764 3586.62/3596.05 o -606767 3586.62/3596.05 o -606771 3586.62/3596.05 o -606771 3586.62/3596.05 o -606771 3586.62/3596.05 o -606771 3586.62/3596.05 o -606771 3586.62/3596.05 o -606771 3586.62/3596.05 o -606771 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606869 3586.62/3596.05 o -606921 3586.62/3596.05 o -606921 3586.62/3596.05 o -607488 3586.62/3596.05 o -607642 3586.62/3596.05 o -607736 3586.62/3596.05 o -607738 3586.62/3596.05 o -607771 3586.62/3596.05 o -607776 3586.62/3596.05 o -607776 3586.62/3596.05 o -608560 3586.62/3596.05 o -609623 3586.62/3596.05 o -610530 3586.62/3596.05 o -610719 3586.62/3596.05 o -610719 3586.62/3596.05 o -610738 3586.62/3596.05 o -610748 3586.62/3596.05 o -610767 3586.62/3596.05 o -610767 3586.62/3596.05 o -610782 3586.62/3596.05 o -610782 3586.62/3596.05 o -610782 3586.62/3596.05 o -610782 3586.62/3596.05 o -610782 3586.62/3596.05 o -610782 3586.62/3596.05 o -610782 3586.62/3596.05 o -610783 3586.62/3596.05 o -611552 3586.62/3596.05 o -611552 3586.62/3596.05 o -611552 3586.62/3596.05 o -611609 3586.62/3596.05 o -611669 3586.62/3596.05 o -611691 3586.62/3596.05 o -611756 3586.62/3596.05 o -611777 3586.62/3596.05 o -611779 3586.62/3596.05 o -611791 3586.62/3596.05 o -611795 3586.62/3596.05 o -611795 3586.62/3596.05 o -611803 3586.62/3596.05 o -611808 3586.62/3596.05 o -611808 3586.62/3596.05 o -611808 3586.62/3596.05 o -611808 3586.62/3596.05 o -611811 3586.62/3596.05 o -612788 3586.62/3596.05 o -612801 3586.62/3596.05 o -612807 3586.62/3596.05 o -612808 3586.62/3596.05 o -612808 3586.62/3596.05 o -612809 3586.62/3596.05 o -612812 3586.62/3596.05 o -612818 3586.62/3596.05 o -612822 3586.62/3596.05 o -612822 3586.62/3596.05 o -612827 3586.62/3596.05 o -613776 3586.62/3596.05 o -613776 3586.62/3596.05 o -613800 3586.62/3596.05 o -613807 3586.62/3596.05 o -613814 3586.62/3596.05 o -613816 3586.62/3596.05 o -613816 3586.62/3596.05 o -613818 3586.62/3596.05 o -613828 3586.62/3596.05 o -613828 3586.62/3596.05 o -613830 3586.62/3596.05 o -614797 3586.62/3596.05 o -614829 3586.62/3596.05 o -614830 3586.62/3596.05 o -614830 3586.62/3596.05 o -614830 3586.62/3596.05 o -614830 3586.62/3596.05 o -615718 3586.62/3596.05 o -615722 3586.62/3596.05 o -615811 3586.62/3596.05 o -615813 3586.62/3596.05 o -615826 3586.62/3596.05 o -615832 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615834 3586.62/3596.05 o -615839 3586.62/3596.05 o -615839 3586.62/3596.05 o -615839 3586.62/3596.05 o -615847 3586.62/3596.05 o -615854 3586.62/3596.05 o -616773 3586.62/3596.05 o -616773 3586.62/3596.05 o -616793 3586.62/3596.05 o -616848 3586.62/3596.05 o -616852 3586.62/3596.05 o -616852 3586.62/3596.05 o -616855 3586.62/3596.05 o -618017 3586.62/3596.05 o -618755 3586.62/3596.05 o -618834 3586.62/3596.05 o -618836 3586.62/3596.05 o -618852 3586.62/3596.05 o -618853 3586.62/3596.05 o -618857 3586.62/3596.05 o -619701 3586.62/3596.05 o -619701 3586.62/3596.05 o -619756 3586.62/3596.05 o -619817 3586.62/3596.05 o -619821 3586.62/3596.05 o -619848 3586.62/3596.05 o -619849 3586.62/3596.05 o -619853 3586.62/3596.05 o -619855 3586.62/3596.05 o -619857 3586.62/3596.05 o -619866 3586.62/3596.05 o -619868 3586.62/3596.05 o -619869 3586.62/3596.05 o -619872 3586.62/3596.05 o -619877 3586.62/3596.05 o -619887 3586.62/3596.05 o -619893 3586.62/3596.05 o -619893 3586.62/3596.05 o -619893 3586.62/3596.05 o -620706 3586.62/3596.05 o -620706 3586.62/3596.05 o -620706 3586.62/3596.05 o -620706 3586.62/3596.05 o -620706 3586.62/3596.05 o -620706 3586.62/3596.05 o -620851 3586.62/3596.05 o -620851 3586.62/3596.05 o -620858 3586.62/3596.05 o -620860 3586.62/3596.05 o -620860 3586.62/3596.05 o -620865 3586.62/3596.05 o -621677 3586.62/3596.05 o -621800 3586.62/3596.05 o -621804 3586.62/3596.05 o -621846 3586.62/3596.05 o -621846 3586.62/3596.05 o -621847 3586.62/3596.05 o -621848 3586.62/3596.05 o -621848 3586.62/3596.05 o -621859 3586.62/3596.05 o -621860 3586.62/3596.05 o -622068 3586.62/3596.05 o -622502 3586.62/3596.05 o -622698 3586.62/3596.05 o -622772 3586.62/3596.05 o -622851 3586.62/3596.05 o -623055 3586.62/3596.05 o -623776 3586.62/3596.05 o -623839 3586.62/3596.05 o -623848 3586.62/3596.05 o -623854 3586.62/3596.05 o -624396 3586.62/3596.05 o -624595 3586.62/3596.05 o -624595 3586.62/3596.05 o -624736 3586.62/3596.05 o -624771 3586.62/3596.05 o -624789 3586.62/3596.05 o -624844 3586.62/3596.05 o -624864 3586.62/3596.05 o -624865 3586.62/3596.05 o -624869 3586.62/3596.05 o -624870 3586.62/3596.05 o -624870 3586.62/3596.05 o -624871 3586.62/3596.05 o -625756 3586.62/3596.05 o -625852 3586.62/3596.05 o -625856 3586.62/3596.05 o -625859 3586.62/3596.05 o -625864 3586.62/3596.05 o -625873 3586.62/3596.05 o -626841 3586.62/3596.05 o -626876 3586.62/3596.05 o -626893 3586.62/3596.05 o -626894 3586.62/3596.05 o -626900 3586.62/3596.05 o -626909 3586.62/3596.05 o -626909 3586.62/3596.05 o -626910 3586.62/3596.05 o -626910 3586.62/3596.05 o -626910 3586.62/3596.05 o -626910 3586.62/3596.05 o -626910 3586.62/3596.05 o -626910 3586.62/3596.05 o -626910 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626916 3586.62/3596.05 o -626920 3586.62/3596.05 o -626922 3586.62/3596.05 o -626922 3586.62/3596.05 o -626922 3586.62/3596.05 o -626922 3586.62/3596.05 o -626922 3586.62/3596.05 o -627732 3586.62/3596.05 o -627801 3586.62/3596.05 o -627892 3586.62/3596.05 o -627892 3586.62/3596.05 o -627914 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627916 3586.62/3596.05 o -627921 3586.62/3596.05 o -627923 3586.62/3596.05 o -627931 3586.62/3596.05 o -627933 3586.62/3596.05 o -627933 3586.62/3596.05 o -627940 3586.62/3596.05 o -627950 3586.62/3596.05 o -628850 3586.62/3596.05 o -628850 3586.62/3596.05 o -628881 3586.62/3596.05 o -628885 3586.62/3596.05 o -628903 3586.62/3596.05 o -628936 3586.62/3596.05 o -629507 3586.62/3596.05 o -629897 3586.62/3596.05 o -629916 3586.62/3596.05 o -629920 3586.62/3596.05 o -629923 3586.62/3596.05 o -629923 3586.62/3596.05 o -629923 3586.62/3596.05 o -629931 3586.62/3596.05 o -629932 3586.62/3596.05 o -629935 3586.62/3596.05 o -629944 3586.62/3596.05 o -629947 3586.62/3596.05 o -629956 3586.62/3596.05 o -629956 3586.62/3596.05 o -629956 3586.62/3596.05 o -629966 3586.62/3596.05 o -629966 3586.62/3596.05 o -629966 3586.62/3596.05 o -629973 3586.62/3596.05 o -629974 3586.62/3596.05 o -629974 3586.62/3596.05 o -629974 3586.62/3596.05 o -630918 3586.62/3596.05 o -630918 3586.62/3596.05 o -630918 3586.62/3596.05 o -630918 3586.62/3596.05 o -630922 3586.62/3596.05 o -630935 3586.62/3596.05 o -630947 3586.62/3596.05 o -630947 3586.62/3596.05 o -630947 3586.62/3596.05 o -630947 3586.62/3596.05 o -630947 3586.62/3596.05 o -630947 3586.62/3596.05 c Program interrupted by user. 3586.62/3596.05 s SATISFIABLE 3586.62/3596.05 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 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 x8707 -x8708 -x8709 -x8710 x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 x9229 -x9230 x9231 -x9232 -x9233 x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 x9370 x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 x9564 -x9565 x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 x9592 -x9593 x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 x9603 -x9604 -x9605 -x9606 -x9607 -x9608 x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 x9677 x9678 -x9679 -x9680 -x9681 -x9682 x9683 -x9684 x9685 -x9686 -x9687 -x9688 -x9689 x9690 -x9691 -x9692 -x9693 -x9694 -x9695 x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 x9720 -x9721 -x9722 -x9723 x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 x9748 -x9749 -x9750 x9751 -x9752 x9753 -x9754 -x9755 -x9756 x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 x9854 -x9855 x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 x9891 -x9892 x9893 -x9894 x9895 x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
OK -630947
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62732 MiB free)
memory of node 1: 64473 MiB (57170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457571-1722987733/watcher-4457571-1722987733 -o /tmp/evaluation-result-4457571-1722987733/solver-4457571-1722987733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722982188-351425 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4457571-1722987733.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=355535, runsolver pid=355532
[startup+0.10015 s]*
/proc/loadavg: 4.15 4.16 4.17 5/254 355539
/proc/meminfo: memFree=122765440/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=33084 memory=18236 CPUtime=0.1 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 4049 0 0 0 9 1 0 0 20 0 1 0 65143457 33878016 4559 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 8271 4559 1018 2726 0 5019 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51676 KiB
Current children cumulated memory: 22056 KiB
[startup+0.214139 s]*
/proc/loadavg: 4.15 4.16 4.17 5/254 355539
/proc/meminfo: memFree=122765272/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=33372 memory=18620 CPUtime=0.21 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 4129 0 0 0 20 1 0 0 20 0 1 0 65143457 34172928 4655 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 8343 4655 1050 2726 0 5091 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51964 KiB
Current children cumulated memory: 22440 KiB
[startup+0.31382 s]*
/proc/loadavg: 4.15 4.16 4.17 5/254 355539
/proc/meminfo: memFree=122759692/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=38620 memory=23900 CPUtime=0.3 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 5428 0 0 0 29 1 0 0 20 0 1 0 65143457 39546880 5975 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 9655 5975 1050 2726 0 6403 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 57212 KiB
Current children cumulated memory: 27720 KiB
[startup+0.700409 s]
/proc/loadavg: 4.15 4.16 4.17 5/254 355539
/proc/meminfo: memFree=122759524/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=38620 memory=23900 CPUtime=0.67 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 5428 0 0 0 66 1 0 0 20 0 1 0 65143457 39546880 5975 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 9655 5975 1050 2726 0 6403 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 57212 KiB
Current children cumulated memory: 27720 KiB
[startup+1.50041 s]
/proc/loadavg: 4.13 4.16 4.17 5/254 355539
/proc/meminfo: memFree=122759524/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=38620 memory=23900 CPUtime=1.47 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 5428 0 0 0 146 1 0 0 20 0 1 0 65143457 39546880 5975 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 9655 5975 1050 2726 0 6403 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 57212 KiB
Current children cumulated memory: 27720 KiB
[startup+3.11418 s]
/proc/loadavg: 4.13 4.16 4.17 5/254 355539
/proc/meminfo: memFree=122759164/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=38620 memory=23900 CPUtime=3.08 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 5428 0 0 0 307 1 0 0 20 0 1 0 65143457 39546880 5975 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 9655 5975 1050 2726 0 6403 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 57212 KiB
Current children cumulated memory: 27720 KiB
[startup+6.30048 s]
/proc/loadavg: 4.12 4.16 4.17 5/254 355541
/proc/meminfo: memFree=122493160/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=301180 memory=285972 CPUtime=6.27 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 32999 0 0 0 617 10 0 0 20 0 1 0 65143457 308408320 71493 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 75295 71493 1066 2726 0 72043 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 319772 KiB
Current children cumulated memory: 289792 KiB
[startup+12.7005 s]
/proc/loadavg: 4.11 4.15 4.17 5/254 355541
/proc/meminfo: memFree=120829908/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=2030772 memory=1950528 CPUtime=12.66 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 224466 0 0 0 1205 61 0 0 20 0 1 0 65143457 2079510528 487632 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 507693 487632 1146 2726 0 504441 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2049364 KiB
Current children cumulated memory: 1954348 KiB
[startup+25.5005 s]
/proc/loadavg: 4.10 4.15 4.17 5/254 355616
/proc/meminfo: memFree=119824932/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=2034996 memory=1955000 CPUtime=25.42 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 225676 0 0 0 2481 61 0 0 20 0 1 0 65143457 2083835904 488750 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 508749 488750 1146 2726 0 505497 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2053588 KiB
Current children cumulated memory: 1958820 KiB
[startup+51.114 s]
/proc/loadavg: 4.06 4.13 4.16 5/254 355619
/proc/meminfo: memFree=119809120/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 697 619 264 0 134 0
[pid=355538] ppid=355535 vsize=8660 memory=1032 CPUtime=0 cores=4,6
/proc/355538/stat : 355538 (timeout) S 355535 355538 351414 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 65143457 8867840 258 134679101440 94635454554112 94635454589128 140727784852016 0 0 0 0 3145728 90119 0 0 0 17 4 0 0 0 0 0 94635456686544 94635456688676 94635478970368 140727784858622 140727784858781 140727784858781 140727784865767 0
/proc/355538/statm: 2165 258 234 9 0 87 0
[pid=355539] ppid=355538 vsize=2040456 memory=1960204 CPUtime=50.96 cores=4,6
/proc/355539/stat : 355539 (CASHWMaxSAT-Dis) R 355538 355538 351414 0 -1 4194304 227252 0 0 0 5035 61 0 0 20 0 1 0 65143457 2089426944 490051 134679101440 4194304 15356333 140734799478704 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 32915456 140734799483907 140734799484053 140734799484053 140734799491039 0
/proc/355539/statm: 510114 490051 1146 2726 0 506862 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2059048 KiB
Current children cumulated memory: 1964024 KiB
[startup+102.301 s]
/proc/loadavg: 4.08 4.12 4.16 5/254 355628
/proc/meminfo: memFree=119693644/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2788 CPUtime=0 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 245 103 0 0 0 0 0 0 20 0 1 0 65143457 10170368 697 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
################
# More data... #
################
/proc/356581/statm: 677225 625046 852 745 0 676290 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 2727492 KiB
Current children cumulated memory: 2504024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/250 357623
/proc/meminfo: memFree=120470456/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2708900 memory=2500192 CPUtime=1660.2 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 380179 0 0 0 165907 113 0 0 20 0 1 0 65323258 2773913600 625048 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 677225 625048 852 745 0 676290 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 2727492 KiB
Current children cumulated memory: 2504032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/252 357637
/proc/meminfo: memFree=120523556/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2729624 memory=2511708 CPUtime=1720.07 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 384070 0 0 0 171893 114 0 0 20 0 1 0 65323258 2795134976 627927 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 682406 627927 852 745 0 681471 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 2748216 KiB
Current children cumulated memory: 2515548 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.15 6/246 357696
/proc/meminfo: memFree=120881768/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2729624 memory=2511848 CPUtime=1779.94 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 384928 0 0 0 177880 114 0 0 20 0 1 0 65323258 2795134976 627962 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 682406 627962 852 745 0 681471 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 2748216 KiB
Current children cumulated memory: 2515688 KiB
[startup+3596.06 s]
# the end of solver process 355535 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.77 s, system=1.92229 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.15 5/252 357707
/proc/meminfo: memFree=120832748/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2729624 memory=2511848 CPUtime=1781.64 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 384932 0 0 0 178050 114 0 0 20 0 1 0 65323258 2795134976 627962 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 682406 627962 852 745 0 681471 0
Current children cumulated CPU time: 3574.64 s
Current children cumulated vsize: 2748216 KiB
Current children cumulated memory: 2515688 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.14 5/252 357707
/proc/meminfo: memFree=120814776/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2729624 memory=2511848 CPUtime=1788.02 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 384943 0 0 0 178688 114 0 0 20 0 1 0 65323258 2795134976 627962 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 682406 627962 852 745 0 681471 0
Current children cumulated CPU time: 3581.02 s
Current children cumulated vsize: 2748216 KiB
Current children cumulated memory: 2515688 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.12 4.14 5/252 357707
/proc/meminfo: memFree=120806580/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2729624 memory=2511848 CPUtime=1791.21 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 384997 0 0 0 179007 114 0 0 20 0 1 0 65323258 2795134976 627962 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 682406 627962 852 745 0 681471 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 2748216 KiB
Current children cumulated memory: 2515688 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.14 5/252 357708
/proc/meminfo: memFree=120806072/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2729624 memory=2511848 CPUtime=1792.81 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 385000 0 0 0 179167 114 0 0 20 0 1 0 65323258 2795134976 627962 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 682406 627962 852 745 0 681471 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 2748216 KiB
Current children cumulated memory: 2515688 KiB
[startup+3595.6 s]
/proc/loadavg: 4.12 4.12 4.14 5/252 357708
/proc/meminfo: memFree=120806072/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2729624 memory=2511848 CPUtime=1793.21 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 385001 0 0 0 179207 114 0 0 20 0 1 0 65323258 2795134976 627962 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 682406 627962 852 745 0 681471 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 2748216 KiB
Current children cumulated memory: 2515688 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.14 5/252 357708
/proc/meminfo: memFree=120799304/131655788 swapFree=131071472/131071996
[pid=355535] ppid=355532 vsize=9932 memory=2844 CPUtime=1793 cores=4,6
/proc/355535/stat : 355535 (Hybrid-CASHWMax) S 355532 355535 351414 0 -1 4194304 275 248181 0 0 0 0 179225 75 20 0 1 0 65143457 10170368 711 134679101440 94787338682368 94787339761688 140726580219216 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94787341860144 94787341907332 94787373740032 140726580220878 140726580221037 140726580221037 140726580228052 0
/proc/355535/statm: 2483 711 619 264 0 134 0
[pid=356580] ppid=355535 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/356580/stat : 356580 (timeout) S 355535 356580 351414 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65323258 8867840 249 134679101440 94282973048832 94282973083848 140734900592176 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94282975181264 94282975183396 94282978910208 140734900593652 140734900593821 140734900593821 140734900600807 0
/proc/356580/statm: 2165 249 225 9 0 87 0
[pid=356581] ppid=356580 vsize=2729624 memory=2511848 CPUtime=1793.62 cores=4,6
/proc/356581/stat : 356581 (Exact) R 356580 356580 351414 0 -1 4194304 385001 0 0 0 179248 114 0 0 20 0 1 0 65323258 2795134976 627962 134679101440 4194304 7243121 140723003489168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7942632 8006904 30670848 140723003495440 140723003495590 140723003495590 140723003502576 0
/proc/356581/statm: 682406 627962 852 745 0 681471 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 2748216 KiB
Current children cumulated memory: 2515688 KiB
Child status: 0
Real time (s): 3596.06
CPU time (s): 3586.7
CPU user time (s): 3584.77
CPU system time (s): 1.92229
CPU usage (%): 99.7396
Max. virtual memory (cumulated for all children) (KiB): 2934124
Max. memory (cumulated for all children) (KiB): 2515688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.77
system time used= 1.92229
maximum resident set size= 2511848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184
involuntary context switches= 3171
# summary of solver processes directly reported to runsolver:
# pid: 355535
# total CPU time (s): 3586.7
# total CPU user time (s): 3584.77
# total CPU system time (s): 1.92229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6367 second user time and 39.3918 second system time
The end
Begin job on nodeC012 at 2024-08-07 01:42:13 IDJOB=4457571 IDBENCH=176418 IDSOLVER=3072 FILE ID=nodeC012/4457571-1722987733 RUNJOBID= nodeC012-1722982188-351425 SLURM_JOB_ID= 8259087 Free space on /tmp= 723724 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/normalized-knapPI_5_2000_10000_5_-952740.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457571-1722987733/watcher-4457571-1722987733 -o /tmp/evaluation-result-4457571-1722987733/solver-4457571-1722987733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722982188-351425 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4457571-1722987733.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e208dfd6470fdaec043d153d73efd29c RANDOM SEED=422135881 nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3658.808 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3650.710 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.387 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.234 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.859 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3653.376 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.212 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.70 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.280 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122781600 kB MemAvailable: 128817236 kB Buffers: 360368 kB Cached: 6514180 kB SwapCached: 48 kB Active: 640512 kB Inactive: 7743484 kB Active(anon): 1524 kB Inactive(anon): 1545560 kB Active(file): 638988 kB Inactive(file): 6197924 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 38532 kB Writeback: 0 kB AnonPages: 1508284 kB Mapped: 123932 kB Shmem: 37632 kB KReclaimable: 77844 kB Slab: 165092 kB SReclaimable: 77844 kB SUnreclaim: 87248 kB KernelStack: 4092 kB PageTables: 12648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1997572 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 25024 kB HardwareCorrupted: 0 kB AnonHugePages: 745472 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: 269128 kB DirectMap2M: 24801280 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723708 MiB End job on nodeC012 at 2024-08-07 02:42:10