Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 14 | 1798.05 | 1798.6 |
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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670832-1276708350.opb 0.00/0.00 c File size is 462769 bytes. 0.01/0.08 c Highest Coefficient sum: 200 0.01/0.08 c Parsing was ok!! 0.01/0.08 c Total parsing time: 0.079 s 0.01/0.08 c Var: 6460 Constr: 12720 6460/0/6260 Lit: 44020 Watch. Lit: 31700 0.01/0.08 c Obj. Vars: 200 (3.09598 % of total variables) 0.49/0.53 c Pre-processing Time: 0.534 s 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6460 12720 44020 3 31700 39713 0 0 0.53 0.49/0.53 c Switching off lower bounding mode. 0.49/0.54 o 199 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6460 12721 44220 3 31703 39846 1 0 0.54 0.49/0.54 o 198 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6460 12722 44420 3 31707 40046 2 0 0.55 0.49/0.55 o 197 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12723 44620 3 31712 40313 3 0 0.56 0.49/0.56 o 196 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6460 12724 44820 3 31718 40646 4 0 0.57 0.49/0.57 o 195 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6460 12725 45020 3 31725 41046 5 0 0.57 0.49/0.58 o 194 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6460 12726 45220 3 31733 41513 6 0 0.58 0.49/0.59 o 193 0.49/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.60 c 0 6460 12727 45420 3 31742 42046 7 0 0.59 0.49/0.60 o 192 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 6460 12728 45620 3 31752 42646 8 0 0.60 0.59/0.60 o 191 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 6460 12729 45820 3 31763 43313 9 0 0.61 0.59/0.61 o 190 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 0 6460 12730 46020 3 31775 44046 10 0 0.62 0.59/0.62 o 189 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 6460 12731 46220 3 31788 44846 11 0 0.63 0.59/0.63 o 188 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 6460 12732 46420 3 31802 45713 12 0 0.64 0.59/0.64 o 187 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 6460 12733 46620 3 31817 46646 13 0 0.65 0.59/0.65 o 186 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6460 12734 46820 3 31833 47646 14 0 0.66 0.59/0.66 o 185 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 6460 12735 47020 3 31850 48646 15 0 0.67 0.59/0.67 o 184 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 6460 12736 47220 3 31868 49646 16 0 0.68 0.59/0.68 o 183 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6460 12737 47420 3 31887 50646 17 0 0.69 0.59/0.69 o 182 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 0 6460 12738 47620 3 31907 51646 18 0 0.70 0.69/0.70 o 181 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 6460 12739 47820 3 31928 52646 19 0 0.71 0.69/0.71 o 180 0.69/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.72 c 0 6460 12740 48020 3 31950 53646 20 0 0.72 0.69/0.72 o 179 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 6460 12741 48220 3 31973 54646 21 0 0.73 0.69/0.73 o 178 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 0 6460 12742 48420 3 31997 55646 22 0 0.74 0.69/0.74 o 177 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 0 6460 12743 48620 3 32022 56646 23 0 0.75 0.69/0.75 o 176 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 0 6460 12744 48820 3 32048 57646 24 0 0.76 0.69/0.76 o 175 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 0 6460 12745 49020 3 32075 58646 25 0 0.77 0.69/0.78 o 174 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 0 6460 12746 49220 3 32103 59646 26 0 0.78 0.69/0.79 o 173 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 0 6460 12747 49420 3 32132 60646 27 0 0.79 0.79/0.80 o 172 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 6460 12748 49620 3 32162 61646 28 0 0.80 0.79/0.81 o 171 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 6460 12749 49820 3 32193 62646 29 0 0.81 0.79/0.82 o 170 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 6460 12750 50020 3 32225 63646 30 0 0.82 0.79/0.83 o 169 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 6460 12751 50220 3 32258 64646 31 0 0.83 0.79/0.84 o 168 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 6460 12752 50420 3 32292 65646 32 0 0.85 0.79/0.85 o 167 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 6460 12753 50620 3 32327 66646 33 0 0.86 0.79/0.86 o 166 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 0 6460 12754 50820 3 32363 67646 34 0 0.87 0.79/0.87 o 165 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 6460 12755 51020 4 32400 68646 35 0 0.88 0.79/0.89 o 164 0.79/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.90 c 0 6460 12756 51220 4 32438 69646 36 0 0.89 0.79/0.90 o 163 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 6460 12757 51420 4 32477 70646 37 0 0.90 0.89/0.91 o 162 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 6460 12758 51620 4 32517 71646 38 0 0.91 0.89/0.92 o 161 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 0 6460 12759 51820 4 32558 72646 39 0 0.92 0.89/0.93 o 160 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 0 6460 12760 52020 4 32600 73646 40 0 0.94 0.89/0.94 o 159 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 6460 12761 52220 4 32643 74646 41 0 0.95 0.89/0.95 o 158 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 6460 12762 52420 4 32687 75646 42 0 0.96 0.89/0.96 o 157 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 6460 12763 52620 4 32732 76646 43 0 0.97 0.89/0.97 o 156 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 6460 12764 52820 4 32778 77646 44 0 0.98 0.89/0.98 o 155 1.00/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.00 c 0 6460 12765 53020 4 32825 78646 45 0 0.99 1.00/1.00 o 154 1.00/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.01 c 0 6460 12766 53220 4 32873 79646 46 0 1.00 1.00/1.01 o 153 1.00/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.02 c 0 6460 12767 53420 4 32922 80646 47 0 1.01 1.00/1.02 o 152 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 0 6460 12768 53620 4 32972 81646 48 0 1.02 1.00/1.03 o 151 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 0 6460 12769 53820 4 33023 82646 49 0 1.03 1.00/1.04 o 150 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 0 6460 12770 54020 4 33075 83646 50 0 1.05 1.00/1.05 o 149 1.00/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.06 c 0 6460 12771 54220 4 33128 84646 51 0 1.06 1.00/1.06 o 148 1.00/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.07 c 0 6460 12772 54420 4 33182 85646 52 0 1.07 1.00/1.07 o 147 1.00/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.08 c 0 6460 12773 54620 4 33237 86646 53 0 1.08 1.00/1.08 o 146 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 0 6460 12774 54820 4 33293 87646 54 0 1.09 1.00/1.09 o 145 1.10/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.11 c 0 6460 12775 55020 4 33350 88646 55 0 1.10 1.10/1.11 o 144 1.10/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.12 c 0 6460 12776 55220 4 33408 89646 56 0 1.11 1.10/1.12 o 143 1.10/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.13 c 0 6460 12777 55420 4 33467 90646 57 0 1.12 1.10/1.13 o 142 1.10/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.14 c 0 6460 12778 55620 4 33527 91646 58 0 1.13 1.10/1.14 o 141 1.10/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.15 c 0 6460 12779 55820 4 33588 92646 59 0 1.14 1.10/1.15 o 140 1.10/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.16 c 0 6460 12780 56020 4 33650 93646 60 0 1.15 1.10/1.16 o 139 1.10/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.17 c 0 6460 12781 56220 4 33713 94646 61 0 1.16 1.10/1.17 o 138 1.10/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.18 c 0 6460 12782 56420 4 33777 95646 62 0 1.18 1.10/1.18 o 137 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 0 6460 12783 56620 4 33842 96646 63 0 1.19 1.10/1.19 o 136 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 0 6460 12784 56820 4 33908 97646 64 0 1.20 1.19/1.20 o 135 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 0 6460 12785 57020 4 33975 98646 65 0 1.21 1.19/1.21 o 134 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 0 6460 12786 57220 4 34043 99646 66 0 1.22 1.19/1.22 o 133 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 0 6460 12787 57420 4 34112 100646 67 0 1.23 1.19/1.23 o 132 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 6460 12788 57620 4 34182 101646 68 0 1.24 1.19/1.24 o 131 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 0 6460 12789 57820 4 34253 102646 69 0 1.25 1.19/1.25 o 130 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 0 6460 12790 58020 4 34325 103646 70 0 1.26 1.19/1.26 o 129 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 0 6460 12791 58220 4 34398 104646 71 0 1.27 1.19/1.27 o 128 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 0 6460 12792 58420 4 34472 105646 72 0 1.28 1.19/1.28 o 127 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 0 6460 12793 58620 4 34547 106646 73 0 1.29 1.19/1.29 o 126 1.30/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.30/1.30 c 0 6460 12794 58820 4 34623 107646 74 0 1.30 1.30/1.30 o 125 1.30/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.30/1.31 c 0 6460 12795 59020 4 34700 108646 75 0 1.31 1.30/1.31 o 124 1.30/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.30/1.32 c 0 6460 12796 59220 4 34778 109646 76 0 1.32 1.30/1.32 o 123 1.30/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.30/1.33 c 0 6460 12797 59420 4 34857 110646 77 0 1.33 1.30/1.33 o 122 1.30/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.30/1.34 c 0 6460 12798 59620 4 34937 111646 78 0 1.34 1.30/1.34 o 121 1.30/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.30/1.35 c 1 6460 12800 59942 4 35020 111646 80 0 1.35 1.30/1.35 o 21 1.30/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.30/1.36 c 1 6460 12801 60142 4 35201 111646 81 0 1.36 1.30/1.36 o 20 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 1 6460 12802 60342 4 35383 111646 82 0 1.37 1.39/1.43 c 101 6460 12902 73843 5 35583 122811 182 71 1.42 1.39/1.43 o 19 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 111 6460 12913 75269 5 35786 111646 193 77 1.44 1.39/1.44 o 18 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 112 6460 12915 75573 5 35972 111646 195 77 1.45 1.49/1.53 c 212 6460 13015 89775 6 36172 122811 295 141 1.50 1.49/1.53 o 17 3.09/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.18 c 268 6460 13072 96893 7 36469 111646 352 173 1.54 3.09/3.18 c 369 6460 13173 108984 8 36671 122811 453 231 1.60 3.09/3.18 c 620 6460 13424 146223 10 37173 135093 704 357 1.73 3.09/3.18 c 1097 6460 13901 202401 14 38127 148603 1181 548 2.00 3.09/3.18 c 1910 6460 14714 297933 20 39753 163464 1994 762 2.51 3.09/3.18 o 16 22.18/22.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.18/22.28 c 2967 6460 15772 463169 29 42053 111646 3052 930 3.19 22.18/22.28 c 3067 6460 15872 475676 29 42253 122811 3152 932 3.29 22.18/22.28 c 3317 6460 16122 498908 30 42753 135093 3402 946 3.50 22.18/22.28 c 3793 6460 16598 562850 33 43705 148603 3878 978 3.88 22.18/22.28 c 4606 6460 17411 677224 38 45331 163464 4691 974 4.73 22.18/22.28 c 5926 6460 18731 818372 43 47971 179811 6011 1012 5.85 22.18/22.28 c 8009 6460 20814 1146794 55 52137 197793 8094 964 8.30 22.18/22.28 c 11234 6460 24039 1641995 68 58587 217573 11319 839 13.38 22.18/22.28 c 16171 6460 28976 2236784 77 68461 239331 16256 734 22.02 22.18/22.28 o 15 390.76/390.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 390.76/390.90 c 16281 6460 29087 2252037 77 68868 111646 16367 730 22.28 390.76/390.90 c 16381 6460 29187 2261225 77 69068 122811 16467 727 22.53 390.76/390.90 c 16632 6460 29438 2287536 77 69570 135093 16718 716 23.20 390.76/390.90 c 17108 6460 29914 2325051 77 70522 148603 17194 703 24.30 390.76/390.90 c 17923 6460 30729 2391428 77 72152 163464 18009 688 26.04 390.76/390.90 c 19243 6460 32049 2533803 79 74792 179811 19329 656 29.31 390.76/390.90 c 21326 6460 34132 2808520 82 78958 197793 21412 613 34.77 390.76/390.90 c 24549 6460 37355 3218963 86 85404 217573 24635 540 45.45 390.76/390.90 c 29486 6460 42292 3873968 91 95278 239331 29572 480 61.41 390.76/390.90 c 36993 6460 49799 4811448 96 110292 263265 37079 414 89.17 390.76/390.90 c 48355 6460 61161 6155605 100 133016 289592 48441 327 147.73 390.76/390.90 c 65499 6460 78305 8142616 103 167304 318552 65585 261 250.19 390.76/390.90 o 14 1797.96/1798.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.56 c 82843 6460 95650 10389284 108 202180 111646 82930 211 390.79 1797.96/1798.56 c 82943 6460 95750 10401133 108 202380 122811 83030 211 391.77 1797.96/1798.56 c 83194 6460 96001 10427858 108 202882 135093 83281 211 394.05 1797.96/1798.56 c 83669 6460 96476 10473941 108 203832 148603 83756 210 397.91 1797.96/1798.56 c 84482 6460 97289 10536536 108 205458 163464 84569 209 403.30 1797.96/1798.56 c 85803 6460 98610 10634459 107 208100 179811 85890 208 412.08 1797.96/1798.56 c 87884 6460 100691 10914398 108 212262 197793 87971 203 431.04 1797.96/1798.56 c 91107 6460 103914 11269527 108 218708 217573 91194 197 460.31 1797.96/1798.56 c 96043 6460 108850 11850815 108 228580 239331 96130 189 506.12 1797.96/1798.56 c 103549 6460 116356 12644036 108 243592 263265 103636 176 587.59 1797.96/1798.56 c 114911 6460 127718 13921574 109 266316 289592 114998 165 696.22 1797.96/1798.56 c 132055 6460 144862 15685858 108 300604 318552 132142 146 901.90 1797.96/1798.56 c 157874 6460 170681 18962870 111 352242 350408 157961 131 1199.33 1797.96/1798.56 c Resources Exceeded 1797.96/1798.56 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.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.56 c 124 194827 61066 351674 207634 22720804 194914 108 1798.02 1797.96/1798.56 c Objective: 14 1797.96/1798.56 s SATISFIABLE 1797.96/1798.56 c Total time: 1798.02 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-2670832-1276708350/watcher-2670832-1276708350 -o /tmp/evaluation-result-2670832-1276708350/solver-2670832-1276708350 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670832-1276708350.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.02 1.02 1.00 3/106 18050 /proc/meminfo: memFree=1835396/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=11392 CPUtime=0 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 46439029 11665408 286 1992294400 134512640 137138936 4292771760 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 2848 287 174 642 0 2091 0 [startup+0.0142561 s] /proc/loadavg: 1.02 1.02 1.00 3/106 18050 /proc/meminfo: memFree=1835396/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=11668 CPUtime=0.01 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 426 0 0 0 1 0 0 0 20 0 1 0 46439029 11948032 345 1992294400 134512640 137138936 4292771760 18446744073709551615 134517545 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 2917 345 183 642 0 2160 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11668 [startup+0.101263 s] /proc/loadavg: 1.02 1.02 1.00 3/106 18050 /proc/meminfo: memFree=1835396/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=13828 CPUtime=0.09 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 1211 0 0 0 9 0 0 0 20 0 1 0 46439029 14159872 1017 1992294400 134512640 137138936 4292771760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 3457 1017 184 642 0 2813 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13828 [startup+0.301284 s] /proc/loadavg: 1.02 1.02 1.00 3/106 18050 /proc/meminfo: memFree=1835396/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=13828 CPUtime=0.29 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 1211 0 0 0 29 0 0 0 20 0 1 0 46439029 14159872 1017 1992294400 134512640 137138936 4292771760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 3457 1017 184 642 0 2813 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13828 [startup+0.701325 s] /proc/loadavg: 1.02 1.02 1.00 3/106 18050 /proc/meminfo: memFree=1835396/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=14072 CPUtime=0.69 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 1577 0 0 0 66 3 0 0 20 0 1 0 46439029 14409728 1074 1992294400 134512640 137138936 4292771760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 3518 1074 188 642 0 2874 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14072 [startup+1.50141 s] /proc/loadavg: 1.02 1.02 1.00 2/107 18051 /proc/meminfo: memFree=1831668/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=14768 CPUtime=1.49 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 1756 0 0 0 144 5 0 0 22 0 1 0 46439029 15122432 1253 1992294400 134512640 137138936 4292771760 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 3692 1253 191 642 0 3048 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14768 [startup+3.10157 s] /proc/loadavg: 1.02 1.02 1.00 2/107 18051 /proc/meminfo: memFree=1829436/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=19540 CPUtime=3.09 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 2956 0 0 0 303 6 0 0 25 0 1 0 46439029 20008960 2453 1992294400 134512640 137138936 4292771760 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 4885 2453 191 642 0 4241 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19540 [startup+6.3009 s] /proc/loadavg: 1.02 1.02 1.00 2/107 18051 /proc/meminfo: memFree=1821748/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=25604 CPUtime=6.29 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 4465 0 0 0 622 7 0 0 25 0 1 0 46439029 26218496 3962 1992294400 134512640 137138936 4292771760 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 6401 3962 191 642 0 5757 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25604 [startup+12.7016 s] /proc/loadavg: 1.02 1.02 1.00 2/107 18051 /proc/meminfo: memFree=1811332/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=35184 CPUtime=12.68 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 6854 0 0 0 1258 10 0 0 25 0 1 0 46439029 36028416 6351 1992294400 134512640 137138936 4292771760 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 8796 6351 191 642 0 8152 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35184 [startup+25.5009 s] /proc/loadavg: 1.01 1.02 1.00 2/107 18051 /proc/meminfo: memFree=1800048/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=45840 CPUtime=25.48 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 9527 0 0 0 2531 17 0 0 25 0 1 0 46439029 46940160 9024 1992294400 134512640 137138936 4292771760 18446744073709551615 134543261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 11460 9024 191 642 0 10816 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45840 [startup+51.1015 s] /proc/loadavg: 1.01 1.02 1.00 2/107 18051 /proc/meminfo: memFree=1785168/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=60940 CPUtime=51.08 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 13294 0 0 0 5083 25 0 0 25 0 1 0 46439029 62402560 12791 1992294400 134512640 137138936 4292771760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 15235 12791 191 642 0 14591 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 60940 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18056 /proc/meminfo: memFree=1761484/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=83776 CPUtime=102.27 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 19020 0 0 0 10190 37 0 0 25 0 1 0 46439029 85786624 18517 1992294400 134512640 137138936 4292771760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 20944 18517 191 642 0 20300 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 83776 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18058 /proc/meminfo: memFree=1743752/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=101600 CPUtime=162.25 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 23477 0 0 0 16178 47 0 0 25 0 1 0 46439029 104038400 22974 1992294400 134512640 137138936 4292771760 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 25400 22974 191 642 0 24756 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 101600 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18058 /proc/meminfo: memFree=1727880/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=117520 CPUtime=222.22 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 27449 0 0 0 22166 56 0 0 25 0 1 0 46439029 120340480 26946 1992294400 134512640 137138936 4292771760 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 29380 26946 191 642 0 28736 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 117520 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18060 /proc/meminfo: memFree=1713496/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=131864 CPUtime=282.21 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 31045 0 0 0 28155 66 0 0 25 0 1 0 46439029 135028736 30542 1992294400 134512640 137138936 4292771760 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 32966 30542 191 642 0 32322 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 131864 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18062 /proc/meminfo: memFree=1699856/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=145612 CPUtime=342.19 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 34475 0 0 0 34145 74 0 0 25 0 1 0 46439029 149106688 33972 1992294400 134512640 137138936 4292771760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 36403 33972 191 642 0 35759 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 145612 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18064 /proc/meminfo: memFree=1688200/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=157276 CPUtime=402.16 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 37398 0 0 0 40135 81 0 0 25 0 1 0 46439029 161050624 36895 1992294400 134512640 137138936 4292771760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 39319 36895 191 642 0 38675 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 157276 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18066 /proc/meminfo: memFree=1677412/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=167940 CPUtime=462.15 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 40052 0 0 0 46127 88 0 0 25 0 1 0 46439029 171970560 39549 1992294400 134512640 137138936 4292771760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 41985 39549 191 642 0 41341 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 167940 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18066 /proc/meminfo: memFree=1667864/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=177640 CPUtime=522.13 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 42469 0 0 0 52118 95 0 0 25 0 1 0 46439029 181903360 41966 1992294400 134512640 137138936 4292771760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 44410 41966 191 642 0 43766 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 177640 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18068 /proc/meminfo: memFree=1659432/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=185804 CPUtime=582.1 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 44524 0 0 0 58111 99 0 0 25 0 1 0 46439029 190263296 44021 1992294400 134512640 137138936 4292771760 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 46451 44021 191 642 0 45807 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 185804 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18070 /proc/meminfo: memFree=1649140/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=196044 CPUtime=642.09 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 47085 0 0 0 64103 106 0 0 25 0 1 0 46439029 200749056 46582 1992294400 134512640 137138936 4292771760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 49011 46582 191 642 0 48367 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 196044 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1581808/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=262968 CPUtime=1121.94 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 63817 0 0 0 112047 147 0 0 25 0 1 0 46439029 269279232 63314 1992294400 134512640 137138936 4292771760 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 65742 63314 191 642 0 65098 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 262968 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 18084 /proc/meminfo: memFree=1573748/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=271096 CPUtime=1181.92 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 65847 0 0 0 118041 151 0 0 25 0 1 0 46439029 277602304 65344 1992294400 134512640 137138936 4292771760 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 67774 65344 191 642 0 67130 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 271096 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18086 /proc/meminfo: memFree=1567920/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=276720 CPUtime=1241.91 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 67242 0 0 0 124035 156 0 0 25 0 1 0 46439029 283361280 66739 1992294400 134512640 137138936 4292771760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 69180 66739 191 642 0 68536 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 276720 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18088 /proc/meminfo: memFree=1562712/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=281696 CPUtime=1301.9 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 68484 0 0 0 130031 159 0 0 25 0 1 0 46439029 288456704 67981 1992294400 134512640 137138936 4292771760 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 70424 67981 191 642 0 69780 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 281696 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18090 /proc/meminfo: memFree=1557380/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=287036 CPUtime=1361.87 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 69824 0 0 0 136023 164 0 0 25 0 1 0 46439029 293924864 69321 1992294400 134512640 137138936 4292771760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 71759 69321 191 642 0 71115 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 287036 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 1.00 2/107 18090 /proc/meminfo: memFree=1551428/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=293024 CPUtime=1421.86 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 71329 0 0 0 142017 169 0 0 25 0 1 0 46439029 300056576 70826 1992294400 134512640 137138936 4292771760 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 73256 70826 191 642 0 72612 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 293024 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 18092 /proc/meminfo: memFree=1545476/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=299072 CPUtime=1481.84 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 72827 0 0 0 148011 173 0 0 25 0 1 0 46439029 306249728 72324 1992294400 134512640 137138936 4292771760 18446744073709551615 134574748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 74768 72324 191 642 0 74124 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 299072 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18094 /proc/meminfo: memFree=1540392/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=304128 CPUtime=1541.82 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 74091 0 0 0 154007 175 0 0 25 0 1 0 46439029 311427072 73588 1992294400 134512640 137138936 4292771760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 76032 73588 191 642 0 75388 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 304128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18096 /proc/meminfo: memFree=1535556/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=308844 CPUtime=1601.8 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 75271 0 0 0 160002 178 0 0 25 0 1 0 46439029 316256256 74768 1992294400 134512640 137138936 4292771760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 77211 74768 191 642 0 76567 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 308844 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18098 /proc/meminfo: memFree=1530472/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=313836 CPUtime=1661.78 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 76534 0 0 0 165997 181 0 0 25 0 1 0 46439029 321368064 76031 1992294400 134512640 137138936 4292771760 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 78459 76031 191 642 0 77815 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 313836 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18098 /proc/meminfo: memFree=1524644/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=319692 CPUtime=1721.76 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 77985 0 0 0 171991 185 0 0 25 0 1 0 46439029 327364608 77482 1992294400 134512640 137138936 4292771760 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 79923 77482 191 642 0 79279 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 319692 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18100 /proc/meminfo: memFree=1520056/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=324052 CPUtime=1781.75 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 79077 0 0 0 177986 189 0 0 25 0 1 0 46439029 331829248 78574 1992294400 134512640 137138936 4292771760 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 81013 78574 191 642 0 80369 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 324052 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 18100 /proc/meminfo: memFree=1519312/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=324724 CPUtime=1791.35 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 79242 0 0 0 178946 189 0 0 25 0 1 0 46439029 332517376 78739 1992294400 134512640 137138936 4292771760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 81181 78739 191 642 0 80537 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 324724 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18100 /proc/meminfo: memFree=1519064/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=325072 CPUtime=1794.55 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 79327 0 0 0 179266 189 0 0 25 0 1 0 46439029 332873728 78824 1992294400 134512640 137138936 4292771760 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 81268 78824 191 642 0 80624 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 325072 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18100 /proc/meminfo: memFree=1518940/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=325196 CPUtime=1796.14 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 79358 0 0 0 179425 189 0 0 25 0 1 0 46439029 333000704 78855 1992294400 134512640 137138936 4292771760 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 81299 78855 191 642 0 80655 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 325196 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18100 /proc/meminfo: memFree=1518816/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=325276 CPUtime=1796.94 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 79387 0 0 0 179505 189 0 0 25 0 1 0 46439029 333082624 78884 1992294400 134512640 137138936 4292771760 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 81319 78884 191 642 0 80675 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 325276 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18100 /proc/meminfo: memFree=1518816/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=325400 CPUtime=1797.75 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 79409 0 0 0 179585 190 0 0 25 0 1 0 46439029 333209600 78906 1992294400 134512640 137138936 4292771760 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 81350 78906 191 642 0 80706 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 325400 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18102 /proc/meminfo: memFree=1518692/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=325400 CPUtime=1797.96 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202496 79410 0 0 0 179606 190 0 0 25 0 1 0 46439029 333209600 78907 1992294400 134512640 137138936 4292771760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18050/statm: 81350 78907 191 642 0 80706 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 325400 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18102 /proc/meminfo: memFree=1518692/2059040 swapFree=4135688/4192956 [pid=18050] ppid=18048 vsize=0 CPUtime=1798.05 /proc/18050/stat : 18050 (bsolo_pb10) R 18048 18050 17370 0 -1 4202500 79413 0 0 0 179612 193 0 0 25 0 1 0 46439029 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18050/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.6 CPU time (s): 1798.05 CPU user time (s): 1796.12 CPU system time (s): 1.93371 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 325400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.12 system time used= 1.93371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79413 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= 3469 runsolver used 3.23051 second user time and 8.23175 second system time The end
Begin job on node002 at 2010-06-16 19:12:30 IDJOB=2670832 IDBENCH=48132 IDSOLVER=1163 FILE ID=node002/2670832-1276708350 PBS_JOBID= 11174131 Free space on /tmp= 62572 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670832-1276708350/watcher-2670832-1276708350 -o /tmp/evaluation-result-2670832-1276708350/solver-2670832-1276708350 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670832-1276708350.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032 RANDOM SEED=1334823694 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1836792 kB Buffers: 14624 kB Cached: 118356 kB SwapCached: 10520 kB Active: 85772 kB Inactive: 60636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1836792 kB SwapTotal: 4192956 kB SwapFree: 4135688 kB Dirty: 3992 kB Writeback: 0 kB AnonPages: 11868 kB Mapped: 9404 kB Slab: 54152 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181472 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-2670832-1276708350.opb Free space on /tmp at the end= 62568 MiB End job on node002 at 2010-06-16 19:42:29