Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | 15 | 1798.03 | 1798.59 |
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 | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 351.226 |
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 15500 MB 0.00/0.00 c Instance file HOME/instance-3736827-1338728798.opb 0.00/0.00 c File size is 462769 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.031 s 0.00/0.03 c Var: 6460 Constr: 12720 6460/0/6260 Lit: 44020 Watch. Lit: 31700 0.00/0.03 c Obj. Vars: 200 (3.09598 % of total variables) 0.18/0.21 c Pre-processing Time: 0.213 s 0.18/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.21 c 0 6460 12720 44020 3 31700 39713 0 0 0.21 0.18/0.21 c Switching off lower bounding mode. 0.18/0.21 o 199 0.18/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.22 c 0 6460 12721 44220 3 31703 39846 1 0 0.22 0.18/0.22 o 198 0.18/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.22 c 0 6460 12722 44420 3 31707 40046 2 0 0.22 0.18/0.22 o 197 0.18/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.22 c 0 6460 12723 44620 3 31712 40313 3 0 0.22 0.18/0.22 o 196 0.18/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.23 c 0 6460 12724 44820 3 31718 40646 4 0 0.23 0.18/0.23 o 195 0.18/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.23 c 0 6460 12725 45020 3 31725 41046 5 0 0.23 0.18/0.23 o 194 0.18/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.23 c 0 6460 12726 45220 3 31733 41513 6 0 0.23 0.18/0.23 o 193 0.18/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.24 c 0 6460 12727 45420 3 31742 42046 7 0 0.24 0.18/0.24 o 192 0.18/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.24 c 0 6460 12728 45620 3 31752 42646 8 0 0.24 0.18/0.24 o 191 0.18/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.25 c 0 6460 12729 45820 3 31763 43313 9 0 0.24 0.18/0.25 o 190 0.18/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.25 c 0 6460 12730 46020 3 31775 44046 10 0 0.25 0.18/0.25 o 189 0.18/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.25 c 0 6460 12731 46220 3 31788 44846 11 0 0.25 0.18/0.25 o 188 0.18/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.26 c 0 6460 12732 46420 3 31802 45713 12 0 0.26 0.18/0.26 o 187 0.18/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.26 c 0 6460 12733 46620 3 31817 46646 13 0 0.26 0.18/0.26 o 186 0.18/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.27 c 0 6460 12734 46820 3 31833 47646 14 0 0.27 0.18/0.27 o 185 0.18/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.27 c 0 6460 12735 47020 3 31850 48646 15 0 0.27 0.18/0.27 o 184 0.18/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.28 c 0 6460 12736 47220 3 31868 49646 16 0 0.28 0.18/0.28 o 183 0.18/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.28 c 0 6460 12737 47420 3 31887 50646 17 0 0.28 0.18/0.28 o 182 0.18/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.29 c 0 6460 12738 47620 3 31907 51646 18 0 0.28 0.18/0.29 o 181 0.18/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.29 c 0 6460 12739 47820 3 31928 52646 19 0 0.29 0.18/0.29 o 180 0.28/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.30 c 0 6460 12740 48020 3 31950 53646 20 0 0.29 0.28/0.30 o 179 0.28/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.30 c 0 6460 12741 48220 3 31973 54646 21 0 0.30 0.28/0.30 o 178 0.28/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.31 c 0 6460 12742 48420 3 31997 55646 22 0 0.30 0.28/0.31 o 177 0.28/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.31 c 0 6460 12743 48620 3 32022 56646 23 0 0.31 0.28/0.31 o 176 0.28/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.32 c 0 6460 12744 48820 3 32048 57646 24 0 0.31 0.28/0.32 o 175 0.28/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.32 c 0 6460 12745 49020 3 32075 58646 25 0 0.32 0.28/0.32 o 174 0.28/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.33 c 0 6460 12746 49220 3 32103 59646 26 0 0.33 0.28/0.33 o 173 0.28/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.33 c 0 6460 12747 49420 3 32132 60646 27 0 0.33 0.28/0.33 o 172 0.28/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.34 c 0 6460 12748 49620 3 32162 61646 28 0 0.34 0.28/0.34 o 171 0.28/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.34 c 0 6460 12749 49820 3 32193 62646 29 0 0.34 0.28/0.34 o 170 0.28/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.35 c 0 6460 12750 50020 3 32225 63646 30 0 0.35 0.28/0.35 o 169 0.28/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.35 c 0 6460 12751 50220 3 32258 64646 31 0 0.35 0.28/0.35 o 168 0.28/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.36 c 0 6460 12752 50420 3 32292 65646 32 0 0.36 0.28/0.36 o 167 0.28/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.37 c 0 6460 12753 50620 3 32327 66646 33 0 0.36 0.28/0.37 o 166 0.28/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.37 c 0 6460 12754 50820 3 32363 67646 34 0 0.37 0.28/0.37 o 165 0.28/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.38 c 0 6460 12755 51020 4 32400 68646 35 0 0.37 0.28/0.38 o 164 0.28/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.38 c 0 6460 12756 51220 4 32438 69646 36 0 0.38 0.28/0.38 o 163 0.28/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.39 c 0 6460 12757 51420 4 32477 70646 37 0 0.38 0.28/0.39 o 162 0.28/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.28/0.39 c 0 6460 12758 51620 4 32517 71646 38 0 0.39 0.28/0.39 o 161 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 0 6460 12759 51820 4 32558 72646 39 0 0.39 0.39/0.40 o 160 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 0 6460 12760 52020 4 32600 73646 40 0 0.40 0.39/0.40 o 159 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 6460 12761 52220 4 32643 74646 41 0 0.40 0.39/0.41 o 158 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 0 6460 12762 52420 4 32687 75646 42 0 0.41 0.39/0.41 o 157 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 6460 12763 52620 4 32732 76646 43 0 0.41 0.39/0.42 o 156 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 6460 12764 52820 4 32778 77646 44 0 0.42 0.39/0.42 o 155 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 6460 12765 53020 4 32825 78646 45 0 0.42 0.39/0.43 o 154 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 6460 12766 53220 4 32873 79646 46 0 0.43 0.39/0.43 o 153 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 6460 12767 53420 4 32922 80646 47 0 0.43 0.39/0.44 o 152 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 6460 12768 53620 4 32972 81646 48 0 0.44 0.39/0.44 o 151 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 6460 12769 53820 4 33023 82646 49 0 0.45 0.39/0.45 o 150 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 6460 12770 54020 4 33075 83646 50 0 0.45 0.39/0.45 o 149 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 6460 12771 54220 4 33128 84646 51 0 0.46 0.39/0.46 o 148 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 6460 12772 54420 4 33182 85646 52 0 0.46 0.39/0.46 o 147 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 6460 12773 54620 4 33237 86646 53 0 0.47 0.39/0.47 o 146 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 6460 12774 54820 4 33293 87646 54 0 0.47 0.39/0.47 o 145 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 0 6460 12775 55020 4 33350 88646 55 0 0.48 0.39/0.48 o 144 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 0 6460 12776 55220 4 33408 89646 56 0 0.48 0.39/0.48 o 143 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 6460 12777 55420 4 33467 90646 57 0 0.48 0.39/0.49 o 142 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 6460 12778 55620 4 33527 91646 58 0 0.49 0.39/0.49 o 141 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 0 6460 12779 55820 4 33588 92646 59 0 0.49 0.49/0.50 o 140 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 0 6460 12780 56020 4 33650 93646 60 0 0.50 0.49/0.50 o 139 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 0 6460 12781 56220 4 33713 94646 61 0 0.50 0.49/0.51 o 138 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 0 6460 12782 56420 4 33777 95646 62 0 0.51 0.49/0.51 o 137 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6460 12783 56620 4 33842 96646 63 0 0.51 0.49/0.52 o 136 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6460 12784 56820 4 33908 97646 64 0 0.52 0.49/0.52 o 135 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6460 12785 57020 4 33975 98646 65 0 0.52 0.49/0.52 o 134 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6460 12786 57220 4 34043 99646 66 0 0.53 0.49/0.53 o 133 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6460 12787 57420 4 34112 100646 67 0 0.53 0.49/0.53 o 132 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6460 12788 57620 4 34182 101646 68 0 0.54 0.49/0.54 o 131 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6460 12789 57820 4 34253 102646 69 0 0.54 0.49/0.54 o 130 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6460 12790 58020 4 34325 103646 70 0 0.54 0.49/0.55 o 129 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6460 12791 58220 4 34398 104646 71 0 0.55 0.49/0.55 o 128 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6460 12792 58420 4 34472 105646 72 0 0.55 0.49/0.55 o 127 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12793 58620 4 34547 106646 73 0 0.56 0.49/0.56 o 126 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12794 58820 4 34623 107646 74 0 0.56 0.49/0.56 o 125 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12795 59020 4 34700 108646 75 0 0.56 0.49/0.56 o 124 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6460 12796 59220 4 34778 109646 76 0 0.57 0.49/0.57 o 123 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6460 12797 59420 4 34857 110646 77 0 0.57 0.49/0.57 o 122 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6460 12798 59620 4 34937 111646 78 0 0.57 0.49/0.58 o 121 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 1 6460 12800 59942 4 35020 111646 80 1 0.58 0.49/0.58 o 21 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 1 6460 12801 60142 4 35201 111646 81 1 0.58 0.49/0.58 o 20 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 1 6460 12802 60342 4 35383 111646 82 1 0.59 0.59/0.63 c 101 6460 12905 74687 5 35589 122811 185 161 0.63 0.59/0.63 o 19 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 111 6460 12917 76536 5 35794 111646 197 175 0.63 0.59/0.64 o 18 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 112 6460 12919 76840 5 35980 111646 199 175 0.64 0.69/0.70 c 212 6460 13019 91042 6 36180 122811 299 311 0.68 0.69/0.70 o 17 1.79/1.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.86 c 268 6460 13077 98251 7 36479 111646 357 379 0.71 1.79/1.86 c 369 6460 13178 110342 8 36681 122811 458 492 0.75 1.79/1.86 c 620 6460 13440 151093 11 37656 135093 720 721 0.86 1.79/1.86 c 1097 6460 13926 209752 15 38714 148603 1206 1027 1.07 1.79/1.86 c 1910 6460 14772 311835 21 40525 163464 2052 1311 1.46 1.79/1.86 o 16 6.78/6.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.78/6.89 c 2761 6460 15646 418214 26 42457 111646 2926 1480 1.86 6.78/6.89 c 2861 6460 15754 434111 27 42673 122811 3034 1493 1.92 6.78/6.89 c 3111 6460 16011 464031 28 43187 135093 3291 1519 2.05 6.78/6.89 c 3587 6460 16499 514432 31 44163 148603 3779 1551 2.31 6.78/6.89 c 4402 6460 17339 623751 35 45938 163464 4619 1581 2.78 6.78/6.89 c 5722 6460 18688 771579 41 48874 179811 5968 1634 3.50 6.78/6.89 c 7804 6460 20836 982427 47 53582 197793 8116 1600 4.88 6.78/6.89 o 15 1797.94/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.58 c 10571 6460 23699 1409244 59 60203 111646 10979 1532 6.90 1797.94/1798.58 c 10671 6460 23801 1421939 59 60407 122811 11081 1529 6.98 1797.94/1798.58 c 10923 6460 24065 1457951 60 60935 135093 11345 1520 7.18 1797.94/1798.58 c 11398 6460 24555 1523144 62 61915 148603 11835 1505 7.57 1797.94/1798.58 c 12211 6460 25395 1622324 63 63595 163464 12675 1489 8.20 1797.94/1798.58 c 13532 6460 26756 1773809 66 67186 179811 14036 1441 9.39 1797.94/1798.58 c 15613 6460 28912 2056027 71 72584 197793 16192 1388 11.25 1797.94/1798.58 c 18837 6460 32285 2466649 76 79734 217573 19565 1302 14.46 1797.94/1798.58 c 23774 6460 37404 3109510 83 91616 239331 24684 1169 20.33 1797.94/1798.58 c 31280 6460 45160 4046308 89 108852 263265 32440 1042 30.00 1797.94/1798.58 c 42641 6460 57062 6146841 107 143437 289592 44342 837 50.94 1797.94/1798.58 c 59785 6460 74897 8409461 112 188343 318552 62177 672 88.84 1797.94/1798.58 c 85604 6460 101746 12340247 121 253662 350408 89026 518 165.12 1797.94/1798.58 c 124436 6460 142302 17255333 121 338804 385449 129582 405 306.93 1797.94/1798.58 c 182788 6460 202985 24508815 120 477888 423994 190265 290 628.67 1797.94/1798.58 c 270421 6460 295383 37731298 127 708433 466394 282663 192 1404.15 1797.94/1798.58 c Resources Exceeded 1797.94/1798.58 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 1797.94/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.58 c 113 309537 94080 520713 336219 42849946 323499 172 1798.03 1797.94/1798.58 c Objective: 15 1797.94/1798.58 s SATISFIABLE 1797.94/1798.58 c Total time: 1798.03 s
OK 15
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736827-1338728798/watcher-3736827-1338728798 -o /tmp/evaluation-result-3736827-1338728798/solver-3736827-1338728798 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3736827-1338728798.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.07 2.01 4/178 16217 /proc/meminfo: memFree=28420032/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=11668 CPUtime=0 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 339004614 11948032 336 33554432000 134512640 137136520 4292795936 4292794528 134531237 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 2917 337 183 641 0 2160 0 [startup+0.0603769 s] /proc/loadavg: 2.04 2.07 2.01 4/178 16217 /proc/meminfo: memFree=28420032/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=13832 CPUtime=0.05 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 1181 0 0 0 5 0 0 0 20 0 1 0 339004614 14163968 1022 33554432000 134512640 137136520 4292795936 4292717116 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 3458 1022 189 641 0 2814 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13832 [startup+0.100256 s] /proc/loadavg: 2.04 2.07 2.01 4/178 16217 /proc/meminfo: memFree=28420032/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=13832 CPUtime=0.09 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 1181 0 0 0 9 0 0 0 20 0 1 0 339004614 14163968 1022 33554432000 134512640 137136520 4292795936 4292717116 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 3458 1022 189 641 0 2814 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13832 [startup+0.300192 s] /proc/loadavg: 2.04 2.07 2.01 4/178 16217 /proc/meminfo: memFree=28420032/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=14076 CPUtime=0.28 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 1550 0 0 0 27 1 0 0 20 0 1 0 339004614 14413824 1082 33554432000 134512640 137136520 4292795936 4292795052 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 3519 1082 195 641 0 2875 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 14076 [startup+0.700193 s] /proc/loadavg: 2.04 2.07 2.01 4/178 16217 /proc/meminfo: memFree=28420032/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=14852 CPUtime=0.69 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 1752 0 0 0 67 2 0 0 20 0 1 0 339004614 15208448 1284 33554432000 134512640 137136520 4292795936 4292795052 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 3713 1284 197 641 0 3069 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14852 [startup+1.50019 s] /proc/loadavg: 2.04 2.07 2.01 3/179 16218 /proc/meminfo: memFree=28413352/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=18040 CPUtime=1.48 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 2546 0 0 0 146 2 0 0 20 0 1 0 339004614 18472960 2078 33554432000 134512640 137136520 4292795936 4292795052 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 4510 2078 197 641 0 3866 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 18040 [startup+3.10022 s] /proc/loadavg: 2.04 2.07 2.01 3/179 16218 /proc/meminfo: memFree=28408268/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=23128 CPUtime=3.09 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 3818 0 0 0 306 3 0 0 20 0 1 0 339004614 23683072 3350 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 5782 3350 197 641 0 5138 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23128 [startup+6.30023 s] /proc/loadavg: 2.04 2.07 2.01 3/179 16218 /proc/meminfo: memFree=28398208/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=31672 CPUtime=6.29 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 5948 0 0 0 625 4 0 0 20 0 1 0 339004614 32432128 5480 33554432000 134512640 137136520 4292795936 4292794560 134554182 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 7918 5480 197 641 0 7274 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31672 [startup+12.7002 s] /proc/loadavg: 2.03 2.06 2.01 3/179 16218 /proc/meminfo: memFree=28380996/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=44760 CPUtime=12.69 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 9232 0 0 0 1263 6 0 0 20 0 1 0 339004614 45834240 8764 33554432000 134512640 137136520 4292795936 4292794636 136518854 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 11190 8764 197 641 0 10546 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44760 [startup+25.5003 s] /proc/loadavg: 2.03 2.06 2.00 3/179 16218 /proc/meminfo: memFree=28352592/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=64368 CPUtime=25.48 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 14123 0 0 0 2540 8 0 0 20 0 1 0 339004614 65912832 13654 33554432000 134512640 137136520 4292795936 4292795052 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 16092 13654 197 641 0 15448 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64368 [startup+51.1003 s] /proc/loadavg: 2.02 2.05 2.00 3/179 16218 /proc/meminfo: memFree=28307300/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=98984 CPUtime=51.08 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 22806 0 0 0 5096 12 0 0 20 0 1 0 339004614 101359616 22326 33554432000 134512640 137136520 4292795936 4292794864 134544396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 24746 22326 197 641 0 24102 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 98984 [startup+102.307 s] /proc/loadavg: 2.00 2.04 2.00 3/179 16218 /proc/meminfo: memFree=28234252/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=142204 CPUtime=102.27 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 33615 0 0 0 10209 18 0 0 20 0 1 0 339004614 145616896 33127 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 35551 33127 197 641 0 34907 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 142204 [startup+162.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 16219 /proc/meminfo: memFree=28163848/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=183468 CPUtime=162.2 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 44013 0 0 0 16194 26 0 0 20 0 1 0 339004614 187871232 43452 33554432000 134512640 137136520 4292795936 4292791792 134600241 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 45867 43452 197 641 0 45223 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 183468 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/180 16222 /proc/meminfo: memFree=28101328/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=220824 CPUtime=222.15 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 53399 0 0 0 22181 34 0 0 20 0 1 0 339004614 226123776 52797 33554432000 134512640 137136520 4292795936 4292794864 134543927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 55206 52797 197 641 0 54562 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 220824 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 16222 /proc/meminfo: memFree=28055828/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=245804 CPUtime=282.14 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 59638 0 0 0 28175 39 0 0 20 0 1 0 339004614 251703296 59033 33554432000 134512640 137136520 4292795936 4292794864 134544256 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 61451 59033 197 641 0 60807 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 245804 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16222 /proc/meminfo: memFree=28015156/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=266348 CPUtime=342.13 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 64777 0 0 0 34169 44 0 0 20 0 1 0 339004614 272740352 64169 33554432000 134512640 137136520 4292795936 4292794864 134543881 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 66587 64169 197 641 0 65943 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 266348 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16222 /proc/meminfo: memFree=27958240/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=288896 CPUtime=402.12 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 70413 0 0 0 40164 48 0 0 20 0 1 0 339004614 295829504 69804 33554432000 134512640 137136520 4292795936 4292794864 134543951 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 72224 69804 197 641 0 71580 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 288896 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16223 /proc/meminfo: memFree=27907772/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=309348 CPUtime=462.12 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 75547 0 0 0 46159 53 0 0 20 0 1 0 339004614 316772352 74923 33554432000 134512640 137136520 4292795936 4292795052 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 77337 74923 197 641 0 76693 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 309348 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16223 /proc/meminfo: memFree=27864496/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=326872 CPUtime=522.11 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 79919 0 0 0 52154 57 0 0 20 0 1 0 339004614 334716928 79289 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 81718 79289 197 641 0 81074 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 326872 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16223 /proc/meminfo: memFree=27826056/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=342096 CPUtime=582.1 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 83754 0 0 0 58149 61 0 0 20 0 1 0 339004614 350306304 83108 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 85524 83108 197 641 0 84880 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 342096 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28623800/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=477100 CPUtime=1061.99 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 117528 0 0 0 106105 94 0 0 20 0 1 0 339004614 488550400 116847 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 119275 116847 197 641 0 118631 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 477100 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16278 /proc/meminfo: memFree=28602996/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=487744 CPUtime=1121.94 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 120239 0 0 0 112096 98 0 0 20 0 1 0 339004614 499449856 119510 33554432000 134512640 137136520 4292795936 4292794864 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 121936 119510 197 641 0 121292 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 487744 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16278 /proc/meminfo: memFree=28587896/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=498168 CPUtime=1181.87 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 122911 0 0 0 118087 100 0 0 20 0 1 0 339004614 510124032 122126 33554432000 134512640 137136520 4292795936 4292794864 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 124542 122126 197 641 0 123898 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 498168 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16278 /proc/meminfo: memFree=28559968/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=510888 CPUtime=1241.85 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 126107 0 0 0 124083 102 0 0 20 0 1 0 339004614 523149312 125310 33554432000 134512640 137136520 4292795936 4292794864 134544398 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 127722 125310 197 641 0 127078 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 510888 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16278 /proc/meminfo: memFree=28548232/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=522708 CPUtime=1301.85 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 129051 0 0 0 130080 105 0 0 20 0 1 0 339004614 535252992 128254 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 130677 128254 197 641 0 130033 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 522708 [startup+1362.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 16279 /proc/meminfo: memFree=28534476/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=533348 CPUtime=1361.84 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 131727 0 0 0 136076 108 0 0 20 0 1 0 339004614 546148352 130923 33554432000 134512640 137136520 4292795936 4292794864 134544714 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 133337 130923 197 641 0 132693 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 533348 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/180 16282 /proc/meminfo: memFree=28525292/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=542504 CPUtime=1421.83 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 134007 0 0 0 142072 111 0 0 20 0 1 0 339004614 555524096 133203 33554432000 134512640 137136520 4292795936 4292794864 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 135626 133203 197 641 0 134982 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 542504 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16282 /proc/meminfo: memFree=28511164/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=556320 CPUtime=1481.82 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 137473 0 0 0 148067 115 0 0 20 0 1 0 339004614 569671680 136669 33554432000 134512640 137136520 4292795936 4292794864 134543954 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 139080 136669 197 641 0 138436 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 556320 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16282 /proc/meminfo: memFree=28495168/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=567252 CPUtime=1541.8 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 140209 0 0 0 154062 118 0 0 20 0 1 0 339004614 580866048 139403 33554432000 134512640 137136520 4292795936 4292794864 134544396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 141813 139403 197 641 0 141169 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 567252 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16282 /proc/meminfo: memFree=28481848/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=578480 CPUtime=1601.77 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 143030 0 0 0 160055 122 0 0 20 0 1 0 339004614 592363520 142197 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 144620 142197 197 641 0 143976 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 578480 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28459564/32873844 swapFree=7624/7624 [pid=16217] ppid=16215 vsize=589364 CPUtime=1661.75 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 145764 0 0 0 166050 125 0 0 20 0 1 0 339004614 603508736 144918 33554432000 134512640 137136520 4292795936 4292794864 134544272 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 147341 144918 197 641 0 146697 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 589364 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28449996/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=598828 CPUtime=1721.74 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 148145 0 0 0 172045 129 0 0 20 0 1 0 339004614 613199872 147296 33554432000 134512640 137136520 4292795936 4292794864 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 149707 147296 197 641 0 149063 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 598828 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28439952/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=608632 CPUtime=1781.73 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 150579 0 0 0 178041 132 0 0 20 0 1 0 339004614 623239168 149730 33554432000 134512640 137136520 4292795936 4292794864 134543927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 152158 149730 197 641 0 151514 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 608632 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28437844/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=610524 CPUtime=1791.34 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 151060 0 0 0 179001 133 0 0 20 0 1 0 339004614 625176576 150211 33554432000 134512640 137136520 4292795936 4292794864 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 152631 150211 197 641 0 151987 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 610524 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28437224/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=611124 CPUtime=1794.54 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 151209 0 0 0 179321 133 0 0 20 0 1 0 339004614 625790976 150360 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 152781 150360 197 641 0 152137 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 611124 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28437100/32873844 swapFree=7616/7616 [pid=16217] ppid=16215 vsize=611420 CPUtime=1796.13 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 151284 0 0 0 179480 133 0 0 20 0 1 0 339004614 626094080 150435 33554432000 134512640 137136520 4292795936 4292794832 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 152855 150435 197 641 0 152211 0 Current children cumulated CPU time (s) 1796.13 Current children cumulated vsize (KiB) 611420 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28436852/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=611488 CPUtime=1796.93 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 151312 0 0 0 179560 133 0 0 20 0 1 0 339004614 626163712 150463 33554432000 134512640 137136520 4292795936 4292794864 134544384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 152872 150463 197 641 0 152228 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 611488 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28436852/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=611620 CPUtime=1797.73 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 151341 0 0 0 179640 133 0 0 20 0 1 0 339004614 626298880 150492 33554432000 134512640 137136520 4292795936 4292794864 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 152905 150492 197 641 0 152261 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 611620 [startup+1798.51 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16283 /proc/meminfo: memFree=28436728/32873844 swapFree=7620/7620 [pid=16217] ppid=16215 vsize=611680 CPUtime=1797.94 cores=0,2,4,6 /proc/16217/stat : 16217 (bsolo) R 16215 16217 13121 0 -1 4202496 151349 0 0 0 179661 133 0 0 20 0 1 0 339004614 626360320 150500 33554432000 134512640 137136520 4292795936 4292794648 136504219 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/16217/statm: 152920 150500 197 641 0 152276 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 611680 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.03 CPU user time (s): 1796.69 CPU system time (s): 1.3388 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 611680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.69 system time used= 1.3388 maximum resident set size= 602016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 151354 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= 277 involuntary context switches= 2024 runsolver used 2.5926 second user time and 7.2249 second system time The end
Begin job on node135 at 2012-06-03 15:06:38 IDJOB=3736827 IDBENCH=48132 IDSOLVER=2320 FILE ID=node135/3736827-1338728798 RUNJOBID= node135-1338712994-13137 PBS_JOBID= 14636721 Free space on /tmp= 70976 MiB SOLVER NAME= PB09: 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-3736827-1338728798/watcher-3736827-1338728798 -o /tmp/evaluation-result-3736827-1338728798/solver-3736827-1338728798 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3736827-1338728798.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032 RANDOM SEED=528068965 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5238.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28421312 kB Buffers: 364060 kB Cached: 2503804 kB SwapCached: 1672 kB Active: 1902772 kB Inactive: 1706296 kB Active(anon): 731408 kB Inactive(anon): 12036 kB Active(file): 1171364 kB Inactive(file): 1694260 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 3864 kB Writeback: 0 kB AnonPages: 747292 kB Mapped: 11312 kB Shmem: 132 kB Slab: 701892 kB SReclaimable: 143776 kB SUnreclaim: 558116 kB KernelStack: 1464 kB PageTables: 5400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 863468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 626688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736827-1338728798.opb Free space on /tmp at the end= 70972 MiB End job on node135 at 2012-06-03 15:36:37