Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 15 | 1798.09 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb |
MD5SUM | 64354bd2b9c3cc2f1ca2c32032e5c032 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 1796.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 51 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6260 |
Sum of products size (including duplicates) | 12520 |
Number of different products | 6260 |
Sum of products size | 12520 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1876722-1245193449.opb 0.00/0.00 c File size is 462769 bytes. 0.00/0.06 c Highest Coefficient sum: 200 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.065 s 0.00/0.07 c Var: 6460 Constr: 12720 6460/0/6260 Lit: 44020 Watch. Lit: 31700 0.00/0.07 c Obj. Vars: 200 (3.09598 % of total variables) 0.49/0.53 c Pre-processing Time: 0.534 s 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6460 12720 44020 3 31700 39713 0 0 0.53 0.49/0.53 c Switching off lower bounding mode. 0.49/0.54 o 199 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6460 12721 44220 3 31703 39846 1 0 0.54 0.49/0.55 o 198 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6460 12722 44420 3 31707 40046 2 0 0.55 0.49/0.55 o 197 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12723 44620 3 31712 40313 3 0 0.56 0.49/0.56 o 196 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6460 12724 44820 3 31718 40646 4 0 0.57 0.49/0.57 o 195 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6460 12725 45020 3 31725 41046 5 0 0.57 0.49/0.58 o 194 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6460 12726 45220 3 31733 41513 6 0 0.58 0.49/0.59 o 193 0.49/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.60 c 0 6460 12727 45420 3 31742 42046 7 0 0.59 0.49/0.60 o 192 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 6460 12728 45620 3 31752 42646 8 0 0.60 0.59/0.60 o 191 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 6460 12729 45820 3 31763 43313 9 0 0.61 0.59/0.61 o 190 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 0 6460 12730 46020 3 31775 44046 10 0 0.62 0.59/0.62 o 189 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 6460 12731 46220 3 31788 44846 11 0 0.63 0.59/0.63 o 188 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 6460 12732 46420 3 31802 45713 12 0 0.64 0.59/0.64 o 187 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 6460 12733 46620 3 31817 46646 13 0 0.65 0.59/0.65 o 186 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6460 12734 46820 3 31833 47646 14 0 0.66 0.59/0.66 o 185 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 6460 12735 47020 3 31850 48646 15 0 0.67 0.59/0.67 o 184 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 6460 12736 47220 3 31868 49646 16 0 0.68 0.59/0.68 o 183 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6460 12737 47420 3 31887 50646 17 0 0.69 0.59/0.69 o 182 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 0 6460 12738 47620 3 31907 51646 18 0 0.70 0.69/0.70 o 181 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 6460 12739 47820 3 31928 52646 19 0 0.70 0.69/0.71 o 180 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 0 6460 12740 48020 3 31950 53646 20 0 0.72 0.69/0.72 o 179 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 6460 12741 48220 3 31973 54646 21 0 0.73 0.69/0.73 o 178 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 0 6460 12742 48420 3 31997 55646 22 0 0.74 0.69/0.74 o 177 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 0 6460 12743 48620 3 32022 56646 23 0 0.75 0.69/0.75 o 176 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 0 6460 12744 48820 3 32048 57646 24 0 0.76 0.69/0.76 o 175 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 0 6460 12745 49020 3 32075 58646 25 0 0.77 0.69/0.77 o 174 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 0 6460 12746 49220 3 32103 59646 26 0 0.78 0.69/0.78 o 173 0.69/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.80 c 0 6460 12747 49420 3 32132 60646 27 0 0.79 0.69/0.80 o 172 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 6460 12748 49620 3 32162 61646 28 0 0.80 0.79/0.81 o 171 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 6460 12749 49820 3 32193 62646 29 0 0.81 0.79/0.82 o 170 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 6460 12750 50020 3 32225 63646 30 0 0.82 0.79/0.83 o 169 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 6460 12751 50220 3 32258 64646 31 0 0.83 0.79/0.84 o 168 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 6460 12752 50420 3 32292 65646 32 0 0.85 0.79/0.85 o 167 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 6460 12753 50620 3 32327 66646 33 0 0.86 0.79/0.86 o 166 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 6460 12754 50820 3 32363 67646 34 0 0.87 0.79/0.88 o 165 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 6460 12755 51020 4 32400 68646 35 0 0.88 0.79/0.89 o 164 0.79/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.90 c 0 6460 12756 51220 4 32438 69646 36 0 0.89 0.79/0.90 o 163 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 6460 12757 51420 4 32477 70646 37 0 0.90 0.89/0.91 o 162 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 6460 12758 51620 4 32517 71646 38 0 0.91 0.89/0.92 o 161 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 0 6460 12759 51820 4 32558 72646 39 0 0.92 0.89/0.93 o 160 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 0 6460 12760 52020 4 32600 73646 40 0 0.93 0.89/0.94 o 159 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 6460 12761 52220 4 32643 74646 41 0 0.94 0.89/0.95 o 158 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 6460 12762 52420 4 32687 75646 42 0 0.96 0.89/0.96 o 157 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 6460 12763 52620 4 32732 76646 43 0 0.97 0.89/0.98 o 156 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 6460 12764 52820 4 32778 77646 44 0 0.98 0.89/0.99 o 155 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 0 6460 12765 53020 4 32825 78646 45 0 0.99 0.99/1.00 o 154 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 0 6460 12766 53220 4 32873 79646 46 0 1.00 0.99/1.01 o 153 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 6460 12767 53420 4 32922 80646 47 0 1.01 0.99/1.02 o 152 0.99/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.03 c 0 6460 12768 53620 4 32972 81646 48 0 1.02 0.99/1.03 o 151 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 0 6460 12769 53820 4 33023 82646 49 0 1.03 0.99/1.04 o 150 0.99/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.05 c 0 6460 12770 54020 4 33075 83646 50 0 1.04 0.99/1.05 o 149 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 0 6460 12771 54220 4 33128 84646 51 0 1.06 0.99/1.06 o 148 0.99/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.07 c 0 6460 12772 54420 4 33182 85646 52 0 1.07 0.99/1.07 o 147 0.99/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.08 c 0 6460 12773 54620 4 33237 86646 53 0 1.08 0.99/1.08 o 146 0.99/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.09 c 0 6460 12774 54820 4 33293 87646 54 0 1.09 0.99/1.09 o 145 1.10/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.11 c 0 6460 12775 55020 4 33350 88646 55 0 1.10 1.10/1.11 o 144 1.10/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.12 c 0 6460 12776 55220 4 33408 89646 56 0 1.11 1.10/1.12 o 143 1.10/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.13 c 0 6460 12777 55420 4 33467 90646 57 0 1.12 1.10/1.13 o 142 1.10/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.14 c 0 6460 12778 55620 4 33527 91646 58 0 1.13 1.10/1.14 o 141 1.10/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.15 c 0 6460 12779 55820 4 33588 92646 59 0 1.14 1.10/1.15 o 140 1.10/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.16 c 0 6460 12780 56020 4 33650 93646 60 0 1.15 1.10/1.16 o 139 1.10/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.17 c 0 6460 12781 56220 4 33713 94646 61 0 1.16 1.10/1.17 o 138 1.10/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.18 c 0 6460 12782 56420 4 33777 95646 62 0 1.17 1.10/1.18 o 137 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 0 6460 12783 56620 4 33842 96646 63 0 1.18 1.10/1.19 o 136 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 0 6460 12784 56820 4 33908 97646 64 0 1.19 1.19/1.20 o 135 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 0 6460 12785 57020 4 33975 98646 65 0 1.20 1.19/1.21 o 134 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 0 6460 12786 57220 4 34043 99646 66 0 1.22 1.19/1.22 o 133 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 0 6460 12787 57420 4 34112 100646 67 0 1.22 1.19/1.23 o 132 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 6460 12788 57620 4 34182 101646 68 0 1.24 1.19/1.24 o 131 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 0 6460 12789 57820 4 34253 102646 69 0 1.24 1.19/1.25 o 130 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 0 6460 12790 58020 4 34325 103646 70 0 1.25 1.19/1.26 o 129 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 0 6460 12791 58220 4 34398 104646 71 0 1.26 1.19/1.27 o 128 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 0 6460 12792 58420 4 34472 105646 72 0 1.27 1.19/1.28 o 127 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 0 6460 12793 58620 4 34547 106646 73 0 1.28 1.19/1.29 o 126 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 0 6460 12794 58820 4 34623 107646 74 0 1.29 1.29/1.30 o 125 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 0 6460 12795 59020 4 34700 108646 75 0 1.30 1.29/1.31 o 124 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 6460 12796 59220 4 34778 109646 76 0 1.31 1.29/1.32 o 123 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 0 6460 12797 59420 4 34857 110646 77 0 1.32 1.29/1.33 o 122 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 0 6460 12798 59620 4 34937 111646 78 0 1.33 1.29/1.34 o 121 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 1 6460 12800 59942 4 35020 111646 80 0 1.34 1.29/1.35 o 21 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 1 6460 12801 60142 4 35201 111646 81 0 1.35 1.29/1.36 o 20 1.38/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.38/1.46 c 1 6460 12802 60342 4 35383 111646 82 0 1.37 1.38/1.46 c 101 6460 12905 74687 5 35589 122811 185 69 1.44 1.38/1.46 o 19 1.38/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.38/1.47 c 111 6460 12917 76536 5 35794 111646 197 75 1.46 1.38/1.47 o 18 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 112 6460 12919 76840 5 35980 111646 199 75 1.48 1.59/1.61 c 212 6460 13019 91042 6 36180 122811 299 135 1.56 1.59/1.61 o 17 3.79/3.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.86 c 268 6460 13077 98251 7 36479 111646 357 166 1.61 3.79/3.86 c 369 6460 13178 110342 8 36681 122811 458 217 1.70 3.79/3.86 c 620 6460 13440 151093 11 37656 135093 720 324 1.91 3.79/3.86 c 1097 6460 13926 209752 15 38714 148603 1206 475 2.31 3.79/3.86 c 1910 6460 14772 311835 21 40525 163464 2052 622 3.07 3.79/3.86 o 16 15.19/15.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 15.19/15.27 c 2761 6460 15646 418214 26 42457 111646 2926 714 3.87 15.19/15.27 c 2861 6460 15754 434111 27 42673 122811 3034 720 3.97 15.19/15.27 c 3111 6460 16011 464031 28 43187 135093 3291 734 4.24 15.19/15.27 c 3587 6460 16499 514432 31 44163 148603 3779 750 4.78 15.19/15.27 c 4402 6460 17339 623751 35 45938 163464 4619 759 5.80 15.19/15.27 c 5722 6460 18688 771579 41 48874 179811 5968 777 7.36 15.19/15.27 c 7804 6460 20836 982427 47 53582 197793 8116 746 10.45 15.19/15.27 o 15 1798.02/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.02/1798.51 c 10571 6460 23699 1409244 59 60203 111646 10979 692 15.27 1798.02/1798.51 c 10671 6460 23801 1421939 59 60407 122811 11081 689 15.48 1798.02/1798.51 c 10923 6460 24065 1457951 60 60935 135093 11345 681 16.03 1798.02/1798.51 c 11398 6460 24555 1523144 62 61915 148603 11835 669 17.04 1798.02/1798.51 c 12211 6460 25395 1622324 63 63595 163464 12675 654 18.67 1798.02/1798.51 c 13532 6460 26756 1773809 66 67186 179811 14036 617 21.92 1798.02/1798.51 c 15613 6460 28912 2056027 71 72584 197793 16192 579 26.93 1798.02/1798.51 c 18837 6460 32285 2466649 76 79734 217573 19565 520 36.17 1798.02/1798.51 c 23774 6460 37404 3109510 83 91616 239331 24684 443 53.63 1798.02/1798.51 c 31280 6460 45160 4046308 89 108852 263265 32440 380 82.26 1798.02/1798.51 c 42641 6460 57062 6146841 107 143437 289592 44342 303 140.30 1798.02/1798.51 c 59785 6460 74897 8409461 112 188343 318552 62177 233 256.10 1798.02/1798.51 c 85604 6460 101746 12340247 121 253662 350408 89026 178 478.68 1798.02/1798.51 c 124436 6460 142302 17255333 121 338804 385449 129582 133 932.17 1798.02/1798.51 c Resources Exceeded 1798.02/1798.51 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 1798.02/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.02/1798.51 c 111 180069 54895 320441 200143 24130569 187423 100 1798.04 1798.02/1798.51 c Objective: 15 1798.02/1798.51 s SATISFIABLE 1798.02/1798.51 c Total time: 1798.04 s
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876722-1245193449/watcher-1876722-1245193449 -o /tmp/evaluation-result-1876722-1245193449/solver-1876722-1245193449 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876722-1245193449.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 14618 /proc/meminfo: memFree=1850360/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=18980 CPUtime=0 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 72053766 19435520 250 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 4745 250 174 640 0 3988 0 [startup+0.00682909 s] /proc/loadavg: 0.92 0.98 0.99 3/64 14618 /proc/meminfo: memFree=1850360/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=19116 CPUtime=0 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 72053766 19574784 273 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 4779 273 176 640 0 4022 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 19116 [startup+0.101837 s] /proc/loadavg: 0.92 0.98 0.99 3/64 14618 /proc/meminfo: memFree=1850360/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=13820 CPUtime=0.09 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 1150 0 0 0 9 0 0 0 18 0 1 0 72053766 14151680 1021 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 3455 1021 189 640 0 2811 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13820 [startup+0.301854 s] /proc/loadavg: 0.92 0.98 0.99 3/64 14618 /proc/meminfo: memFree=1850360/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=13820 CPUtime=0.29 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 1150 0 0 0 29 0 0 0 19 0 1 0 72053766 14151680 1021 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 3455 1021 189 640 0 2811 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13820 [startup+0.701889 s] /proc/loadavg: 0.92 0.98 0.99 3/64 14618 /proc/meminfo: memFree=1850360/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=14064 CPUtime=0.69 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 1518 0 0 0 66 3 0 0 22 0 1 0 72053766 14401536 1080 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 3516 1080 195 640 0 2872 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14064 [startup+1.50196 s] /proc/loadavg: 0.92 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1846512/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=14656 CPUtime=1.49 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 1669 0 0 0 144 5 0 0 25 0 1 0 72053766 15007744 1231 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 3664 1231 197 640 0 3020 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14656 [startup+3.1011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1844528/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=17896 CPUtime=3.09 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 2487 0 0 0 303 6 0 0 25 0 1 0 72053766 18325504 2049 1992294400 134512640 137136520 4294956256 18446744073709551615 136502329 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 4474 2049 197 640 0 3830 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17896 [startup+6.30138 s] /proc/loadavg: 0.93 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1838896/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=22896 CPUtime=6.29 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 3735 0 0 0 622 7 0 0 25 0 1 0 72053766 23445504 3297 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 5724 3297 197 640 0 5080 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22896 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1831216/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=30336 CPUtime=12.69 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 5602 0 0 0 1259 10 0 0 25 0 1 0 72053766 31064064 5164 1992294400 134512640 137136520 4294956256 18446744073709551615 136499606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 7584 5164 197 640 0 6940 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30336 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1819312/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=41380 CPUtime=25.49 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 8348 0 0 0 2536 13 0 0 25 0 1 0 72053766 42373120 7910 1992294400 134512640 137136520 4294956256 18446744073709551615 134616757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 10345 7910 197 640 0 9701 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41380 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1804912/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=55936 CPUtime=51.07 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 11987 0 0 0 5090 17 0 0 25 0 1 0 72053766 57278464 11549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 13984 11549 197 640 0 13340 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55936 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1780208/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=80216 CPUtime=102.26 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 18070 0 0 0 10202 24 0 0 25 0 1 0 72053766 82141184 17624 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 20054 17624 197 640 0 19410 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 80216 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1755440/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=105060 CPUtime=162.24 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 24292 0 0 0 16191 33 0 0 25 0 1 0 72053766 107581440 23838 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 26265 23838 197 640 0 25621 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 105060 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1737904/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=122364 CPUtime=222.23 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 28628 0 0 0 22183 40 0 0 25 0 1 0 72053766 125300736 28174 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 30591 28174 197 640 0 29947 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 122364 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1721712/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=138628 CPUtime=282.21 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 32700 0 0 0 28176 45 0 0 25 0 1 0 72053766 141955072 32237 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 34657 32237 197 640 0 34013 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 138628 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1704752/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=155400 CPUtime=342.2 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 36901 0 0 0 34170 50 0 0 25 0 1 0 72053766 159129600 36430 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 38850 36430 197 640 0 38206 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 155400 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1689776/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=170504 CPUtime=402.18 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 40667 0 0 0 40164 54 0 0 25 0 1 0 72053766 174596096 40196 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 42626 40196 197 640 0 41982 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 170504 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1678128/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=182004 CPUtime=462.16 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 43543 0 0 0 46158 58 0 0 25 0 1 0 72053766 186372096 43071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 45501 43071 197 640 0 44857 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 182004 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1666992/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=193148 CPUtime=522.15 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 46331 0 0 0 52152 63 0 0 25 0 1 0 72053766 197783552 45857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 48287 45857 197 640 0 47643 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 193148 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1652016/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=207944 CPUtime=582.14 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 50031 0 0 0 58147 67 0 0 25 0 1 0 72053766 212934656 49557 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 51986 49557 197 640 0 51342 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 207944 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 14619 /proc/meminfo: memFree=1643632/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=216320 CPUtime=642.12 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 52121 0 0 0 64142 70 0 0 25 0 1 0 72053766 221511680 51644 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 54080 51644 197 640 0 53436 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 216320 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1590768/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=268972 CPUtime=1062.01 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 65287 0 0 0 106111 90 0 0 25 0 1 0 72053766 275427328 64807 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 67243 64807 197 640 0 66599 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 268972 [startup+1122.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 14619 /proc/meminfo: memFree=1583728/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=275880 CPUtime=1121.99 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 67020 0 0 0 112106 93 0 0 25 0 1 0 72053766 282501120 66540 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 68970 66540 197 640 0 68326 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 275880 [startup+1182.3 s] /proc/loadavg: 1.12 1.04 1.01 2/65 14619 /proc/meminfo: memFree=1575728/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=283928 CPUtime=1181.97 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 69031 0 0 0 118100 97 0 0 25 0 1 0 72053766 290742272 68551 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 70982 68551 197 640 0 70338 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 283928 [startup+1242.3 s] /proc/loadavg: 1.08 1.04 1.01 2/65 14619 /proc/meminfo: memFree=1567792/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=291816 CPUtime=1241.96 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 71009 0 0 0 124097 99 0 0 25 0 1 0 72053766 298819584 70519 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 72954 70519 197 640 0 72310 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 291816 [startup+1302.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 14619 /proc/meminfo: memFree=1560816/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=298628 CPUtime=1301.95 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 72716 0 0 0 130094 101 0 0 25 0 1 0 72053766 305795072 72226 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 74657 72226 197 640 0 74013 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 298628 [startup+1362.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 14619 /proc/meminfo: memFree=1553712/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=305800 CPUtime=1361.93 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 74512 0 0 0 136089 104 0 0 25 0 1 0 72053766 313139200 74022 1992294400 134512640 137136520 4294956256 18446744073709551615 136502027 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 76450 74022 197 640 0 75806 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 305800 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/65 14619 /proc/meminfo: memFree=1546544/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=312848 CPUtime=1421.92 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 76273 0 0 0 142085 107 0 0 25 0 1 0 72053766 320356352 75783 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 78212 75783 197 640 0 77568 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 312848 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14619 /proc/meminfo: memFree=1540720/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=318728 CPUtime=1481.9 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 77756 0 0 0 148081 109 0 0 25 0 1 0 72053766 326377472 77264 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 79682 77264 197 640 0 79038 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 318728 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 14619 /proc/meminfo: memFree=1534000/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=325384 CPUtime=1541.87 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 79402 0 0 0 154076 111 0 0 25 0 1 0 72053766 333193216 78910 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 81346 78910 197 640 0 80702 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 325384 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1528752/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=330544 CPUtime=1601.87 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 80704 0 0 0 160072 115 0 0 25 0 1 0 72053766 338477056 80206 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 82636 80206 197 640 0 81992 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 330544 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1522928/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=336300 CPUtime=1661.84 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 82138 0 0 0 166067 117 0 0 25 0 1 0 72053766 344371200 81640 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 84075 81640 197 640 0 83431 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 336300 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1517040/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=342244 CPUtime=1721.83 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 83638 0 0 0 172064 119 0 0 25 0 1 0 72053766 350457856 83127 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 85561 83127 197 640 0 84917 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 342244 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1510512/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=348672 CPUtime=1781.82 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 85248 0 0 0 178060 122 0 0 25 0 1 0 72053766 357040128 84737 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 87168 84737 197 640 0 86524 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 348672 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1509424/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=349700 CPUtime=1791.41 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 85519 0 0 0 179019 122 0 0 25 0 1 0 72053766 358092800 85008 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 87425 85008 197 640 0 86781 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 349700 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1509104/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=350016 CPUtime=1794.61 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 85597 0 0 0 179339 122 0 0 25 0 1 0 72053766 358416384 85086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 87504 85086 197 640 0 86860 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 350016 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1508976/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=350268 CPUtime=1796.22 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 85656 0 0 0 179499 123 0 0 25 0 1 0 72053766 358674432 85145 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 87567 85145 197 640 0 86923 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 350268 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1508848/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=350324 CPUtime=1797.01 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 85671 0 0 0 179578 123 0 0 25 0 1 0 72053766 358731776 85160 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 87581 85160 197 640 0 86937 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 350324 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1508848/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=350468 CPUtime=1797.81 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 85692 0 0 0 179658 123 0 0 25 0 1 0 72053766 358879232 85181 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 87617 85181 197 640 0 86973 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 350468 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14619 /proc/meminfo: memFree=1508720/2055920 swapFree=4192044/4192956 [pid=14618] ppid=14616 vsize=350468 CPUtime=1798.02 /proc/14618/stat : 14618 (bsolo) R 14616 14618 12952 0 -1 4194304 85695 0 0 0 179679 123 0 0 25 0 1 0 72053766 358879232 85184 1992294400 134512640 137136520 4294956256 18446744073709551615 136501971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14618/statm: 87617 85184 197 640 0 86973 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 350468 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.09 CPU user time (s): 1796.81 CPU system time (s): 1.2848 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 350468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.81 system time used= 1.2848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85697 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3325 runsolver used 1.06184 second user time and 3.99939 second system time The end
Begin job on node41 at 2009-06-17 01:04:09 IDJOB=1876722 IDBENCH=48132 IDSOLVER=699 FILE ID=node41/1876722-1245193449 PBS_JOBID= 9368285 Free space on /tmp= 65960 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876722-1245193449/watcher-1876722-1245193449 -o /tmp/evaluation-result-1876722-1245193449/solver-1876722-1245193449 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876722-1245193449.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032 RANDOM SEED=1444878663 node41.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1851224 kB Buffers: 18108 kB Cached: 106664 kB SwapCached: 416 kB Active: 62828 kB Inactive: 74412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1851224 kB SwapTotal: 4192956 kB SwapFree: 4192044 kB Dirty: 4024 kB Writeback: 0 kB Mapped: 21532 kB Slab: 53576 kB Committed_AS: 63504 kB PageTables: 1364 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876722-1245193449.opb Free space on /tmp at the end= 65956 MiB End job on node41 at 2009-06-17 01:34:08