Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 14 | 1798.09 | 1798.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb |
MD5SUM | 64354bd2b9c3cc2f1ca2c32032e5c032 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 13 |
Best CPU time to get the best result obtained on this benchmark | 1800.37 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670831-1276708304.opb 0.00/0.00 c File size is 462769 bytes. 0.06/0.08 c Highest Coefficient sum: 200 0.06/0.08 c Parsing was ok!! 0.06/0.08 c Total parsing time: 0.078 s 0.06/0.08 c Var: 6460 Constr: 12720 6460/0/6260 Lit: 44020 Watch. Lit: 31700 0.06/0.08 c Obj. Vars: 200 (3.09598 % of total variables) 0.49/0.54 c Pre-processing Time: 0.546 s 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6460 12720 44020 3 31700 39713 0 0 0.55 0.49/0.54 c Switching off lower bounding mode. 0.49/0.55 o 199 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12721 44220 3 31703 39846 1 0 0.55 0.49/0.56 o 198 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12722 44420 3 31707 40046 2 0 0.56 0.49/0.56 o 197 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6460 12723 44620 3 31712 40313 3 0 0.57 0.49/0.57 o 196 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6460 12724 44820 3 31718 40646 4 0 0.58 0.49/0.58 o 195 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6460 12725 45020 3 31725 41046 5 0 0.59 0.49/0.59 o 194 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 6460 12726 45220 3 31733 41513 6 0 0.59 0.59/0.60 o 193 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 6460 12727 45420 3 31742 42046 7 0 0.60 0.59/0.61 o 192 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 0 6460 12728 45620 3 31752 42646 8 0 0.61 0.59/0.62 o 191 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 6460 12729 45820 3 31763 43313 9 0 0.62 0.59/0.63 o 190 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 6460 12730 46020 3 31775 44046 10 0 0.63 0.59/0.64 o 189 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 6460 12731 46220 3 31788 44846 11 0 0.64 0.59/0.64 o 188 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 6460 12732 46420 3 31802 45713 12 0 0.65 0.59/0.65 o 187 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6460 12733 46620 3 31817 46646 13 0 0.66 0.59/0.66 o 186 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 6460 12734 46820 3 31833 47646 14 0 0.67 0.59/0.67 o 185 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 6460 12735 47020 3 31850 48646 15 0 0.68 0.59/0.68 o 184 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6460 12736 47220 3 31868 49646 16 0 0.69 0.59/0.69 o 183 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 0 6460 12737 47420 3 31887 50646 17 0 0.70 0.69/0.70 o 182 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 6460 12738 47620 3 31907 51646 18 0 0.71 0.69/0.71 o 181 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 0 6460 12739 47820 3 31928 52646 19 0 0.72 0.69/0.72 o 180 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 6460 12740 48020 3 31950 53646 20 0 0.73 0.69/0.73 o 179 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 0 6460 12741 48220 3 31973 54646 21 0 0.74 0.69/0.74 o 178 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 0 6460 12742 48420 3 31997 55646 22 0 0.75 0.69/0.75 o 177 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 0 6460 12743 48620 3 32022 56646 23 0 0.76 0.69/0.77 o 176 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 0 6460 12744 48820 3 32048 57646 24 0 0.77 0.69/0.78 o 175 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 0 6460 12745 49020 3 32075 58646 25 0 0.78 0.69/0.79 o 174 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 0 6460 12746 49220 3 32103 59646 26 0 0.79 0.79/0.80 o 173 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 6460 12747 49420 3 32132 60646 27 0 0.80 0.79/0.81 o 172 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 6460 12748 49620 3 32162 61646 28 0 0.81 0.79/0.82 o 171 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 6460 12749 49820 3 32193 62646 29 0 0.82 0.79/0.83 o 170 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 6460 12750 50020 3 32225 63646 30 0 0.84 0.79/0.84 o 169 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 6460 12751 50220 3 32258 64646 31 0 0.85 0.79/0.85 o 168 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 6460 12752 50420 3 32292 65646 32 0 0.86 0.79/0.86 o 167 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 6460 12753 50620 3 32327 66646 33 0 0.87 0.79/0.88 o 166 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 6460 12754 50820 3 32363 67646 34 0 0.88 0.79/0.89 o 165 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 6460 12755 51020 4 32400 68646 35 0 0.89 0.89/0.90 o 164 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 6460 12756 51220 4 32438 69646 36 0 0.90 0.89/0.91 o 163 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 6460 12757 51420 4 32477 70646 37 0 0.91 0.89/0.92 o 162 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 0 6460 12758 51620 4 32517 71646 38 0 0.93 0.89/0.93 o 161 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 0 6460 12759 51820 4 32558 72646 39 0 0.94 0.89/0.94 o 160 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 6460 12760 52020 4 32600 73646 40 0 0.95 0.89/0.95 o 159 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 6460 12761 52220 4 32643 74646 41 0 0.96 0.89/0.96 o 158 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 6460 12762 52420 4 32687 75646 42 0 0.97 0.89/0.98 o 157 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 6460 12763 52620 4 32732 76646 43 0 0.98 0.89/0.99 o 156 0.89/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/1.00 c 0 6460 12764 52820 4 32778 77646 44 0 0.99 0.89/1.00 o 155 1.00/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.01 c 0 6460 12765 53020 4 32825 78646 45 0 1.00 1.00/1.01 o 154 1.00/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.02 c 0 6460 12766 53220 4 32873 79646 46 0 1.01 1.00/1.02 o 153 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 0 6460 12767 53420 4 32922 80646 47 0 1.02 1.00/1.03 o 152 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 0 6460 12768 53620 4 32972 81646 48 0 1.04 1.00/1.04 o 151 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 0 6460 12769 53820 4 33023 82646 49 0 1.05 1.00/1.05 o 150 1.00/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.06 c 0 6460 12770 54020 4 33075 83646 50 0 1.06 1.00/1.06 o 149 1.00/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.07 c 0 6460 12771 54220 4 33128 84646 51 0 1.07 1.00/1.07 o 148 1.00/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.08 c 0 6460 12772 54420 4 33182 85646 52 0 1.08 1.00/1.08 o 147 1.00/1.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.10 c 0 6460 12773 54620 4 33237 86646 53 0 1.09 1.00/1.10 o 146 1.10/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.11 c 0 6460 12774 54820 4 33293 87646 54 0 1.10 1.10/1.11 o 145 1.10/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.12 c 0 6460 12775 55020 4 33350 88646 55 0 1.11 1.10/1.12 o 144 1.10/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.13 c 0 6460 12776 55220 4 33408 89646 56 0 1.12 1.10/1.13 o 143 1.10/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.14 c 0 6460 12777 55420 4 33467 90646 57 0 1.13 1.10/1.14 o 142 1.10/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.15 c 0 6460 12778 55620 4 33527 91646 58 0 1.15 1.10/1.15 o 141 1.10/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.16 c 0 6460 12779 55820 4 33588 92646 59 0 1.16 1.10/1.16 o 140 1.10/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.17 c 0 6460 12780 56020 4 33650 93646 60 0 1.17 1.10/1.17 o 139 1.10/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.18 c 0 6460 12781 56220 4 33713 94646 61 0 1.18 1.10/1.18 o 138 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 0 6460 12782 56420 4 33777 95646 62 0 1.19 1.10/1.19 o 137 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 0 6460 12783 56620 4 33842 96646 63 0 1.20 1.19/1.20 o 136 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 0 6460 12784 56820 4 33908 97646 64 0 1.21 1.19/1.21 o 135 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 0 6460 12785 57020 4 33975 98646 65 0 1.22 1.19/1.22 o 134 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 0 6460 12786 57220 4 34043 99646 66 0 1.23 1.19/1.23 o 133 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 6460 12787 57420 4 34112 100646 67 0 1.24 1.19/1.24 o 132 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 0 6460 12788 57620 4 34182 101646 68 0 1.25 1.19/1.25 o 131 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 0 6460 12789 57820 4 34253 102646 69 0 1.26 1.19/1.26 o 130 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 0 6460 12790 58020 4 34325 103646 70 0 1.27 1.19/1.27 o 129 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 0 6460 12791 58220 4 34398 104646 71 0 1.28 1.19/1.28 o 128 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 0 6460 12792 58420 4 34472 105646 72 0 1.29 1.19/1.29 o 127 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 0 6460 12793 58620 4 34547 106646 73 0 1.30 1.29/1.30 o 126 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 0 6460 12794 58820 4 34623 107646 74 0 1.31 1.29/1.31 o 125 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 6460 12795 59020 4 34700 108646 75 0 1.32 1.29/1.32 o 124 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 0 6460 12796 59220 4 34778 109646 76 0 1.33 1.29/1.33 o 123 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 0 6460 12797 59420 4 34857 110646 77 0 1.34 1.29/1.34 o 122 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 0 6460 12798 59620 4 34937 111646 78 0 1.35 1.29/1.35 o 121 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 1 6460 12800 59942 4 35020 111646 80 0 1.36 1.29/1.36 o 21 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 1 6460 12801 60142 4 35201 111646 81 0 1.37 1.29/1.37 o 20 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 1 6460 12802 60342 4 35383 111646 82 0 1.38 1.39/1.48 c 101 6460 12907 75899 5 35593 122811 187 68 1.47 1.39/1.48 o 19 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 111 6460 12919 77750 6 35798 111646 199 74 1.49 1.39/1.49 o 18 1.59/1.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.65 c 112 6460 12921 78054 6 35984 111646 201 74 1.50 1.59/1.65 c 212 6460 13025 94475 7 36192 122811 305 132 1.59 1.59/1.65 o 17 9.09/9.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.13 c 268 6460 13086 102885 7 36677 111646 366 162 1.65 9.09/9.13 c 369 6460 13188 115458 8 36881 122811 468 211 1.74 9.09/9.13 c 619 6460 13459 162929 12 37781 135093 739 310 1.99 9.09/9.13 c 1095 6460 13986 262705 18 38885 148603 1266 434 2.52 9.09/9.13 c 1910 6460 14858 398070 26 40629 163464 2138 550 3.47 9.09/9.13 c 3232 6460 16304 630573 38 43699 179811 3584 619 5.21 9.09/9.13 c 5313 6460 18578 1004407 54 48736 197793 5858 599 8.86 9.09/9.13 o 16 13.10/13.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.10/13.17 c 5491 6460 18763 1027056 54 49290 111646 6043 601 9.13 13.10/13.17 c 5593 6460 18867 1040520 55 49498 122811 6147 602 9.28 13.10/13.17 c 5844 6460 19147 1074891 56 50058 135093 6427 604 9.66 13.10/13.17 c 6320 6460 19647 1133338 57 51058 148603 6927 609 10.37 13.10/13.17 c 7134 6460 20509 1233913 60 53145 163464 7789 610 11.69 13.10/13.17 o 15 882.12/882.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 882.12/882.49 c 7917 6460 21346 1358747 63 55879 111646 8626 600 13.18 882.12/882.49 c 8017 6460 21453 1375914 64 56093 122811 8733 599 13.38 882.12/882.49 c 8267 6460 21726 1409323 64 56639 135093 9006 595 13.88 882.12/882.49 c 8744 6460 22229 1460939 65 57645 148603 9509 594 14.70 882.12/882.49 c 9557 6460 23108 1589688 68 59586 163464 10388 585 16.32 882.12/882.49 c 10877 6460 24530 1807436 73 63203 179811 11810 564 19.26 882.12/882.49 c 12959 6460 26799 2163207 80 68288 197793 14079 537 24.09 882.12/882.49 c 16183 6460 30225 2496273 82 75323 217573 17505 480 33.70 882.12/882.49 c 21120 6460 35560 3328561 93 86351 239331 22840 438 48.13 882.12/882.49 c 28629 6460 43553 4485851 102 103581 263265 30833 404 70.76 882.12/882.49 c 39990 6460 55911 6926714 123 133800 289592 43191 293 136.11 882.12/882.49 c 57135 6460 74728 10695360 143 174225 318552 62008 220 258.97 882.12/882.49 c 82954 6460 102824 16753250 162 239068 350408 90104 162 510.98 882.12/882.49 o 14 1797.96/1798.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.59 c 106927 6460 129318 24211572 187 302359 111646 116598 121 882.24 1797.96/1798.59 c 107028 6460 26684 4284054 160 65907 122811 13964 119 892.87 1797.96/1798.59 c 107279 6460 26944 4318817 160 66427 135093 14224 120 893.83 1797.96/1798.59 c 107754 6460 27441 4366190 159 67421 148603 14721 120 895.56 1797.96/1798.59 c 108569 6460 28329 4474380 157 69197 163464 15609 120 898.59 1797.96/1798.59 c 109889 6460 29753 4632527 155 72228 179811 17033 121 904.45 1797.96/1798.59 c 111970 6460 31983 4900949 153 76872 197793 19263 122 912.68 1797.96/1798.59 c 115193 6460 35447 5253354 148 83984 217573 22727 124 925.39 1797.96/1798.59 c 120129 6460 40767 5897707 144 95162 239331 28047 126 950.57 1797.96/1798.59 c 127635 6460 49043 7536576 153 114206 263265 36323 127 997.20 1797.96/1798.59 c 138996 6460 61461 9868852 160 142913 289592 48741 128 1085.76 1797.96/1798.59 c 156141 6460 80398 13250775 164 184848 318552 67678 126 1231.80 1797.96/1798.59 c 181960 6460 109156 21485089 196 256865 350408 96436 118 1536.17 1797.96/1798.59 c Resources Exceeded 1797.96/1798.59 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.96/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.59 c 123 195300 60946 356529 123784 26773373 111064 108 1798.05 1797.96/1798.59 c Objective: 14 1797.96/1798.59 s SATISFIABLE 1797.96/1798.59 c Total time: 1798.05 s
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670831-1276708304/watcher-2670831-1276708304 -o /tmp/evaluation-result-2670831-1276708304/solver-2670831-1276708304 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670831-1276708304.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 1.03 1.01 3/106 18067 /proc/meminfo: memFree=1871064/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=11392 CPUtime=0 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 12121385 11665408 286 1992294400 134512640 137138936 4291252832 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 2848 287 174 642 0 2091 0 [startup+0.069504 s] /proc/loadavg: 1.11 1.03 1.01 3/106 18067 /proc/meminfo: memFree=1871064/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=12764 CPUtime=0.06 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 799 0 0 0 6 0 0 0 20 0 1 0 12121385 13070336 717 1992294400 134512640 137138936 4291252832 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 3191 717 264 642 0 2434 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12764 [startup+0.100508 s] /proc/loadavg: 1.11 1.03 1.01 3/106 18067 /proc/meminfo: memFree=1871064/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=13832 CPUtime=0.09 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 1212 0 0 0 9 0 0 0 20 0 1 0 12121385 14163968 1017 1992294400 134512640 137138936 4291252832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 3458 1017 184 642 0 2814 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13832 [startup+0.300537 s] /proc/loadavg: 1.11 1.03 1.01 3/106 18067 /proc/meminfo: memFree=1871064/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=13832 CPUtime=0.29 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 1213 0 0 0 29 0 0 0 20 0 1 0 12121385 14163968 1018 1992294400 134512640 137138936 4291252832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 3458 1018 184 642 0 2814 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13832 [startup+0.700595 s] /proc/loadavg: 1.11 1.03 1.01 3/106 18067 /proc/meminfo: memFree=1871064/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=14076 CPUtime=0.69 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 1578 0 0 0 67 2 0 0 21 0 1 0 12121385 14413824 1074 1992294400 134512640 137138936 4291252832 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 3519 1074 188 642 0 2875 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14076 [startup+1.50071 s] /proc/loadavg: 1.11 1.03 1.01 2/107 18068 /proc/meminfo: memFree=1867212/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=14636 CPUtime=1.49 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 1723 0 0 0 145 4 0 0 23 0 1 0 12121385 14987264 1219 1992294400 134512640 137138936 4291252832 18446744073709551615 134581254 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 3659 1219 192 642 0 3015 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14636 [startup+3.10195 s] /proc/loadavg: 1.11 1.03 1.01 2/107 18068 /proc/meminfo: memFree=1865476/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=18212 CPUtime=3.09 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 2630 0 0 0 304 5 0 0 25 0 1 0 12121385 18649088 2126 1992294400 134512640 137138936 4291252832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 4553 2126 192 642 0 3909 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18212 [startup+6.30141 s] /proc/loadavg: 1.10 1.03 1.01 2/107 18068 /proc/meminfo: memFree=1859028/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=23756 CPUtime=6.29 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 4014 0 0 0 623 6 0 0 25 0 1 0 12121385 24326144 3510 1992294400 134512640 137138936 4291252832 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 5939 3510 192 642 0 5295 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23756 [startup+12.7013 s] /proc/loadavg: 1.10 1.03 1.01 2/107 18068 /proc/meminfo: memFree=1850736/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=31512 CPUtime=12.69 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 5944 0 0 0 1261 8 0 0 25 0 1 0 12121385 32268288 5440 1992294400 134512640 137138936 4291252832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 7878 5440 192 642 0 7234 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31512 [startup+25.5012 s] /proc/loadavg: 1.07 1.03 1.01 2/107 18068 /proc/meminfo: memFree=1837964/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=43648 CPUtime=25.48 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 8983 0 0 0 2537 11 0 0 25 0 1 0 12121385 44695552 8479 1992294400 134512640 137138936 4291252832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 10912 8479 192 642 0 10268 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43648 [startup+51.1009 s] /proc/loadavg: 1.05 1.02 1.00 2/107 18068 /proc/meminfo: memFree=1821100/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=60876 CPUtime=51.08 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 13282 0 0 0 5089 19 0 0 25 0 1 0 12121385 62337024 12778 1992294400 134512640 137138936 4291252832 18446744073709551615 134544749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 15219 12778 192 642 0 14575 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60876 [startup+102.308 s] /proc/loadavg: 1.02 1.02 1.00 2/107 18070 /proc/meminfo: memFree=1788488/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=92748 CPUtime=102.27 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 21249 0 0 0 10197 30 0 0 25 0 1 0 12121385 94973952 20745 1992294400 134512640 137138936 4291252832 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 23187 20745 192 642 0 22543 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 92748 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18072 /proc/meminfo: memFree=1762448/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=118820 CPUtime=162.25 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 27776 0 0 0 16183 42 0 0 25 0 1 0 12121385 121671680 27272 1992294400 134512640 137138936 4291252832 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 29705 27272 192 642 0 29061 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 118820 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18074 /proc/meminfo: memFree=1737152/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=143904 CPUtime=222.23 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 34057 0 0 0 22173 50 0 0 25 0 1 0 12121385 147357696 33553 1992294400 134512640 137138936 4291252832 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 35976 33553 192 642 0 35332 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 143904 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18074 /proc/meminfo: memFree=1716444/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=164820 CPUtime=282.21 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 39275 0 0 0 28163 58 0 0 25 0 1 0 12121385 168775680 38771 1992294400 134512640 137138936 4291252832 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 41205 38771 192 642 0 40561 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 164820 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18076 /proc/meminfo: memFree=1694496/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=186408 CPUtime=342.19 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 44682 0 0 0 34152 67 0 0 25 0 1 0 12121385 190881792 44178 1992294400 134512640 137138936 4291252832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 46602 44178 192 642 0 45958 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 186408 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18078 /proc/meminfo: memFree=1675648/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=205348 CPUtime=402.17 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 49409 0 0 0 40143 74 0 0 25 0 1 0 12121385 210276352 48905 1992294400 134512640 137138936 4291252832 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 51337 48905 192 642 0 50693 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 205348 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18080 /proc/meminfo: memFree=1656180/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=224684 CPUtime=462.15 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 54250 0 0 0 46135 80 0 0 25 0 1 0 12121385 230076416 53746 1992294400 134512640 137138936 4291252832 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 56171 53746 192 642 0 55527 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 224684 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18082 /proc/meminfo: memFree=1640680/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=240260 CPUtime=522.14 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 58132 0 0 0 52130 84 0 0 25 0 1 0 12121385 246026240 57628 1992294400 134512640 137138936 4291252832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 60065 57628 192 642 0 59421 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 240260 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18082 /proc/meminfo: memFree=1624188/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=256500 CPUtime=582.12 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 62199 0 0 0 58122 90 0 0 25 0 1 0 12121385 262656000 61695 1992294400 134512640 137138936 4291252832 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 64125 61695 192 642 0 63481 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 256500 [startup+642.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 18084 /proc/meminfo: memFree=1608192/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=272376 CPUtime=642.11 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 66171 0 0 0 64115 96 0 0 25 0 1 0 12121385 278913024 65667 1992294400 134512640 137138936 4291252832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 68094 65667 192 642 0 67450 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 272376 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1543712/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1121.96 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 112061 135 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 335888 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18098 /proc/meminfo: memFree=1543588/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1181.94 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 118055 139 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 134575240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 335888 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18100 /proc/meminfo: memFree=1543464/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1241.92 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 124049 143 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 335888 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18102 /proc/meminfo: memFree=1543464/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1301.91 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 130046 145 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 134573842 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 335888 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18107 /proc/meminfo: memFree=1542844/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1361.89 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 136040 149 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 335888 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18109 /proc/meminfo: memFree=1542844/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1421.88 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 142036 152 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 335888 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18109 /proc/meminfo: memFree=1542844/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1481.85 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 148031 154 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 335888 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18111 /proc/meminfo: memFree=1542844/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1541.83 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 154027 156 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 335888 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18113 /proc/meminfo: memFree=1542968/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1601.81 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 160023 158 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 335888 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18115 /proc/meminfo: memFree=1542968/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=335888 CPUtime=1661.79 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 82149 0 0 0 166019 160 0 0 25 0 1 0 12121385 343949312 81531 1992294400 134512640 137138936 4291252832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 83972 81531 192 642 0 83328 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 335888 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18117 /proc/meminfo: memFree=1533048/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=346620 CPUtime=1721.78 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 84827 0 0 0 172014 164 0 0 25 0 1 0 12121385 354938880 84209 1992294400 134512640 137138936 4291252832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 86655 84209 192 642 0 86011 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 346620 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18117 /proc/meminfo: memFree=1516060/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=363616 CPUtime=1781.76 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 89076 0 0 0 178008 168 0 0 25 0 1 0 12121385 372342784 88458 1992294400 134512640 137138936 4291252832 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 90904 88458 192 642 0 90260 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 363616 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18119 /proc/meminfo: memFree=1513084/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=366360 CPUtime=1791.37 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 89786 0 0 0 178968 169 0 0 25 0 1 0 12121385 375152640 89168 1992294400 134512640 137138936 4291252832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 91590 89168 192 642 0 90946 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 366360 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18119 /proc/meminfo: memFree=1512092/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=367304 CPUtime=1794.56 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 90008 0 0 0 179287 169 0 0 25 0 1 0 12121385 376119296 89390 1992294400 134512640 137138936 4291252832 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 91826 89390 192 642 0 91182 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 367304 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18119 /proc/meminfo: memFree=1511844/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=367700 CPUtime=1796.15 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 90111 0 0 0 179446 169 0 0 25 0 1 0 12121385 376524800 89493 1992294400 134512640 137138936 4291252832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 91925 89493 192 642 0 91281 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (KiB) 367700 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18119 /proc/meminfo: memFree=1511596/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=367836 CPUtime=1796.95 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 90148 0 0 0 179526 169 0 0 25 0 1 0 12121385 376664064 89530 1992294400 134512640 137138936 4291252832 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 91959 89530 192 642 0 91315 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 367836 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18119 /proc/meminfo: memFree=1511596/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=367968 CPUtime=1797.75 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 90182 0 0 0 179606 169 0 0 25 0 1 0 12121385 376799232 89564 1992294400 134512640 137138936 4291252832 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 91992 89564 192 642 0 91348 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 367968 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18119 /proc/meminfo: memFree=1511348/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=368100 CPUtime=1797.96 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202496 90196 0 0 0 179627 169 0 0 25 0 1 0 12121385 376934400 89578 1992294400 134512640 137138936 4291252832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18067/statm: 92025 89578 192 642 0 91381 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 368100 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18119 /proc/meminfo: memFree=1511348/2059040 swapFree=4140440/4192956 [pid=18067] ppid=18065 vsize=0 CPUtime=1798.05 /proc/18067/stat : 18067 (bsolo_pb10) R 18065 18067 17424 0 -1 4202500 90206 0 0 0 179635 170 0 0 25 0 1 0 12121385 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18067/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.09 CPU user time (s): 1796.36 CPU system time (s): 1.73274 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 368100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.36 system time used= 1.73274 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90206 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= 1 involuntary context switches= 20186 runsolver used 2.89756 second user time and 8.5717 second system time The end
Begin job on node052 at 2010-06-16 19:11:44 IDJOB=2670831 IDBENCH=48132 IDSOLVER=1162 FILE ID=node052/2670831-1276708304 PBS_JOBID= 11174092 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670831-1276708304/watcher-2670831-1276708304 -o /tmp/evaluation-result-2670831-1276708304/solver-2670831-1276708304 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670831-1276708304.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032 RANDOM SEED=1385474976 node052.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1872336 kB Buffers: 15712 kB Cached: 85248 kB SwapCached: 5940 kB Active: 74304 kB Inactive: 39320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1872336 kB SwapTotal: 4192956 kB SwapFree: 4140440 kB Dirty: 4000 kB Writeback: 0 kB AnonPages: 10884 kB Mapped: 12932 kB Slab: 51416 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179840 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670831-1276708304.opb Free space on /tmp at the end= 62500 MiB End job on node052 at 2010-06-16 19:41:43