Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| bsolo 3.2 Cl | SAT | 14 | 1798.04 | 1798.57 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb |
| MD5SUM | 88e7a647c6e46a38e952354158b1fb76 |
| 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.21 |
| 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 | 44 |
| 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) | 6204 |
| Sum of products size (including duplicates) | 12408 |
| Number of different products | 6204 |
| Sum of products size | 12408 |
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-2670824-1276707993.opb 0.00/0.00 c File size is 458821 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.078 s 0.01/0.08 c Var: 6404 Constr: 12608 6404/0/6204 Lit: 43628 Watch. Lit: 31420 0.01/0.08 c Obj. Vars: 200 (3.12305 % of total variables) 0.49/0.52 c Pre-processing Time: 0.526 s 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6404 12608 43628 3 31420 39358 0 0 0.53 0.49/0.52 c Switching off lower bounding mode. 0.49/0.53 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 6404 12609 43828 3 31423 39491 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 6404 12610 44028 3 31427 39691 2 0 0.54 0.49/0.55 o 197 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6404 12611 44228 3 31432 39958 3 0 0.55 0.49/0.55 o 196 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6404 12612 44428 3 31438 40291 4 0 0.56 0.49/0.56 o 195 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6404 12613 44628 3 31445 40691 5 0 0.57 0.49/0.57 o 194 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6404 12614 44828 3 31453 41158 6 0 0.57 0.49/0.58 o 193 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6404 12615 45028 3 31462 41691 7 0 0.58 0.49/0.59 o 192 0.49/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.60 c 0 6404 12616 45228 3 31472 42291 8 0 0.59 0.49/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 6404 12617 45428 3 31483 42958 9 0 0.60 0.59/0.61 o 190 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 6404 12618 45628 3 31495 43691 10 0 0.61 0.59/0.61 o 189 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 0 6404 12619 45828 3 31508 44491 11 0 0.62 0.59/0.62 o 188 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 6404 12620 46028 3 31522 45358 12 0 0.63 0.59/0.63 o 187 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 6404 12621 46228 3 31537 46291 13 0 0.64 0.59/0.64 o 186 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 6404 12622 46428 3 31553 47291 14 0 0.65 0.59/0.65 o 185 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 6404 12623 46628 3 31570 48291 15 0 0.66 0.59/0.66 o 184 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 6404 12624 46828 3 31588 49291 16 0 0.67 0.59/0.67 o 183 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 6404 12625 47028 3 31607 50291 17 0 0.68 0.59/0.68 o 182 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 6404 12626 47228 3 31627 51291 18 0 0.69 0.59/0.69 o 181 0.70/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.70 c 0 6404 12627 47428 3 31648 52291 19 0 0.70 0.70/0.70 o 180 0.70/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.71 c 0 6404 12628 47628 3 31670 53291 20 0 0.71 0.70/0.71 o 179 0.70/0.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.72 c 0 6404 12629 47828 3 31693 54291 21 0 0.72 0.70/0.72 o 178 0.70/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.73 c 0 6404 12630 48028 3 31717 55291 22 0 0.73 0.70/0.73 o 177 0.70/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.74 c 0 6404 12631 48228 3 31742 56291 23 0 0.74 0.70/0.74 o 176 0.70/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.76 c 0 6404 12632 48428 3 31768 57291 24 0 0.75 0.70/0.76 o 175 0.70/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.77 c 0 6404 12633 48628 3 31795 58291 25 0 0.76 0.70/0.77 o 174 0.70/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.78 c 0 6404 12634 48828 3 31823 59291 26 0 0.77 0.70/0.78 o 173 0.70/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.70/0.79 c 0 6404 12635 49028 3 31852 60291 27 0 0.78 0.70/0.79 o 172 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 0 6404 12636 49228 3 31882 61291 28 0 0.79 0.79/0.80 o 171 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 6404 12637 49428 3 31913 62291 29 0 0.81 0.79/0.81 o 170 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 6404 12638 49628 3 31945 63291 30 0 0.81 0.79/0.82 o 169 0.79/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.83 c 0 6404 12639 49828 3 31978 64291 31 0 0.83 0.79/0.83 o 168 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 6404 12640 50028 3 32012 65291 32 0 0.84 0.79/0.84 o 167 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 6404 12641 50228 3 32047 66291 33 0 0.85 0.79/0.85 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 6404 12642 50428 3 32083 67291 34 0 0.86 0.79/0.87 o 165 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 6404 12643 50628 4 32120 68291 35 0 0.87 0.79/0.88 o 164 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 6404 12644 50828 4 32158 69291 36 0 0.88 0.79/0.89 o 163 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 6404 12645 51028 4 32197 70291 37 0 0.89 0.89/0.90 o 162 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 6404 12646 51228 4 32237 71291 38 0 0.90 0.89/0.91 o 161 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 6404 12647 51428 4 32278 72291 39 0 0.91 0.89/0.92 o 160 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 0 6404 12648 51628 4 32320 73291 40 0 0.93 0.89/0.93 o 159 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 0 6404 12649 51828 4 32363 74291 41 0 0.94 0.89/0.94 o 158 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 6404 12650 52028 4 32407 75291 42 0 0.95 0.89/0.95 o 157 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 6404 12651 52228 4 32452 76291 43 0 0.96 0.89/0.96 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 6404 12652 52428 4 32498 77291 44 0 0.97 0.89/0.98 o 155 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 6404 12653 52628 4 32545 78291 45 0 0.98 0.89/0.99 o 154 0.89/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/1.00 c 0 6404 12654 52828 4 32593 79291 46 0 0.99 0.89/1.00 o 153 1.00/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.01 c 0 6404 12655 53028 4 32642 80291 47 0 1.00 1.00/1.01 o 152 1.00/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.02 c 0 6404 12656 53228 4 32692 81291 48 0 1.01 1.00/1.02 o 151 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 0 6404 12657 53428 4 32743 82291 49 0 1.02 1.00/1.03 o 150 1.00/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.04 c 0 6404 12658 53628 4 32795 83291 50 0 1.03 1.00/1.04 o 149 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 0 6404 12659 53828 4 32848 84291 51 0 1.05 1.00/1.05 o 148 1.00/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.06 c 0 6404 12660 54028 4 32902 85291 52 0 1.06 1.00/1.06 o 147 1.00/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.07 c 0 6404 12661 54228 4 32957 86291 53 0 1.07 1.00/1.07 o 146 1.00/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.08 c 0 6404 12662 54428 4 33013 87291 54 0 1.08 1.00/1.08 o 145 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 0 6404 12663 54628 4 33070 88291 55 0 1.09 1.00/1.09 o 144 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 0 6404 12664 54828 4 33128 89291 56 0 1.10 1.09/1.11 o 143 1.09/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.12 c 0 6404 12665 55028 4 33187 90291 57 0 1.11 1.09/1.12 o 142 1.09/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.13 c 0 6404 12666 55228 4 33247 91291 58 0 1.12 1.09/1.13 o 141 1.09/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.14 c 0 6404 12667 55428 4 33308 92291 59 0 1.13 1.09/1.14 o 140 1.09/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.15 c 0 6404 12668 55628 4 33370 93291 60 0 1.14 1.09/1.15 o 139 1.09/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.16 c 0 6404 12669 55828 4 33433 94291 61 0 1.15 1.09/1.16 o 138 1.09/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.17 c 0 6404 12670 56028 4 33497 95291 62 0 1.16 1.09/1.17 o 137 1.09/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.18 c 0 6404 12671 56228 4 33562 96291 63 0 1.17 1.09/1.18 o 136 1.09/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.19 c 0 6404 12672 56428 4 33628 97291 64 0 1.18 1.09/1.19 o 135 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 0 6404 12673 56628 4 33695 98291 65 0 1.19 1.19/1.20 o 134 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 0 6404 12674 56828 4 33763 99291 66 0 1.20 1.19/1.21 o 133 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 0 6404 12675 57028 4 33832 100291 67 0 1.22 1.19/1.22 o 132 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 0 6404 12676 57228 4 33902 101291 68 0 1.22 1.19/1.23 o 131 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 6404 12677 57428 4 33973 102291 69 0 1.24 1.19/1.24 o 130 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 0 6404 12678 57628 4 34045 103291 70 0 1.24 1.19/1.25 o 129 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 0 6404 12679 57828 4 34118 104291 71 0 1.25 1.19/1.26 o 128 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 0 6404 12680 58028 4 34192 105291 72 0 1.26 1.19/1.27 o 127 1.19/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.28 c 0 6404 12681 58228 4 34267 106291 73 0 1.27 1.19/1.28 o 126 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 0 6404 12682 58428 4 34343 107291 74 0 1.28 1.19/1.29 o 125 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 0 6404 12683 58628 4 34420 108291 75 0 1.29 1.29/1.30 o 124 1.29/1.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.31 c 0 6404 12684 58828 4 34498 109291 76 0 1.30 1.29/1.31 o 123 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 6404 12685 59028 4 34577 110291 77 0 1.31 1.29/1.32 o 122 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 0 6404 12686 59228 4 34657 111291 78 0 1.32 1.29/1.33 o 121 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 0 6404 12687 59428 4 34738 112291 79 0 1.33 1.29/1.33 o 120 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 0 6404 12688 59628 4 34820 113291 80 0 1.34 1.29/1.34 o 119 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 0 6404 12689 59828 4 34903 114291 81 0 1.35 1.29/1.35 o 118 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 0 6404 12690 60028 4 34987 115291 82 0 1.36 1.29/1.36 o 117 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 0 6404 12691 60228 4 35072 116291 83 0 1.37 1.29/1.37 o 116 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 0 6404 12692 60428 4 35158 117291 84 0 1.38 1.29/1.38 o 115 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 0 6404 12693 60628 4 35245 118291 85 0 1.39 1.29/1.39 o 114 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 6404 12694 60828 4 35333 119291 86 0 1.40 1.39/1.40 o 113 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 0 6404 12695 61028 4 35422 120291 87 0 1.40 1.39/1.41 o 112 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 0 6404 12696 61228 4 35512 121291 88 0 1.41 1.39/1.42 o 111 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 6404 12697 61428 4 35603 122291 89 0 1.42 1.39/1.43 o 110 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 6404 12698 61628 4 35695 123291 90 0 1.43 1.39/1.43 o 109 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 0 6404 12699 61828 4 35788 124291 91 0 1.44 1.39/1.44 o 108 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 0 6404 12700 62028 4 35882 125291 92 0 1.45 1.39/1.45 o 107 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 0 6404 12701 62228 4 35977 126291 93 0 1.46 1.39/1.46 o 106 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 0 6404 12702 62428 4 36073 127291 94 0 1.47 1.39/1.47 o 105 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 0 6404 12703 62628 4 36170 128291 95 0 1.47 1.39/1.48 o 104 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 1 6404 12705 62933 4 36270 128291 97 0 1.48 1.39/1.49 o 20 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 1 6404 12706 63133 4 36452 128291 98 0 1.50 1.49/1.58 c 102 6404 12807 69472 5 36654 141121 199 64 1.57 1.49/1.58 o 19 1.49/1.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.59 c 106 6404 12812 70030 5 36845 128291 204 66 1.59 1.49/1.59 o 17 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 106 6404 12813 70230 5 37030 128291 205 66 1.60 1.59/1.61 o 16 3.69/3.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.79 c 112 6404 12820 70917 5 37228 128291 212 69 1.61 3.69/3.79 c 213 6404 12921 85033 6 37430 141121 313 127 1.67 3.69/3.79 c 464 6404 13172 109668 8 37932 155234 564 255 1.81 3.69/3.79 c 939 6404 13647 166040 12 38882 170758 1039 451 2.08 3.69/3.79 c 1754 6404 14462 251465 17 40512 187834 1854 662 2.65 3.69/3.79 c 3075 6404 15783 414392 26 43154 206618 3175 858 3.58 3.69/3.79 o 15 791.67/791.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 791.67/791.97 c 3374 6404 16083 452350 28 43939 128291 3475 889 3.79 791.67/791.97 c 3474 6404 16183 462349 28 44139 141121 3575 891 3.90 791.67/791.97 c 3726 6404 16435 492255 29 44643 155234 3827 898 4.15 791.67/791.97 c 4202 6404 16911 532986 31 45595 170758 4303 897 4.68 791.67/791.97 c 5016 6404 17725 614261 34 47223 187834 5117 921 5.45 791.67/791.97 c 6336 6404 19045 765301 40 49863 206618 6437 921 6.87 791.67/791.97 c 8418 6404 21127 1037324 49 54027 227280 8519 892 9.44 791.67/791.97 c 11641 6404 24350 1539467 63 60473 250009 11742 775 15.01 791.67/791.97 c 16577 6404 29286 2127751 72 70345 275010 16678 658 25.16 791.67/791.97 c 24083 6404 36792 3080512 83 85357 302512 24184 540 44.60 791.67/791.97 c 35448 6404 48157 4673789 97 108087 332764 35549 414 85.55 791.67/791.97 c 52596 6404 65305 7111542 108 142383 366041 52697 305 171.88 791.67/791.97 c 78416 6404 91125 10596470 116 194023 402646 78517 221 354.60 791.67/791.97 c 117248 6404 129957 15742914 121 271687 442911 117349 159 736.25 791.67/791.97 o 14 1797.96/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.53 c 121473 6404 134183 16359613 121 280325 128291 121575 153 791.74 1797.96/1798.53 c 121573 6404 134283 16374241 121 280525 141121 121675 153 793.60 1797.96/1798.53 c 121825 6404 134535 16402226 121 281029 155234 121927 152 796.48 1797.96/1798.53 c 122300 6404 135010 16442993 121 281979 170758 122402 152 800.71 1797.96/1798.53 c 123114 6404 135824 16520299 121 283607 187834 123216 152 808.40 1797.96/1798.53 c 124435 6404 137145 16658841 121 286249 206618 124537 151 820.30 1797.96/1798.53 c 126516 6404 139226 16890452 121 290411 227280 126618 147 855.40 1797.96/1798.53 c 129740 6404 142450 17249613 121 296859 250009 129842 144 894.84 1797.96/1798.53 c 134677 6404 147387 17758106 120 306733 275010 134779 140 960.33 1797.96/1798.53 c 142184 6404 154894 18730354 120 321747 302512 142286 130 1093.16 1797.96/1798.53 c 153546 6404 166256 20341833 122 344471 332764 153648 120 1275.45 1797.96/1798.53 c 170691 6404 183401 22530390 122 378761 366041 170793 111 1531.19 1797.96/1798.53 c Resources Exceeded 1797.96/1798.53 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 1797.96/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.53 c 132 187249 56585 325647 199959 24436832 187351 104 1798.00 1797.96/1798.53 c Objective: 14 1797.96/1798.53 s SATISFIABLE 1797.96/1798.53 c Total time: 1798 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-2670824-1276707993/watcher-2670824-1276707993 -o /tmp/evaluation-result-2670824-1276707993/solver-2670824-1276707993 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670824-1276707993.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 1.00 1.00 3/106 19098 /proc/meminfo: memFree=1779176/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=11396 CPUtime=0 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 12092094 11669504 294 1992294400 134512640 137138936 4292012272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 2882 295 175 642 0 2125 0 [startup+0.0224619 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19098 /proc/meminfo: memFree=1779176/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=11808 CPUtime=0.01 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 480 0 0 0 1 0 0 0 20 0 1 0 12092094 12091392 398 1992294400 134512640 137138936 4292012272 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 2952 398 195 642 0 2195 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11808 [startup+0.101472 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19098 /proc/meminfo: memFree=1779176/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=13904 CPUtime=0.09 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 1205 0 0 0 9 0 0 0 20 0 1 0 12092094 14237696 1010 1992294400 134512640 137138936 4292012272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 3476 1010 184 642 0 2832 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13904 [startup+0.301501 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19098 /proc/meminfo: memFree=1779176/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=13904 CPUtime=0.29 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 1205 0 0 0 29 0 0 0 20 0 1 0 12092094 14237696 1010 1992294400 134512640 137138936 4292012272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 3476 1010 184 642 0 2832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13904 [startup+0.701558 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19098 /proc/meminfo: memFree=1779176/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=14044 CPUtime=0.7 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 1569 0 0 0 67 3 0 0 20 0 1 0 12092094 14381056 1068 1992294400 134512640 137138936 4292012272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 3511 1068 188 642 0 2867 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14044 [startup+1.50167 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19099 /proc/meminfo: memFree=1775324/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=14436 CPUtime=1.49 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 1662 0 0 0 144 5 0 0 22 0 1 0 12092094 14782464 1161 1992294400 134512640 137138936 4292012272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 3609 1161 191 642 0 2965 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14436 [startup+3.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19099 /proc/meminfo: memFree=1773836/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=18208 CPUtime=3.09 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 2609 0 0 0 303 6 0 0 25 0 1 0 12092094 18644992 2108 1992294400 134512640 137138936 4292012272 18446744073709551615 134542402 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 4552 2108 191 642 0 3908 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18208 [startup+6.30135 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19099 /proc/meminfo: memFree=1767388/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=23388 CPUtime=6.29 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 3904 0 0 0 621 8 0 0 25 0 1 0 12092094 23949312 3403 1992294400 134512640 137138936 4292012272 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 5847 3403 191 642 0 5203 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23388 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19099 /proc/meminfo: memFree=1758088/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=32068 CPUtime=12.69 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 6090 0 0 0 1257 12 0 0 25 0 1 0 12092094 32837632 5589 1992294400 134512640 137138936 4292012272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 8017 5589 191 642 0 7373 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32068 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19101 /proc/meminfo: memFree=1746804/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=42832 CPUtime=25.48 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 8778 0 0 0 2530 18 0 0 25 0 1 0 12092094 43859968 8277 1992294400 134512640 137138936 4292012272 18446744073709551615 134602900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 10708 8277 191 642 0 10064 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42832 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19101 /proc/meminfo: memFree=1729444/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=60336 CPUtime=51.07 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 13155 0 0 0 5080 27 0 0 25 0 1 0 12092094 61784064 12654 1992294400 134512640 137138936 4292012272 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 15084 12654 191 642 0 14440 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60336 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19103 /proc/meminfo: memFree=1703900/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=85396 CPUtime=102.27 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 19407 0 0 0 10188 39 0 0 25 0 1 0 12092094 87445504 18906 1992294400 134512640 137138936 4292012272 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 21349 18906 191 642 0 20705 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 85396 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19103 /proc/meminfo: memFree=1681828/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=107440 CPUtime=162.25 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 24928 0 0 0 16177 48 0 0 25 0 1 0 12092094 110018560 24427 1992294400 134512640 137138936 4292012272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 26860 24427 191 642 0 26216 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 107440 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19105 /proc/meminfo: memFree=1660872/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=128232 CPUtime=222.23 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 30131 0 0 0 22166 57 0 0 25 0 1 0 12092094 131309568 29630 1992294400 134512640 137138936 4292012272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 32058 29630 191 642 0 31414 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 128232 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19107 /proc/meminfo: memFree=1647356/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=141824 CPUtime=282.21 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 33526 0 0 0 28156 65 0 0 25 0 1 0 12092094 145227776 33025 1992294400 134512640 137138936 4292012272 18446744073709551615 134601120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 35456 33025 191 642 0 34812 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 141824 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19109 /proc/meminfo: memFree=1634212/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=154780 CPUtime=342.19 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 36758 0 0 0 34147 72 0 0 25 0 1 0 12092094 158494720 36257 1992294400 134512640 137138936 4292012272 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 38695 36257 191 642 0 38051 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 154780 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19111 /proc/meminfo: memFree=1619828/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=169180 CPUtime=402.17 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 40355 0 0 0 40136 81 0 0 25 0 1 0 12092094 173240320 39854 1992294400 134512640 137138936 4292012272 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 42295 39854 191 642 0 41651 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 169180 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19111 /proc/meminfo: memFree=1607428/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=181476 CPUtime=462.15 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 43427 0 0 0 46127 88 0 0 25 0 1 0 12092094 185831424 42926 1992294400 134512640 137138936 4292012272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 45369 42926 191 642 0 44725 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 181476 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19113 /proc/meminfo: memFree=1597012/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=191876 CPUtime=522.14 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 46045 0 0 0 52120 94 0 0 25 0 1 0 12092094 196481024 45544 1992294400 134512640 137138936 4292012272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 47969 45544 191 642 0 47325 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 191876 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19115 /proc/meminfo: memFree=1586844/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=201856 CPUtime=582.12 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 48530 0 0 0 58111 101 0 0 25 0 1 0 12092094 206700544 48029 1992294400 134512640 137138936 4292012272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 50464 48029 191 642 0 49820 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 201856 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19117 /proc/meminfo: memFree=1577916/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=210640 CPUtime=642.11 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 50718 0 0 0 64104 107 0 0 25 0 1 0 12092094 215695360 50217 1992294400 134512640 137138936 4292012272 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 52660 50217 191 642 0 52016 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 210640 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1522984/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=265196 CPUtime=1061.98 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 64367 0 0 0 106061 137 0 0 25 0 1 0 12092094 271560704 63866 1992294400 134512640 137138936 4292012272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 66299 63866 191 642 0 65655 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 265196 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19129 /proc/meminfo: memFree=1517032/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=271096 CPUtime=1121.96 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 65838 0 0 0 112056 140 0 0 25 0 1 0 12092094 277602304 65337 1992294400 134512640 137138936 4292012272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 67774 65337 191 642 0 67130 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 271096 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19131 /proc/meminfo: memFree=1508600/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=279432 CPUtime=1181.94 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 67932 0 0 0 118050 144 0 0 25 0 1 0 12092094 286138368 67431 1992294400 134512640 137138936 4292012272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 69858 67431 191 642 0 69214 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 279432 [startup+1242.3 s] /proc/loadavg: 1.11 1.03 1.01 2/107 19133 /proc/meminfo: memFree=1501408/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=286580 CPUtime=1241.92 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 69712 0 0 0 124044 148 0 0 25 0 1 0 12092094 293457920 69211 1992294400 134512640 137138936 4292012272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 71645 69211 191 642 0 71001 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 286580 [startup+1302.3 s] /proc/loadavg: 1.11 1.04 1.00 2/107 19135 /proc/meminfo: memFree=1494712/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=293256 CPUtime=1301.91 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 71374 0 0 0 130038 153 0 0 25 0 1 0 12092094 300294144 70873 1992294400 134512640 137138936 4292012272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 73314 70873 191 642 0 72670 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 293256 [startup+1362.3 s] /proc/loadavg: 1.04 1.03 1.00 2/107 19135 /proc/meminfo: memFree=1488512/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=299352 CPUtime=1361.89 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 72915 0 0 0 136032 157 0 0 25 0 1 0 12092094 306536448 72414 1992294400 134512640 137138936 4292012272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 74838 72414 191 642 0 74194 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 299352 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.00 2/107 19137 /proc/meminfo: memFree=1481196/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=306724 CPUtime=1421.87 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 74745 0 0 0 142027 160 0 0 25 0 1 0 12092094 314085376 74244 1992294400 134512640 137138936 4292012272 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 76681 74244 191 642 0 76037 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 306724 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19139 /proc/meminfo: memFree=1474128/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=313828 CPUtime=1481.85 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 76519 0 0 0 148021 164 0 0 25 0 1 0 12092094 321359872 76018 1992294400 134512640 137138936 4292012272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 78457 76018 191 642 0 77813 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 313828 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 19144 /proc/meminfo: memFree=1466564/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=321116 CPUtime=1541.84 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 78346 0 0 0 154015 169 0 0 25 0 1 0 12092094 328822784 77845 1992294400 134512640 137138936 4292012272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 80279 77845 191 642 0 79635 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 321116 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19146 /proc/meminfo: memFree=1460364/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=327336 CPUtime=1601.81 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 79895 0 0 0 160009 172 0 0 25 0 1 0 12092094 335192064 79394 1992294400 134512640 137138936 4292012272 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 81834 79394 191 642 0 81190 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 327336 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19146 /proc/meminfo: memFree=1454660/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=332988 CPUtime=1661.79 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 81309 0 0 0 166003 176 0 0 25 0 1 0 12092094 340979712 80808 1992294400 134512640 137138936 4292012272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 83247 80808 191 642 0 82603 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 332988 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19148 /proc/meminfo: memFree=1447592/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=340088 CPUtime=1721.78 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 83079 0 0 0 171998 180 0 0 25 0 1 0 12092094 348250112 82578 1992294400 134512640 137138936 4292012272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 85022 82578 191 642 0 84378 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 340088 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19150 /proc/meminfo: memFree=1442632/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=344964 CPUtime=1781.76 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 84307 0 0 0 177992 184 0 0 25 0 1 0 12092094 353243136 83806 1992294400 134512640 137138936 4292012272 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 86241 83806 191 642 0 85597 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 344964 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 19150 /proc/meminfo: memFree=1441764/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=345760 CPUtime=1791.36 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 84508 0 0 0 178952 184 0 0 25 0 1 0 12092094 354058240 84007 1992294400 134512640 137138936 4292012272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 86440 84007 191 642 0 85796 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 345760 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19150 /proc/meminfo: memFree=1441516/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=346016 CPUtime=1794.56 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 84567 0 0 0 179272 184 0 0 25 0 1 0 12092094 354320384 84066 1992294400 134512640 137138936 4292012272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 86504 84066 191 642 0 85860 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 346016 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19150 /proc/meminfo: memFree=1441392/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=346200 CPUtime=1796.15 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 84608 0 0 0 179431 184 0 0 25 0 1 0 12092094 354508800 84107 1992294400 134512640 137138936 4292012272 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 86550 84107 191 642 0 85906 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (KiB) 346200 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19150 /proc/meminfo: memFree=1441268/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=346200 CPUtime=1796.95 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 84614 0 0 0 179511 184 0 0 25 0 1 0 12092094 354508800 84113 1992294400 134512640 137138936 4292012272 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 86550 84113 191 642 0 85906 0 Current children cumulated CPU time (s) 1796.95 Current children cumulated vsize (KiB) 346200 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19150 /proc/meminfo: memFree=1441268/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=346280 CPUtime=1797.75 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 84631 0 0 0 179591 184 0 0 25 0 1 0 12092094 354590720 84130 1992294400 134512640 137138936 4292012272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 86570 84130 191 642 0 85926 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 346280 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19150 /proc/meminfo: memFree=1441268/2059040 swapFree=4192956/4192956 [pid=19098] ppid=19096 vsize=346280 CPUtime=1797.96 /proc/19098/stat : 19098 (bsolo_pb10) R 19096 19098 17627 0 -1 4202496 84636 0 0 0 179612 184 0 0 25 0 1 0 12092094 354590720 84135 1992294400 134512640 137138936 4292012272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19098/statm: 86570 84135 191 642 0 85926 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 346280 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.04 CPU user time (s): 1796.15 CPU system time (s): 1.88371 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 346280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.15 system time used= 1.88371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84637 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= 1605 runsolver used 2.92556 second user time and 8.5407 second system time The end
Begin job on node039 at 2010-06-16 19:06:33 IDJOB=2670824 IDBENCH=48128 IDSOLVER=1163 FILE ID=node039/2670824-1276707993 PBS_JOBID= 11174103 Free space on /tmp= 62552 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670824-1276707993/watcher-2670824-1276707993 -o /tmp/evaluation-result-2670824-1276707993/solver-2670824-1276707993 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670824-1276707993.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76 RANDOM SEED=1199133737 node039.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1780448 kB Buffers: 16488 kB Cached: 126176 kB SwapCached: 0 kB Active: 136772 kB Inactive: 65264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1780448 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 59424 kB Mapped: 15464 kB Slab: 54804 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180712 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-2670824-1276707993.opb Free space on /tmp at the end= 62548 MiB End job on node039 at 2010-06-16 19:36:32