Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | SAT | 14 | 1798.08 | 1798.99 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb |
MD5SUM | 64354bd2b9c3cc2f1ca2c32032e5c032 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 1796.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 51 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6260 |
Sum of products size (including duplicates) | 12520 |
Number of different products | 6260 |
Sum of products size | 12520 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878152-1245193458.opb 0.00/0.00 c File size is 462769 bytes. 0.03/0.06 c Highest Coefficient sum: 200 0.03/0.06 c Parsing was ok!! 0.03/0.06 c Total parsing time: 0.06 s 0.03/0.06 c Var: 6460 Constr: 12720 6460/0/6260 Lit: 44020 Watch. Lit: 31700 0.03/0.06 c Obj. Vars: 200 (3.09598 % of total variables) 0.39/0.50 c Pre-processing Time: 0.498 s 0.39/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.50 c 0 6460 12720 44020 3 31700 39713 0 0 0.50 0.39/0.50 c Switching off lower bounding mode. 0.49/0.50 o 199 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 0 6460 12721 44220 3 31703 39846 1 0 0.51 0.49/0.51 o 198 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6460 12722 44420 3 31707 40046 2 0 0.51 0.49/0.52 o 197 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6460 12723 44620 3 31712 40313 3 0 0.52 0.49/0.52 o 196 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6460 12724 44820 3 31718 40646 4 0 0.53 0.49/0.53 o 195 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6460 12725 45020 3 31725 41046 5 0 0.54 0.49/0.54 o 194 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6460 12726 45220 3 31733 41513 6 0 0.55 0.49/0.55 o 193 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12727 45420 3 31742 42046 7 0 0.55 0.49/0.56 o 192 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12728 45620 3 31752 42646 8 0 0.56 0.49/0.56 o 191 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6460 12729 45820 3 31763 43313 9 0 0.57 0.49/0.57 o 190 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6460 12730 46020 3 31775 44046 10 0 0.58 0.49/0.58 o 189 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6460 12731 46220 3 31788 44846 11 0 0.59 0.49/0.59 o 188 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 6460 12732 46420 3 31802 45713 12 0 0.60 0.59/0.60 o 187 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 6460 12733 46620 3 31817 46646 13 0 0.60 0.59/0.61 o 186 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 0 6460 12734 46820 3 31833 47646 14 0 0.61 0.59/0.62 o 185 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 6460 12735 47020 3 31850 48646 15 0 0.62 0.59/0.63 o 184 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 6460 12736 47220 3 31868 49646 16 0 0.63 0.59/0.64 o 183 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 6460 12737 47420 3 31887 50646 17 0 0.64 0.59/0.65 o 182 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6460 12738 47620 3 31907 51646 18 0 0.65 0.59/0.66 o 181 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 6460 12739 47820 3 31928 52646 19 0 0.66 0.59/0.67 o 180 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 6460 12740 48020 3 31950 53646 20 0 0.67 0.59/0.67 o 179 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6460 12741 48220 3 31973 54646 21 0 0.68 0.59/0.69 o 178 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6460 12742 48420 3 31997 55646 22 0 0.69 0.59/0.69 o 177 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 0 6460 12743 48620 3 32022 56646 23 0 0.70 0.69/0.70 o 176 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 6460 12744 48820 3 32048 57646 24 0 0.71 0.69/0.71 o 175 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 6460 12745 49020 3 32075 58646 25 0 0.72 0.69/0.73 o 174 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 6460 12746 49220 3 32103 59646 26 0 0.73 0.69/0.73 o 173 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 0 6460 12747 49420 3 32132 60646 27 0 0.74 0.69/0.75 o 172 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 0 6460 12748 49620 3 32162 61646 28 0 0.75 0.69/0.76 o 171 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 0 6460 12749 49820 3 32193 62646 29 0 0.76 0.69/0.77 o 170 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 0 6460 12750 50020 3 32225 63646 30 0 0.77 0.69/0.78 o 169 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 0 6460 12751 50220 3 32258 64646 31 0 0.78 0.69/0.79 o 168 0.69/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.80 c 0 6460 12752 50420 3 32292 65646 32 0 0.79 0.69/0.80 o 167 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 6460 12753 50620 3 32327 66646 33 0 0.80 0.79/0.81 o 166 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 6460 12754 50820 3 32363 67646 34 0 0.81 0.79/0.82 o 165 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 6460 12755 51020 4 32400 68646 35 0 0.82 0.79/0.83 o 164 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 6460 12756 51220 4 32438 69646 36 0 0.83 0.79/0.84 o 163 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 6460 12757 51420 4 32477 70646 37 0 0.84 0.79/0.85 o 162 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 6460 12758 51620 4 32517 71646 38 0 0.85 0.79/0.86 o 161 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 0 6460 12759 51820 4 32558 72646 39 0 0.86 0.79/0.87 o 160 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 6460 12760 52020 4 32600 73646 40 0 0.88 0.79/0.88 o 159 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 6460 12761 52220 4 32643 74646 41 0 0.88 0.79/0.89 o 158 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 6460 12762 52420 4 32687 75646 42 0 0.90 0.89/0.90 o 157 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 6460 12763 52620 4 32732 76646 43 0 0.91 0.89/0.91 o 156 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 6460 12764 52820 4 32778 77646 44 0 0.92 0.89/0.92 o 155 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 0 6460 12765 53020 4 32825 78646 45 0 0.93 0.89/0.93 o 154 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 0 6460 12766 53220 4 32873 79646 46 0 0.94 0.89/0.94 o 153 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 6460 12767 53420 4 32922 80646 47 0 0.95 0.89/0.95 o 152 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 6460 12768 53620 4 32972 81646 48 0 0.96 0.89/0.96 o 151 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 6460 12769 53820 4 33023 82646 49 0 0.97 0.89/0.97 o 150 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 6460 12770 54020 4 33075 83646 50 0 0.98 0.89/0.98 o 149 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 6460 12771 54220 4 33128 84646 51 0 0.99 0.89/0.99 o 148 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 0 6460 12772 54420 4 33182 85646 52 0 1.00 0.99/1.00 o 147 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 6460 12773 54620 4 33237 86646 53 0 1.01 0.99/1.02 o 146 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 6460 12774 54820 4 33293 87646 54 0 1.02 0.99/1.02 o 145 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 0 6460 12775 55020 4 33350 88646 55 0 1.03 0.99/1.04 o 144 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 0 6460 12776 55220 4 33408 89646 56 0 1.04 0.99/1.04 o 143 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 0 6460 12777 55420 4 33467 90646 57 0 1.05 0.99/1.06 o 142 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 0 6460 12778 55620 4 33527 91646 58 0 1.06 0.99/1.06 o 141 0.99/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.07 c 0 6460 12779 55820 4 33588 92646 59 0 1.07 0.99/1.07 o 140 0.99/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.08 c 0 6460 12780 56020 4 33650 93646 60 0 1.08 0.99/1.08 o 139 0.99/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.09 c 0 6460 12781 56220 4 33713 94646 61 0 1.09 0.99/1.09 o 138 1.09/1.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.10 c 0 6460 12782 56420 4 33777 95646 62 0 1.10 1.09/1.10 o 137 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 0 6460 12783 56620 4 33842 96646 63 0 1.11 1.09/1.11 o 136 1.09/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.12 c 0 6460 12784 56820 4 33908 97646 64 0 1.12 1.09/1.12 o 135 1.09/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.13 c 0 6460 12785 57020 4 33975 98646 65 0 1.13 1.09/1.13 o 134 1.09/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.14 c 0 6460 12786 57220 4 34043 99646 66 0 1.14 1.09/1.14 o 133 1.09/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.15 c 0 6460 12787 57420 4 34112 100646 67 0 1.15 1.09/1.15 o 132 1.09/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.16 c 0 6460 12788 57620 4 34182 101646 68 0 1.16 1.09/1.16 o 131 1.09/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.17 c 0 6460 12789 57820 4 34253 102646 69 0 1.17 1.09/1.17 o 130 1.09/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.18 c 0 6460 12790 58020 4 34325 103646 70 0 1.18 1.09/1.18 o 129 1.09/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.19 c 0 6460 12791 58220 4 34398 104646 71 0 1.19 1.09/1.19 o 128 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 0 6460 12792 58420 4 34472 105646 72 0 1.20 1.19/1.20 o 127 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 0 6460 12793 58620 4 34547 106646 73 0 1.20 1.19/1.21 o 126 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 0 6460 12794 58820 4 34623 107646 74 0 1.21 1.19/1.22 o 125 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 0 6460 12795 59020 4 34700 108646 75 0 1.22 1.19/1.23 o 124 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 6460 12796 59220 4 34778 109646 76 0 1.23 1.19/1.24 o 123 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 6460 12797 59420 4 34857 110646 77 0 1.24 1.19/1.24 o 122 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 0 6460 12798 59620 4 34937 111646 78 0 1.25 1.19/1.25 o 121 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 1 6460 12800 59942 4 35020 111646 80 0 1.26 1.19/1.26 o 21 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 1 6460 12801 60142 4 35201 111646 81 0 1.27 1.19/1.28 o 20 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 1 6460 12802 60342 4 35383 111646 82 0 1.28 1.29/1.34 c 101 6460 12902 73843 5 35583 122811 182 76 1.33 1.29/1.34 o 19 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 111 6460 12913 75269 5 35786 111646 193 82 1.34 1.29/1.35 o 18 1.40/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.40/1.44 c 112 6460 12915 75573 5 35972 111646 195 82 1.35 1.40/1.44 c 212 6460 13015 89775 6 36172 122811 295 150 1.41 1.40/1.44 o 17 2.89/2.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.98 c 268 6460 13072 96893 7 36469 111646 352 185 1.44 2.89/2.98 c 369 6460 13173 108984 8 36671 122811 453 246 1.49 2.89/2.98 c 620 6460 13424 146223 10 37173 135093 704 382 1.62 2.89/2.98 c 1097 6460 13901 202401 14 38127 148603 1181 586 1.87 2.89/2.98 c 1910 6460 14714 297933 20 39753 163464 1994 814 2.35 2.89/2.98 o 16 21.29/21.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.29/21.38 c 2967 6460 15772 463169 29 42053 111646 3052 992 2.99 21.29/21.38 c 3067 6460 15872 475676 29 42253 122811 3152 994 3.08 21.29/21.38 c 3317 6460 16122 498908 30 42753 135093 3402 1009 3.29 21.29/21.38 c 3793 6460 16598 562850 33 43705 148603 3878 1042 3.64 21.29/21.38 c 4606 6460 17411 677224 38 45331 163464 4691 1033 4.46 21.29/21.38 c 5926 6460 18731 818372 43 47971 179811 6011 1070 5.53 21.29/21.38 c 8009 6460 20814 1146794 55 52137 197793 8094 1014 7.89 21.29/21.38 c 11234 6460 24039 1641995 68 58587 217573 11319 877 12.80 21.29/21.38 c 16171 6460 28976 2236784 77 68461 239331 16256 765 21.13 21.29/21.38 o 15 383.80/384.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 383.80/384.07 c 16281 6460 29087 2252037 77 68868 111646 16367 761 21.38 383.80/384.07 c 16381 6460 29187 2261225 77 69068 122811 16467 757 21.62 383.80/384.07 c 16632 6460 29438 2287536 77 69570 135093 16718 746 22.27 383.80/384.07 c 17108 6460 29914 2325051 77 70522 148603 17194 733 23.33 383.80/384.07 c 17923 6460 30729 2391428 77 72152 163464 18009 716 25.02 383.80/384.07 c 19243 6460 32049 2533803 79 74792 179811 19329 681 28.22 383.80/384.07 c 21326 6460 34132 2808520 82 78958 197793 21412 635 33.56 383.80/384.07 c 24549 6460 37355 3218963 86 85404 217573 24635 558 43.97 383.80/384.07 c 29486 6460 42292 3873968 91 95278 239331 29572 494 59.63 383.80/384.07 c 36993 6460 49799 4811448 96 110292 263265 37079 426 86.81 383.80/384.07 c 48355 6460 61161 6155605 100 133016 289592 48441 335 144.33 383.80/384.07 c 65499 6460 78305 8142616 103 167304 318552 65585 267 245.28 383.80/384.07 o 14 1797.98/1798.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.94 c 82843 6460 95650 10389284 108 202180 111646 82930 215 383.90 1797.98/1798.94 c 82943 6460 95750 10401133 108 202380 122811 83030 215 384.87 1797.98/1798.94 c 83194 6460 96001 10427858 108 202882 135093 83281 214 387.12 1797.98/1798.94 c 83669 6460 96476 10473941 108 203832 148603 83756 214 390.95 1797.98/1798.94 c 84482 6460 97289 10536536 108 205458 163464 84569 213 396.29 1797.98/1798.94 c 85803 6460 98610 10634459 107 208100 179811 85890 211 404.94 1797.98/1798.94 c 87884 6460 100691 10914398 108 212262 197793 87971 207 423.62 1797.98/1798.94 c 91107 6460 103914 11269527 108 218708 217573 91194 201 452.51 1797.98/1798.94 c 96043 6460 108850 11850815 108 228580 239331 96130 192 497.68 1797.98/1798.94 c 103549 6460 116356 12644036 108 243592 263265 103636 178 578.57 1797.98/1798.94 c 114911 6460 127718 13921574 109 266316 289592 114998 167 686.26 1797.98/1798.94 c 132055 6460 144862 15685858 108 300604 318552 132142 148 890.09 1797.98/1798.94 c 157874 6460 170681 18962870 111 352242 350408 157961 133 1183.87 1797.98/1798.94 c Resources Exceeded 1797.98/1798.94 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.98/1798.94 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.94 c 124 195865 61401 353375 208672 22885337 195952 108 1798.03 1797.98/1798.94 c Objective: 14 1797.98/1798.94 s SATISFIABLE 1797.98/1798.94 c Total time: 1798.03 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-1878152-1245193458/watcher-1878152-1245193458 -o /tmp/evaluation-result-1878152-1245193458/solver-1878152-1245193458 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878152-1245193458.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.00 0.98 0.99 3/65 19613 /proc/meminfo: memFree=1850656/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=18980 CPUtime=0 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 186944540 19435520 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 4745 253 174 640 0 3988 0 [startup+0.0337641 s] /proc/loadavg: 1.00 0.98 0.99 3/65 19613 /proc/meminfo: memFree=1850656/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=12132 CPUtime=0.03 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 549 0 0 0 3 0 0 0 18 0 1 0 186944540 12423168 533 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 3033 534 228 640 0 2276 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12132 [startup+0.102778 s] /proc/loadavg: 1.00 0.98 0.99 3/65 19613 /proc/meminfo: memFree=1850656/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=13820 CPUtime=0.09 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 1150 0 0 0 9 0 0 0 18 0 1 0 186944540 14151680 1021 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 3455 1021 189 640 0 2811 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13820 [startup+0.301817 s] /proc/loadavg: 1.00 0.98 0.99 3/65 19613 /proc/meminfo: memFree=1850656/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=13820 CPUtime=0.29 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 1150 0 0 0 29 0 0 0 19 0 1 0 186944540 14151680 1021 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 3455 1021 189 640 0 2811 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13820 [startup+0.701895 s] /proc/loadavg: 1.00 0.98 0.99 3/65 19613 /proc/meminfo: memFree=1850656/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=14064 CPUtime=0.69 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 1522 0 0 0 66 3 0 0 23 0 1 0 186944540 14401536 1084 1992294400 134512640 137136520 4294956256 18446744073709551615 136498165 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 3516 1084 195 640 0 2872 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14064 [startup+1.50105 s] /proc/loadavg: 1.00 0.98 0.99 2/66 19614 /proc/meminfo: memFree=1847000/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=14996 CPUtime=1.49 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 1765 0 0 0 145 4 0 0 25 0 1 0 186944540 15355904 1327 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 3749 1327 197 640 0 3105 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14996 [startup+3.10137 s] /proc/loadavg: 1.00 0.98 0.99 2/66 19614 /proc/meminfo: memFree=1843992/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=20052 CPUtime=3.09 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 3014 0 0 0 304 5 0 0 25 0 1 0 186944540 20533248 2576 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 5013 2576 197 640 0 4369 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20052 [startup+6.30199 s] /proc/loadavg: 1.00 0.98 0.99 2/66 19614 /proc/meminfo: memFree=1836312/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=26308 CPUtime=6.29 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 4579 0 0 0 623 6 0 0 25 0 1 0 186944540 26939392 4141 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 6577 4141 197 640 0 5933 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26308 [startup+12.7012 s] /proc/loadavg: 1.15 1.02 1.00 2/66 19614 /proc/meminfo: memFree=1825816/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=35720 CPUtime=12.69 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 6933 0 0 0 1260 9 0 0 25 0 1 0 186944540 36577280 6495 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 8930 6495 197 640 0 8286 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35720 [startup+25.5027 s] /proc/loadavg: 1.12 1.02 1.00 2/66 19614 /proc/meminfo: memFree=1814680/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=46356 CPUtime=25.49 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 9610 0 0 0 2535 14 0 0 25 0 1 0 186944540 47468544 9172 1992294400 134512640 137136520 4294956256 18446744073709551615 136502090 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 11589 9172 197 640 0 10945 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46356 [startup+51.1018 s] /proc/loadavg: 1.08 1.01 1.00 2/66 19614 /proc/meminfo: memFree=1799448/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=61756 CPUtime=51.07 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 13442 0 0 0 5086 21 0 0 25 0 1 0 186944540 63238144 13004 1992294400 134512640 137136520 4294956256 18446744073709551615 134543989 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 15439 13004 197 640 0 14795 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61756 [startup+102.306 s] /proc/loadavg: 1.03 1.01 1.00 2/66 19614 /proc/meminfo: memFree=1776152/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=84700 CPUtime=102.24 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 19183 0 0 0 10196 28 0 0 25 0 1 0 186944540 86732800 18745 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 21175 18745 197 640 0 20531 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 84700 [startup+162.302 s] /proc/loadavg: 1.01 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1758232/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=102608 CPUtime=162.22 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 23666 0 0 0 16185 37 0 0 25 0 1 0 186944540 105070592 23228 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 25652 23228 197 640 0 25008 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 102608 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1742104/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=118648 CPUtime=222.19 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 27665 0 0 0 22175 44 0 0 25 0 1 0 186944540 121495552 27227 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 29662 27227 197 640 0 29018 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 118648 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1728088/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=132676 CPUtime=282.16 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 31189 0 0 0 28167 49 0 0 25 0 1 0 186944540 135860224 30751 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 33169 30751 197 640 0 32525 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 132676 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1713760/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=146944 CPUtime=342.13 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 34746 0 0 0 34159 54 0 0 25 0 1 0 186944540 150470656 34308 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 36736 34308 197 640 0 36092 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 146944 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1702432/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=158364 CPUtime=402.1 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 37609 0 0 0 40150 60 0 0 25 0 1 0 186944540 162164736 37171 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 39591 37171 197 640 0 38947 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 158364 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1691488/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=169188 CPUtime=462.06 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 40304 0 0 0 46142 64 0 0 25 0 1 0 186944540 173248512 39866 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 42297 39866 197 640 0 41653 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 169188 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1682144/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=178520 CPUtime=522.04 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 42644 0 0 0 52133 71 0 0 25 0 1 0 186944540 182804480 42206 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 44630 42206 197 640 0 43986 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 178520 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1673568/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=187028 CPUtime=582 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 44764 0 0 0 58126 74 0 0 25 0 1 0 186944540 191516672 44326 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 46757 44326 197 640 0 46113 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 187028 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1662240/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=198164 CPUtime=641.97 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 47554 0 0 0 64118 79 0 0 25 0 1 0 186944540 202919936 47116 1992294400 134512640 137136520 4294956256 18446744073709551615 134544050 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 49541 47116 197 640 0 48897 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 198164 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1604640/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=255772 CPUtime=1061.76 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 61946 0 0 0 106068 108 0 0 25 0 1 0 186944540 261910528 61508 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 63943 61508 197 640 0 63299 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 255772 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1594848/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=265396 CPUtime=1121.73 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 64354 0 0 0 112061 112 0 0 25 0 1 0 186944540 271765504 63916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19613/statm: 66349 63916 197 640 0 65705 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 265396 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1587168/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=273056 CPUtime=1181.7 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 66275 0 0 0 118055 115 0 0 25 0 1 0 186944540 279609344 65837 1992294400 134512640 137136520 4294956256 18446744073709551615 134544503 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 68264 65837 197 640 0 67620 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 273056 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1582176/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=277868 CPUtime=1241.66 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 67470 0 0 0 124050 116 0 0 25 0 1 0 186944540 284536832 67032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 69467 67032 197 640 0 68823 0 Current children cumulated CPU time (s) 1241.66 Current children cumulated vsize (KiB) 277868 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1576736/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=283104 CPUtime=1301.64 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 68797 0 0 0 130045 119 0 0 25 0 1 0 186944540 289898496 68359 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 70776 68359 197 640 0 70132 0 Current children cumulated CPU time (s) 1301.64 Current children cumulated vsize (KiB) 283104 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1571296/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=288788 CPUtime=1361.61 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 70200 0 0 0 136039 122 0 0 25 0 1 0 186944540 295718912 69762 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 72197 69762 197 640 0 71553 0 Current children cumulated CPU time (s) 1361.61 Current children cumulated vsize (KiB) 288788 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1565344/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=294668 CPUtime=1421.58 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 71685 0 0 0 142033 125 0 0 25 0 1 0 186944540 301740032 71247 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 73667 71247 197 640 0 73023 0 Current children cumulated CPU time (s) 1421.58 Current children cumulated vsize (KiB) 294668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1559264/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=300644 CPUtime=1481.55 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 73182 0 0 0 148028 127 0 0 25 0 1 0 186944540 307859456 72744 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 75161 72744 197 640 0 74517 0 Current children cumulated CPU time (s) 1481.55 Current children cumulated vsize (KiB) 300644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1554144/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=305696 CPUtime=1541.51 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 74440 0 0 0 154021 130 0 0 25 0 1 0 186944540 313032704 74002 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 76424 74002 197 640 0 75780 0 Current children cumulated CPU time (s) 1541.51 Current children cumulated vsize (KiB) 305696 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1549664/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=310236 CPUtime=1601.49 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 75576 0 0 0 160017 132 0 0 25 0 1 0 186944540 317681664 75138 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 77559 75138 197 640 0 76915 0 Current children cumulated CPU time (s) 1601.49 Current children cumulated vsize (KiB) 310236 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1544096/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=315704 CPUtime=1661.46 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 76939 0 0 0 166011 135 0 0 25 0 1 0 186944540 323280896 76501 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 78926 76501 197 640 0 78282 0 Current children cumulated CPU time (s) 1661.46 Current children cumulated vsize (KiB) 315704 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/66 19614 /proc/meminfo: memFree=1538784/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=321052 CPUtime=1721.42 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 78267 0 0 0 172005 137 0 0 25 0 1 0 186944540 328757248 77829 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 80263 77829 197 640 0 79619 0 Current children cumulated CPU time (s) 1721.42 Current children cumulated vsize (KiB) 321052 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/66 19614 /proc/meminfo: memFree=1533664/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=325960 CPUtime=1781.39 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 79510 0 0 0 177999 140 0 0 25 0 1 0 186944540 333783040 79072 1992294400 134512640 137136520 4294956256 18446744073709551615 134544398 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 81490 79072 197 640 0 80846 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (KiB) 325960 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.01 1.01 1.00 2/66 19614 /proc/meminfo: memFree=1532576/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=326992 CPUtime=1790.99 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 79770 0 0 0 178959 140 0 0 25 0 1 0 186944540 334839808 79332 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 81748 79332 197 640 0 81104 0 Current children cumulated CPU time (s) 1790.99 Current children cumulated vsize (KiB) 326992 [startup+1795.1 s] /proc/loadavg: 1.01 1.01 1.00 2/66 19614 /proc/meminfo: memFree=1532320/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=327228 CPUtime=1794.19 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 79827 0 0 0 179279 140 0 0 25 0 1 0 186944540 335081472 79389 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 81807 79389 197 640 0 81163 0 Current children cumulated CPU time (s) 1794.19 Current children cumulated vsize (KiB) 327228 [startup+1796.7 s] /proc/loadavg: 1.01 1.01 1.00 2/66 19614 /proc/meminfo: memFree=1532192/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=327388 CPUtime=1795.79 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 79868 0 0 0 179438 141 0 0 25 0 1 0 186944540 335245312 79430 1992294400 134512640 137136520 4294956256 18446744073709551615 134573649 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 81847 79430 197 640 0 81203 0 Current children cumulated CPU time (s) 1795.79 Current children cumulated vsize (KiB) 327388 [startup+1798.3 s] /proc/loadavg: 1.01 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1532128/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=327540 CPUtime=1797.39 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 79903 0 0 0 179598 141 0 0 25 0 1 0 186944540 335400960 79465 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 81885 79465 197 640 0 81241 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (KiB) 327540 [startup+1798.7 s] /proc/loadavg: 1.01 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1532000/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=327540 CPUtime=1797.78 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 79903 0 0 0 179637 141 0 0 25 0 1 0 186944540 335400960 79465 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 81885 79465 197 640 0 81241 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 327540 [startup+1798.9 s] /proc/loadavg: 1.01 1.00 1.00 2/66 19614 /proc/meminfo: memFree=1532000/2055920 swapFree=4192812/4192956 [pid=19613] ppid=19611 vsize=327656 CPUtime=1797.98 /proc/19613/stat : 19613 (bsolo) R 19611 19613 19521 0 -1 4194304 79917 0 0 0 179657 141 0 0 25 0 1 0 186944540 335519744 79479 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19613/statm: 81914 79479 197 640 0 81270 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 327656 Child status: 0 Real time (s): 1798.99 CPU time (s): 1798.08 CPU user time (s): 1796.62 CPU system time (s): 1.46078 CPU usage (%): 99.9491 Max. virtual memory (cumulated for all children) (KiB): 327656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.62 system time used= 1.46078 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79919 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= 3 involuntary context switches= 5259 runsolver used 1.9407 second user time and 4.6073 second system time The end
Begin job on node77 at 2009-06-17 01:04:18 IDJOB=1878152 IDBENCH=48132 IDSOLVER=700 FILE ID=node77/1878152-1245193458 PBS_JOBID= 9368334 Free space on /tmp= 66320 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878152-1245193458/watcher-1878152-1245193458 -o /tmp/evaluation-result-1878152-1245193458/solver-1878152-1245193458 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878152-1245193458.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032 RANDOM SEED=999754843 node77.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1851584 kB Buffers: 29168 kB Cached: 100440 kB SwapCached: 0 kB Active: 25100 kB Inactive: 117696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1851584 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4024 kB Writeback: 0 kB Mapped: 23028 kB Slab: 47508 kB Committed_AS: 121504 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878152-1245193458.opb Free space on /tmp at the end= 66312 MiB End job on node77 at 2009-06-17 01:34:17