Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | -9953 | 1800.08 | 1778.97 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-30.lin.opb |
| MD5SUM | 0e343a90d4a4002cba3fa8b202e2c3d2 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -11314 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 12690 |
| Total number of constraints | 25300 |
| Number of constraints which are clauses | 12650 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12650 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 12690 |
| Biggest coefficient in the objective function | 3292 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 870020 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 3292 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 870020 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-4118740-1467234525.opb 0.08/0.11 c reading problem ... 0.08/0.12 c objective function found 0.99/0.57 c ... done. Wall clock time 0.46s. 0.99/0.57 c declared #vars 12690 0.99/0.57 c #constraints 25300 0.99/0.57 c constraints type 0.99/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12650 0.99/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12650 0.99/0.57 c 25300 constraints processed. 0.99/0.57 c objective function length is 12690 literals 1.84/0.80 c SATISFIABLE 1.84/0.80 c OPTIMIZING... 1.84/0.80 c Got one! Elapsed wall clock time (in seconds):0.683 1.84/0.80 o 0 2.09/0.90 c Got one! Elapsed wall clock time (in seconds):0.789 2.09/0.90 o -203 2.09/0.96 c Got one! Elapsed wall clock time (in seconds):0.848 2.09/0.96 o -406 2.36/1.00 c Got one! Elapsed wall clock time (in seconds):0.889 2.36/1.00 o -771 2.36/1.05 c Got one! Elapsed wall clock time (in seconds):0.936 2.36/1.05 o -987 2.36/1.08 c Got one! Elapsed wall clock time (in seconds):0.969 2.36/1.08 o -1136 2.61/1.11 c Got one! Elapsed wall clock time (in seconds):0.992 2.61/1.11 o -1626 2.61/1.16 c Got one! Elapsed wall clock time (in seconds):1.044 2.61/1.16 o -1705 2.78/1.22 c Got one! Elapsed wall clock time (in seconds):1.108 2.78/1.22 o -1755 2.78/1.24 c Got one! Elapsed wall clock time (in seconds):1.131 2.78/1.24 o -1855 2.78/1.26 c Got one! Elapsed wall clock time (in seconds):1.147 2.78/1.26 o -2116 2.78/1.29 c Got one! Elapsed wall clock time (in seconds):1.175 2.78/1.29 o -2698 2.96/1.40 c Got one! Elapsed wall clock time (in seconds):1.286 2.96/1.40 o -2942 3.06/1.55 c Got one! Elapsed wall clock time (in seconds):1.441 3.06/1.55 o -3115 3.06/1.60 c Got one! Elapsed wall clock time (in seconds):1.483 3.06/1.60 o -3224 3.16/1.63 c Got one! Elapsed wall clock time (in seconds):1.514 3.16/1.63 o -3280 3.16/1.65 c Got one! Elapsed wall clock time (in seconds):1.536 3.16/1.65 o -3852 3.43/1.88 c Got one! Elapsed wall clock time (in seconds):1.771 3.43/1.88 o -3925 3.63/2.03 c Got one! Elapsed wall clock time (in seconds):1.913 3.63/2.03 o -4354 4.13/2.50 c Got one! Elapsed wall clock time (in seconds):2.385 4.13/2.50 o -4371 4.33/2.71 c Got one! Elapsed wall clock time (in seconds):2.602 4.33/2.71 o -4491 4.33/2.74 c Got one! Elapsed wall clock time (in seconds):2.628 4.33/2.74 o -4570 4.43/2.82 c Got one! Elapsed wall clock time (in seconds):2.703 4.43/2.82 o -4764 5.13/3.50 c Got one! Elapsed wall clock time (in seconds):3.391 5.13/3.50 o -5009 5.72/4.01 c Got one! Elapsed wall clock time (in seconds):3.901 5.72/4.01 o -5138 5.82/4.16 c Got one! Elapsed wall clock time (in seconds):4.051 5.82/4.16 o -5163 5.92/4.26 c Got one! Elapsed wall clock time (in seconds):4.143 5.92/4.26 o -5180 6.02/4.32 c Got one! Elapsed wall clock time (in seconds):4.203 6.02/4.32 o -5191 6.02/4.34 c Got one! Elapsed wall clock time (in seconds):4.23 6.02/4.34 o -5253 6.02/4.37 c Got one! Elapsed wall clock time (in seconds):4.261 6.02/4.37 o -5270 6.02/4.40 c Got one! Elapsed wall clock time (in seconds):4.288 6.02/4.40 o -5908 7.33/5.63 c Got one! Elapsed wall clock time (in seconds):5.519 7.33/5.63 o -5925 8.02/6.37 c Got one! Elapsed wall clock time (in seconds):6.259 8.02/6.37 o -5942 8.73/7.02 c Got one! Elapsed wall clock time (in seconds):6.909 8.73/7.02 o -6483 11.54/9.87 c Got one! Elapsed wall clock time (in seconds):9.757 11.54/9.87 o -6540 13.57/11.72 c Got one! Elapsed wall clock time (in seconds):11.602 13.57/11.72 o -6590 13.98/12.13 c Got one! Elapsed wall clock time (in seconds):12.017 13.98/12.13 o -6606 14.17/12.33 c Got one! Elapsed wall clock time (in seconds):12.22 14.17/12.33 o -6610 14.61/12.57 c Got one! Elapsed wall clock time (in seconds):12.459 14.61/12.57 o -7144 18.92/16.87 c Got one! Elapsed wall clock time (in seconds):16.756 18.92/16.87 o -7206 20.64/18.50 c cleaning 5550 clauses out of 11099 with flag 2004/11099 24.65/22.53 c Got one! Elapsed wall clock time (in seconds):22.422 24.65/22.53 o -7210 24.95/22.84 c Got one! Elapsed wall clock time (in seconds):22.728 24.95/22.84 o -7698 30.08/27.72 c cleaning 5668 clauses out of 11335 with flag 6001/16885 35.09/32.79 c Got one! Elapsed wall clock time (in seconds):32.675 35.09/32.79 o -7734 38.19/35.81 c cleaning 5432 clauses out of 10868 with flag 4039/22086 40.01/37.66 c Got one! Elapsed wall clock time (in seconds):37.543 40.01/37.66 o -7755 43.92/41.50 c Got one! Elapsed wall clock time (in seconds):41.39 43.92/41.50 o -7760 44.81/42.47 c Got one! Elapsed wall clock time (in seconds):42.355 44.81/42.47 o -7780 45.72/43.34 c Got one! Elapsed wall clock time (in seconds):43.223 45.72/43.34 o -8082 49.25/46.68 c cleaning 6086 clauses out of 12172 with flag 4001/28822 58.33/55.74 c cleaning 6043 clauses out of 12086 with flag 16001/34822 64.93/62.36 c Got one! Elapsed wall clock time (in seconds):62.247 64.93/62.36 o -8085 66.54/63.92 c cleaning 5688 clauses out of 11380 with flag 2020/40159 75.86/73.06 c cleaning 5847 clauses out of 11693 with flag 14078/46160 75.96/73.18 c Got one! Elapsed wall clock time (in seconds):73.065 75.96/73.18 o -8098 82.07/79.23 c Got one! Elapsed wall clock time (in seconds):79.115 82.07/79.23 o -8129 85.37/82.51 c cleaning 5781 clauses out of 11562 with flag 4004/51876 85.37/82.59 c Got one! Elapsed wall clock time (in seconds):82.474 85.37/82.59 o -8158 87.07/84.29 c Got one! Elapsed wall clock time (in seconds):84.174 87.07/84.29 o -8229 88.07/85.29 c Got one! Elapsed wall clock time (in seconds):85.178 88.07/85.29 o -8236 88.57/85.70 c Got one! Elapsed wall clock time (in seconds):85.591 88.57/85.70 o -8238 88.67/85.88 c Got one! Elapsed wall clock time (in seconds):85.766 88.67/85.88 o -8244 88.77/85.90 c Got one! Elapsed wall clock time (in seconds):85.791 88.77/85.90 o -8247 88.77/85.96 c Got one! Elapsed wall clock time (in seconds):85.852 88.77/85.96 o -8250 88.89/86.08 c Got one! Elapsed wall clock time (in seconds):85.964 88.89/86.08 o -8262 88.99/86.17 c Got one! Elapsed wall clock time (in seconds):86.058 88.99/86.17 o -8561 94.98/92.12 c cleaning 5948 clauses out of 11896 with flag 8001/57991 103.79/100.96 c cleaning 5972 clauses out of 11948 with flag 20001/63991 114.90/111.64 c cleaning 6487 clauses out of 12977 with flag 34003/70992 126.32/123.03 c cleaning 7245 clauses out of 14490 with flag 50003/78992 126.53/123.30 c Got one! Elapsed wall clock time (in seconds):123.187 126.53/123.30 o -8588 134.23/130.90 c cleaning 6202 clauses out of 12409 with flag 10002/84156 144.23/140.11 c cleaning 6104 clauses out of 12208 with flag 22004/90157 151.13/147.03 c Got one! Elapsed wall clock time (in seconds):146.918 151.13/147.03 o -8593 152.73/148.61 c cleaning 5923 clauses out of 11852 with flag 2008/95905 158.02/153.96 c Got one! Elapsed wall clock time (in seconds):153.85 158.02/153.96 o -8598 160.92/156.82 c Got one! Elapsed wall clock time (in seconds):156.702 160.92/156.82 o -8600 161.53/157.47 c Got one! Elapsed wall clock time (in seconds):157.356 161.53/157.47 o -8606 162.92/158.80 c Got one! Elapsed wall clock time (in seconds):158.69 162.92/158.80 o -8668 164.42/160.37 c cleaning 6687 clauses out of 13381 with flag 2006/103357 168.82/164.73 c Got one! Elapsed wall clock time (in seconds):164.613 168.82/164.73 o -8692 171.82/167.78 c Got one! Elapsed wall clock time (in seconds):167.667 171.82/167.78 o -8697 173.63/169.52 c Got one! Elapsed wall clock time (in seconds):169.412 173.63/169.52 o -8702 174.32/170.24 c Got one! Elapsed wall clock time (in seconds):170.126 174.32/170.24 o -8708 175.02/170.93 c Got one! Elapsed wall clock time (in seconds):170.813 175.02/170.93 o -9084 176.52/172.42 c cleaning 7136 clauses out of 14282 with flag 2001/110945 185.12/181.04 c cleaning 6570 clauses out of 13147 with flag 14003/116946 195.85/191.25 c cleaning 6787 clauses out of 13576 with flag 28001/123945 207.46/202.83 c cleaning 7389 clauses out of 14789 with flag 44001/131945 221.16/216.53 c cleaning 8198 clauses out of 16400 with flag 62001/140945 236.16/231.58 c cleaning 9100 clauses out of 18202 with flag 82001/150945 254.20/248.93 c cleaning 10050 clauses out of 20103 with flag 104003/161946 256.10/250.83 c Got one! Elapsed wall clock time (in seconds):250.718 256.10/250.83 o -9089 262.59/257.33 c cleaning 7587 clauses out of 15184 with flag 8064/167077 272.19/266.98 c cleaning 6796 clauses out of 13597 with flag 20134/173077 283.29/278.08 c cleaning 6900 clauses out of 13801 with flag 34195/180077 296.88/291.06 c cleaning 7447 clauses out of 14900 with flag 50337/188076 299.78/293.97 c Got one! Elapsed wall clock time (in seconds):293.861 299.78/293.97 o -9096 305.58/299.76 c cleaning 6680 clauses out of 13365 with flag 8052/193988 314.28/308.43 c cleaning 6341 clauses out of 12686 with flag 20180/199989 321.78/315.94 c Got one! Elapsed wall clock time (in seconds):315.824 321.78/315.94 o -9097 329.78/323.99 c cleaning 8282 clauses out of 16570 with flag 10120/210214 333.78/327.93 c Got one! Elapsed wall clock time (in seconds):327.814 333.78/327.93 o -9114 338.86/332.80 c cleaning 6859 clauses out of 13721 with flag 6081/215647 340.06/334.10 c Got one! Elapsed wall clock time (in seconds):333.982 340.06/334.10 o -9116 345.36/339.37 c Got one! Elapsed wall clock time (in seconds):339.256 345.36/339.37 o -9118 346.16/340.13 c Got one! Elapsed wall clock time (in seconds):340.016 346.16/340.13 o -9380 349.06/343.05 c cleaning 6662 clauses out of 13332 with flag 4001/222117 358.16/352.16 c cleaning 6334 clauses out of 12670 with flag 16001/228117 368.26/362.21 c cleaning 6664 clauses out of 13337 with flag 30003/235118 380.39/374.15 c cleaning 7333 clauses out of 14672 with flag 46001/243117 393.49/387.20 c cleaning 8169 clauses out of 16339 with flag 64001/252117 408.28/402.10 c cleaning 9083 clauses out of 18170 with flag 84001/262117 425.23/418.71 c cleaning 10042 clauses out of 20088 with flag 106003/273118 444.03/437.50 c cleaning 11019 clauses out of 22046 with flag 130003/285118 463.96/457.28 c cleaning 12010 clauses out of 24027 with flag 156003/298118 484.66/477.97 c cleaning 13009 clauses out of 26017 with flag 184003/312118 508.87/501.78 c cleaning 14004 clauses out of 28008 with flag 214003/327118 511.57/504.40 c Got one! Elapsed wall clock time (in seconds):504.288 511.57/504.40 o -9409 517.57/510.45 c cleaning 9890 clauses out of 19787 with flag 8002/332901 526.37/519.25 c cleaning 7948 clauses out of 15898 with flag 20004/338902 536.24/529.00 c cleaning 7471 clauses out of 14949 with flag 34002/345901 547.64/540.43 c cleaning 7736 clauses out of 15479 with flag 50004/353902 560.93/553.51 c cleaning 8369 clauses out of 16742 with flag 68002/362901 576.03/568.65 c cleaning 9186 clauses out of 18374 with flag 88004/372902 592.74/585.18 c cleaning 10093 clauses out of 20187 with flag 110002/383901 596.74/589.16 c Got one! Elapsed wall clock time (in seconds):589.049 596.74/589.16 o -9411 601.44/593.89 c cleaning 7871 clauses out of 15747 with flag 6003/389554 610.74/603.10 c cleaning 6935 clauses out of 13877 with flag 18005/395555 622.04/614.45 c cleaning 6967 clauses out of 13941 with flag 32003/402554 624.05/616.36 c Got one! Elapsed wall clock time (in seconds):616.246 624.05/616.36 o -9422 630.45/622.77 c cleaning 6093 clauses out of 12200 with flag 8104/407780 639.45/631.70 c Got one! Elapsed wall clock time (in seconds):631.584 639.45/631.70 o -9428 644.15/636.50 c Got one! Elapsed wall clock time (in seconds):636.383 644.15/636.50 o -9437 645.65/637.95 c Got one! Elapsed wall clock time (in seconds):637.835 645.65/637.95 o -9438 646.75/639.04 c Got one! Elapsed wall clock time (in seconds):638.922 646.75/639.04 o -9439 647.25/639.58 c Got one! Elapsed wall clock time (in seconds):639.464 647.25/639.58 o -9440 647.65/639.95 c Got one! Elapsed wall clock time (in seconds):639.832 647.65/639.95 o -9451 648.35/640.69 c Got one! Elapsed wall clock time (in seconds):640.573 648.35/640.69 o -9455 648.85/641.16 c Got one! Elapsed wall clock time (in seconds):641.048 648.85/641.16 o -9477 652.39/644.48 c cleaning 9656 clauses out of 19317 with flag 4006/420990 661.79/653.84 c cleaning 7831 clauses out of 15661 with flag 16006/426990 673.19/665.23 c cleaning 7413 clauses out of 14830 with flag 30006/433990 675.29/667.36 c Got one! Elapsed wall clock time (in seconds):667.251 675.29/667.36 o -9509 681.69/673.78 c cleaning 6379 clauses out of 12759 with flag 8007/439332 688.87/680.81 c Got one! Elapsed wall clock time (in seconds):680.699 688.87/680.81 o -9511 690.47/682.48 c cleaning 6000 clauses out of 12010 with flag 2031/444962 692.27/684.22 c Got one! Elapsed wall clock time (in seconds):684.103 692.27/684.22 o -9513 693.87/685.89 c Got one! Elapsed wall clock time (in seconds):685.774 693.87/685.89 o -9517 698.47/690.47 c Got one! Elapsed wall clock time (in seconds):690.36 698.47/690.47 o -9520 700.17/692.13 c cleaning 6028 clauses out of 12059 with flag 2019/451011 701.57/693.58 c Got one! Elapsed wall clock time (in seconds):693.466 701.57/693.58 o -9619 709.09/700.99 c cleaning 5985 clauses out of 11983 with flag 10001/456963 717.59/709.48 c cleaning 5995 clauses out of 11999 with flag 22003/462964 727.79/719.66 c cleaning 6498 clauses out of 13004 with flag 36003/469964 739.38/731.14 c cleaning 7249 clauses out of 14506 with flag 52003/477964 752.00/743.78 c cleaning 8126 clauses out of 16257 with flag 70003/486964 766.40/758.05 c cleaning 9061 clauses out of 18131 with flag 90003/496964 782.08/773.55 c cleaning 10031 clauses out of 20069 with flag 112001/507963 799.08/790.54 c cleaning 11017 clauses out of 22038 with flag 136001/519963 818.17/809.45 c cleaning 12009 clauses out of 24022 with flag 162003/532964 838.96/830.09 c cleaning 13006 clauses out of 26012 with flag 190001/546963 863.29/854.16 c cleaning 14004 clauses out of 28007 with flag 220003/561964 889.63/880.34 c cleaning 15000 clauses out of 30003 with flag 252003/577964 917.95/908.28 c cleaning 16000 clauses out of 32002 with flag 286001/594963 946.40/936.47 c cleaning 16998 clauses out of 34002 with flag 322001/612963 977.48/967.12 c cleaning 17998 clauses out of 36004 with flag 360001/631963 1010.00/998.96 c cleaning 19001 clauses out of 38007 with flag 400003/651964 1039.77/1028.59 c Got one! Elapsed wall clock time (in seconds):1028.481 1039.77/1028.59 o -9688 1048.79/1037.17 c cleaning 21557 clauses out of 43124 with flag 10004/676082 1057.89/1046.29 c cleaning 13783 clauses out of 27567 with flag 22004/682082 1068.48/1056.86 c cleaning 10387 clauses out of 20783 with flag 36002/689081 1080.75/1069.09 c cleaning 9197 clauses out of 18396 with flag 52002/697081 1094.54/1082.79 c cleaning 9096 clauses out of 18200 with flag 70004/706082 1109.93/1098.07 c cleaning 9549 clauses out of 19104 with flag 90004/716082 1127.01/1115.00 c cleaning 10277 clauses out of 20554 with flag 112002/727081 1145.72/1133.57 c cleaning 11136 clauses out of 22277 with flag 136002/739081 1153.52/1141.28 c Got one! Elapsed wall clock time (in seconds):1141.164 1153.52/1141.28 o -9704 1155.12/1142.89 c cleaning 8473 clauses out of 16957 with flag 2039/744897 1164.62/1152.34 c cleaning 7238 clauses out of 14484 with flag 14277/750897 1175.86/1163.51 c cleaning 7120 clauses out of 14246 with flag 28420/757897 1188.59/1176.29 c cleaning 7561 clauses out of 15126 with flag 44763/765897 1203.16/1190.63 c cleaning 8281 clauses out of 16565 with flag 62881/774897 1216.18/1203.54 c Got one! Elapsed wall clock time (in seconds):1203.429 1216.18/1203.54 o -9707 1224.97/1212.17 c cleaning 10454 clauses out of 20908 with flag 10384/787521 1235.14/1222.17 c cleaning 8227 clauses out of 16454 with flag 22677/793521 1236.53/1223.51 c Got one! Elapsed wall clock time (in seconds):1223.398 1236.53/1223.51 o -9787 1244.46/1231.33 c cleaning 7008 clauses out of 14028 with flag 10003/799322 1253.66/1240.60 c cleaning 6509 clauses out of 13020 with flag 22003/805322 1265.12/1251.81 c cleaning 6753 clauses out of 13512 with flag 36005/812323 1278.21/1264.80 c cleaning 7379 clauses out of 14758 with flag 52003/820322 1292.97/1279.39 c cleaning 8188 clauses out of 16379 with flag 70003/829322 1309.69/1295.98 c cleaning 9094 clauses out of 18191 with flag 90003/839322 1328.36/1314.12 c cleaning 10045 clauses out of 20097 with flag 112003/850322 1341.59/1327.28 c Got one! Elapsed wall clock time (in seconds):1327.162 1341.59/1327.28 o -9820 1350.24/1335.63 c cleaning 11596 clauses out of 23198 with flag 10004/863468 1360.09/1345.47 c cleaning 8798 clauses out of 17603 with flag 22006/869469 1371.32/1356.55 c cleaning 7899 clauses out of 15805 with flag 36006/876469 1384.14/1369.28 c cleaning 7946 clauses out of 15905 with flag 52004/884468 1384.54/1369.64 c Got one! Elapsed wall clock time (in seconds):1369.528 1384.54/1369.64 o -9825 1392.86/1377.85 c cleaning 6579 clauses out of 13165 with flag 10130/889674 1393.06/1378.06 c Got one! Elapsed wall clock time (in seconds):1377.945 1393.06/1378.06 o -9834 1394.47/1379.47 c Got one! Elapsed wall clock time (in seconds):1379.355 1394.47/1379.47 o -9837 1395.46/1380.50 c Got one! Elapsed wall clock time (in seconds):1380.383 1395.46/1380.50 o -9842 1403.55/1388.47 c cleaning 6593 clauses out of 13195 with flag 10007/896283 1413.01/1397.82 c cleaning 6294 clauses out of 12601 with flag 22005/902282 1422.19/1406.95 c Got one! Elapsed wall clock time (in seconds):1406.836 1422.19/1406.95 o -9848 1425.38/1410.14 c Got one! Elapsed wall clock time (in seconds):1410.031 1425.38/1410.14 o -9852 1427.33/1411.98 c Got one! Elapsed wall clock time (in seconds):1411.869 1427.33/1411.98 o -9858 1428.03/1412.65 c Got one! Elapsed wall clock time (in seconds):1412.538 1428.03/1412.65 o -9863 1428.33/1412.95 c Got one! Elapsed wall clock time (in seconds):1412.839 1428.33/1412.95 o -9866 1428.73/1413.33 c Got one! Elapsed wall clock time (in seconds):1413.215 1428.73/1413.33 o -9876 1431.24/1415.81 c Got one! Elapsed wall clock time (in seconds):1415.694 1431.24/1415.81 o -9878 1434.86/1419.38 c cleaning 9785 clauses out of 19569 with flag 4203/915544 1444.61/1429.03 c cleaning 7890 clauses out of 15784 with flag 16292/921544 1448.94/1433.33 c Got one! Elapsed wall clock time (in seconds):1433.221 1448.94/1433.33 o -9953 1453.63/1437.95 c cleaning 6766 clauses out of 13548 with flag 6003/927198 1462.49/1446.72 c cleaning 6386 clauses out of 12781 with flag 18001/933197 1472.39/1456.57 c cleaning 6696 clauses out of 13396 with flag 32003/940198 1484.61/1468.54 c cleaning 7350 clauses out of 14699 with flag 48001/948197 1498.46/1482.23 c cleaning 8175 clauses out of 16350 with flag 66003/957198 1513.72/1497.34 c cleaning 9083 clauses out of 18175 with flag 86003/967198 1531.73/1515.00 c cleaning 10045 clauses out of 20092 with flag 108003/978198 1551.37/1534.45 c cleaning 11019 clauses out of 22047 with flag 132003/990198 1573.04/1555.78 c cleaning 12012 clauses out of 24027 with flag 158001/1003197 1595.87/1578.04 c cleaning 13008 clauses out of 26016 with flag 186003/1017198 1621.61/1603.36 c cleaning 14004 clauses out of 28007 with flag 216001/1032197 1647.17/1628.58 c cleaning 14998 clauses out of 30004 with flag 248003/1048198 1674.72/1655.63 c cleaning 15999 clauses out of 32006 with flag 282003/1065198 1703.40/1683.71 c cleaning 17000 clauses out of 34007 with flag 318003/1083198 1733.96/1713.72 c cleaning 18001 clauses out of 36006 with flag 356001/1102197 1765.59/1744.94 c cleaning 19000 clauses out of 38006 with flag 396003/1122198 1800.08/1778.92 c starts : 112 1800.08/1778.92 c conflicts : 1142428 1800.08/1778.92 c decisions : 1146398 1800.08/1778.92 c propagations : 964089960 1800.08/1778.92 c inspects : 4538972112 1800.08/1778.92 c shortcuts : 0 1800.08/1778.92 c learnt literals : 0 1800.08/1778.92 c learnt binary clauses : 0 1800.08/1778.92 c learnt ternary clauses : 0 1800.08/1778.92 c learnt constraints : 1142428 1800.08/1778.92 c ignored constraints : 0 1800.08/1778.92 c root simplifications : 0 1800.08/1778.92 c removed literals (reason simplification) : 0 1800.08/1778.92 c reason swapping (by a shorter reason) : 0 1800.08/1778.92 c Calls to reduceDB : 122 1800.08/1778.92 c Number of update (reduction) of LBD : 274 1800.08/1778.92 c Imported unit clauses : 0 1800.08/1778.92 c number of reductions to clauses (during analyze) : 0 1800.08/1778.92 c number of learned constraints concerned by reduction : 0 1800.08/1778.92 c number of learning phase by resolution : 0 1800.08/1778.92 c number of learning phase by cutting planes : 0 1800.08/1778.92 c speed (assignments/second) : 542146.8597219114 1800.08/1778.92 c non guided choices 0 1800.08/1778.93 c learnt constraints type 1800.08/1778.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39237 1800.08/1778.93 s SATISFIABLE 1800.08/1778.93 c Found 111 solution(s) 1800.08/1778.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 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 x7937 x7938 x7939 x7940 x7941 x7942 x7943 x7944 x7945 x7946 x7947 x7948 x7949 x7950 x7951 x7952 -x7953 -x7954 -x7955 -x7956 x7957 -x7958 x7959 -x7960 -x7961 -x7962 -x7963 x7964 x7965 x7966 x7967 x7968 x7969 x7970 x7971 x7972 x7973 x7974 x7975 x7976 x7977 x7978 x7979 -x7980 -x7981 -x7982 -x7983 x7984 -x7985 x7986 -x7987 -x7988 -x7989 -x7990 x7991 x7992 x7993 x7994 x7995 x7996 x7997 x7998 x7999 x8000 x8001 x8002 x8003 x8004 x8005 -x8006 -x8007 -x8008 -x8009 x8010 -x8011 x8012 -x8013 -x8014 -x8015 -x8016 x8017 x8018 x8019 x8020 x8021 x8022 x8023 x8024 x8025 x8026 x8027 x8028 x8029 x8030 -x8031 -x8032 -x8033 -x8034 x8035 -x8036 x8037 -x8038 -x8039 -x8040 -x8041 x8042 x8043 x8044 x8045 x8046 x8047 x8048 x8049 x8050 x8051 x8052 x8053 x8054 -x8055 -x8056 -x8057 -x8058 x8059 -x8060 x8061 -x8062 -x8063 -x8064 -x8065 x8066 x8067 x8068 x8069 x8070 x8071 x8072 x8073 x8074 x8075 x8076 x8077 -x8078 -x8079 -x8080 -x8081 x8082 -x8083 x8084 -x8085 -x8086 -x8087 -x8088 x8089 x8090 x8091 x8092 x8093 x8094 x8095 x8096 x8097 x8098 x8099 -x8100 -x8101 -x8102 -x8103 x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x8110 x8111 x8112 x8113 x8114 x8115 x8116 x8117 x8118 x8119 x8120 -x8121 -x8122 -x8123 -x8124 x8125 -x8126 x8127 -x8128 -x8129 -x8130 -x8131 x8132 x8133 x8134 x8135 x8136 x8137 x8138 x8139 x8140 -x8141 -x8142 -x8143 -x8144 x8145 -x8146 x8147 -x8148 -x8149 -x8150 -x8151 x8152 x8153 x8154 x8155 x8156 x8157 x8158 x8159 -x8160 -x8161 -x8162 x8163 -x8164 x8165 -x8166 -x8167 -x8168 -x8169 x8170 x8171 x8172 x8173 x8174 x8175 x8176 -x8177 -x8178 -x8179 x8180 -x8181 x8182 -x8183 -x8184 -x8185 -x8186 x8187 x8188 x8189 x8190 x8191 x8192 -x8193 -x8194 -x8195 -x8196 x8197 x8198 -x8199 -x8200 -x8201 -x8202 x8203 x8204 x8205 x8206 x8207 -x8208 -x8209 -x8210 -x8211 x8212 -x8213 x8214 -x8215 -x8216 -x8217 x8218 x8219 x8220 x8221 -x8222 -x8223 -x8224 -x8225 x8226 -x8227 x8228 -x8229 -x8230 -x8231 x8232 x8233 x8234 -x8235 -x8236 -x8237 -x8238 x8239 -x8240 x8241 -x8242 -x8243 -x8244 -x8245 x8246 x8247 -x8248 -x8249 -x8250 -x8251 x8252 -x8253 x8254 -x8255 -x8256 -x8257 -x8258 x8259 -x8260 -x8261 -x8262 -x8263 x8264 -x8265 x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 x8275 -x8276 x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 x8337 x8338 x8339 x8340 x8341 x8342 x8343 x8344 x8345 x8346 x8347 x8348 x8349 x8350 x8351 x8352 -x8353 -x8354 -x8355 -x8356 x8357 -x8358 x8359 -x8360 -x8361 -x8362 -x8363 x8364 x8365 x8366 x8367 x8368 x8369 x8370 x8371 x8372 x8373 x8374 x8375 x8376 x8377 x8378 -x8379 -x8380 -x8381 -x8382 x8383 -x8384 x8385 -x8386 -x8387 -x8388 -x8389 x8390 x8391 x8392 x8393 x8394 x8395 x8396 x8397 x8398 x8399 x8400 x8401 x8402 x8403 -x8404 -x8405 -x8406 -x8407 x8408 -x8409 x8410 -x8411 -x8412 -x8413 -x8414 x8415 x8416 x8417 x8418 x8419 x8420 x8421 x8422 x8423 x8424 x8425 x8426 x8427 -x8428 -x8429 -x8430 -x8431 x8432 -x8433 x8434 -x8435 -x8436 -x8437 -x8438 x8439 x8440 x8441 x8442 x8443 x8444 x8445 x8446 x8447 x8448 x8449 x8450 -x8451 -x8452 -x8453 -x8454 x8455 -x8456 x8457 -x8458 -x8459 -x8460 -x8461 x8462 x8463 x8464 x8465 x8466 x8467 x8468 x8469 x8470 x8471 x8472 -x8473 -x8474 -x8475 -x8476 x8477 -x8478 x8479 -x8480 -x8481 -x8482 -x8483 x8484 x8485 x8486 x8487 x8488 x8489 x8490 x8491 x8492 x8493 -x8494 -x8495 -x8496 -x8497 x8498 -x8499 x8500 -x8501 -x8502 -x8503 -x8504 x8505 x8506 x8507 x8508 x8509 x8510 x8511 x8512 x8513 -x8514 -x8515 -x8516 -x8517 x8518 -x8519 x8520 -x8521 -x8522 -x8523 -x8524 x8525 x8526 x8527 x8528 x8529 x8530 x8531 x8532 -x8533 -x8534 -x8535 -x8536 x8537 -x8538 x8539 -x8540 -x8541 -x8542 -x8543 x8544 x8545 x8546 x8547 x8548 x8549 x8550 -x8551 -x8552 -x8553 x8554 -x8555 x8556 -x8557 -x8558 -x8559 -x8560 x8561 x8562 x8563 x8564 x8565 x8566 -x8567 -x8568 -x8569 -x8570 -x8571 x8572 -x8573 -x8574 -x8575 -x8576 x8577 x8578 x8579 x8580 x8581 -x8582 -x8583 -x8584 -x8585 x8586 -x8587 -x8588 -x8589 -x8590 -x8591 x8592 x8593 x8594 x8595 -x8596 -x8597 -x8598 -x8599 x8600 -x8601 x8602 -x8603 -x8604 -x8605 x8606 x8607 x8608 -x8609 -x8610 -x8611 -x8612 x8613 -x8614 x8615 -x8616 -x8617 -x8618 x8619 x8620 -x8621 -x8622 -x8623 -x8624 x8625 -x8626 x8627 -x8628 -x8629 -x8630 -x8631 x8632 -x8633 -x8634 -x8635 -x8636 x8637 -x8638 x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 x8648 -x8649 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 x8710 x8711 x8712 x8713 x8714 x8715 x8716 x8717 x8718 x8719 x8720 x8721 x8722 x8723 x8724 -x8725 -x8726 -x8727 -x8728 x8729 -x8730 x8731 -x8732 -x8733 -x8734 -x8735 x8736 x8737 x8738 x8739 x8740 x8741 x8742 x8743 x8744 x8745 x8746 x8747 x8748 x8749 -x8750 -x8751 -x8752 -x8753 x8754 -x8755 x8756 -x8757 -x8758 -x8759 -x8760 x8761 x8762 x8763 x8764 x8765 x8766 x8767 x8768 x8769 x8770 x8771 x8772 x8773 -x8774 -x8775 -x8776 -x8777 x8778 -x8779 x8780 -x8781 -x8782 -x8783 -x8784 x8785 x8786 x8787 x8788 x8789 x8790 x8791 x8792 x8793 x8794 x8795 x8796 -x8797 -x8798 -x8799 -x8800 x8801 -x8802 x8803 -x8804 -x8805 -x8806 -x8807 x8808 x8809 x8810 x8811 x8812 x8813 x8814 x8815 x8816 x8817 x8818 -x8819 -x8820 -x8821 -x8822 x8823 -x8824 x8825 -x8826 -x8827 -x8828 -x8829 x8830 x8831 x8832 x8833 x8834 x8835 x8836 x8837 x8838 x8839 -x8840 -x8841 -x8842 -x8843 x8844 -x8845 x8846 -x8847 -x8848 -x8849 -x8850 x8851 x8852 x8853 x8854 x8855 x8856 x8857 x8858 x8859 -x8860 -x8861 -x8862 -x8863 x8864 -x8865 x8866 -x8867 -x8868 -x8869 -x8870 x8871 x8872 x8873 x8874 x8875 x8876 x8877 x8878 -x8879 -x8880 -x8881 -x8882 x8883 -x8884 x8885 -x8886 -x8887 -x8888 -x8889 x8890 x8891 x8892 x8893 x8894 x8895 x8896 -x8897 -x8898 -x8899 -x8900 x8901 -x8902 x8903 -x8904 -x8905 -x8906 -x8907 x8908 x8909 x8910 x8911 x8912 x8913 -x8914 -x8915 -x8916 x8917 -x8918 x8919 -x8920 -x8921 -x8922 -x8923 x8924 x8925 x8926 x8927 x8928 -x8929 -x8930 -x8931 -x8932 x8933 x8934 -x8935 -x8936 -x8937 -x8938 x8939 x8940 x8941 x8942 -x8943 -x8944 -x8945 -x8946 x8947 -x8948 x8949 -x8950 -x8951 -x8952 x8953 x8954 x8955 -x8956 -x8957 -x8958 -x8959 x8960 -x8961 x8962 -x8963 -x8964 -x8965 x8966 x8967 -x8968 -x8969 -x8970 -x8971 x8972 -x8973 x8974 -x8975 -x8976 -x8977 -x8978 x8979 -x8980 -x8981 -x8982 -x8983 x8984 -x8985 x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 x8995 -x8996 x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 x9057 x9058 x9059 x9060 x9061 x9062 x9063 x9064 x9065 x9066 x9067 x9068 x9069 x9070 -x9071 -x9072 -x9073 -x9074 x9075 -x9076 x9077 -x9078 -x9079 -x9080 -x9081 x9082 x9083 x9084 x9085 x9086 x9087 x9088 x9089 x9090 x9091 x9092 x9093 x9094 -x9095 -x9096 -x9097 -x9098 x9099 -x9100 x9101 -x9102 -x9103 -x9104 -x9105 x9106 x9107 x9108 x9109 x9110 x9111 x9112 x9113 x9114 x9115 x9116 x9117 -x9118 -x9119 -x9120 -x9121 x9122 -x9123 x9124 -x9125 -x9126 -x9127 -x9128 x9129 x9130 x9131 x9132 x9133 x9134 x9135 x9136 x9137 x9138 x9139 -x9140 -x9141 -x9142 -x9143 x9144 -x9145 x9146 -x9147 -x9148 -x9149 -x9150 x9151 x9152 x9153 x9154 x9155 x9156 x9157 x9158 x9159 x9160 -x9161 -x9162 -x9163 -x9164 x9165 -x9166 x9167 -x9168 -x9169 -x9170 -x9171 x9172 x9173 x9174 x9175 x9176 x9177 x9178 x9179 x9180 -x9181 -x9182 -x9183 -x9184 x9185 -x9186 x9187 -x9188 -x9189 -x9190 -x9191 x9192 x9193 x9194 x9195 x9196 x9197 x9198 x9199 -x9200 -x9201 -x9202 -x9203 x9204 -x9205 x9206 -x9207 -x9208 -x9209 -x9210 x9211 x9212 x9213 x9214 x9215 x9216 x9217 -x9218 -x9219 -x9220 -x9221 x9222 -x9223 x9224 -x9225 -x9226 -x9227 -x9228 x9229 x9230 x9231 x9232 x9233 x9234 -x9235 -x9236 -x9237 -x9238 x9239 -x9240 x9241 -x9242 -x9243 -x9244 -x9245 x9246 x9247 x9248 x9249 x9250 -x9251 -x9252 -x9253 -x9254 -x9255 x9256 -x9257 -x9258 -x9259 -x9260 x9261 x9262 x9263 x9264 -x9265 -x9266 -x9267 -x9268 x9269 -x9270 -x9271 -x9272 -x9273 -x9274 x9275 x9276 x9277 -x9278 -x9279 -x9280 -x9281 x9282 -x9283 x9284 -x9285 -x9286 -x9287 x9288 x9289 -x9290 -x9291 -x9292 -x9293 x9294 -x9295 x9296 -x9297 -x9298 -x9299 x9300 -x9301 -x9302 -x9303 -x9304 x9305 -x9306 x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 x9316 -x9317 x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 x9378 x9379 x9380 x9381 x9382 x9383 x9384 x9385 x9386 x9387 x9388 x9389 x9390 -x9391 -x9392 -x9393 -x9394 x9395 -x9396 x9397 -x9398 -x9399 -x9400 -x9401 x9402 x9403 x9404 x9405 x9406 x9407 x9408 x9409 x9410 x9411 x9412 x9413 -x9414 -x9415 -x9416 -x9417 x9418 -x9419 x9420 -x9421 -x9422 -x9423 -x9424 x9425 x9426 x9427 x9428 x9429 x9430 x9431 x9432 x9433 x9434 x9435 -x9436 -x9437 -x9438 -x9439 x9440 -x9441 x9442 -x9443 -x9444 -x9445 -x9446 x9447 x9448 x9449 x9450 x9451 x9452 x9453 x9454 x9455 x9456 -x9457 -x9458 -x9459 -x9460 x9461 -x9462 x9463 -x9464 -x9465 -x9466 -x9467 x9468 x9469 x9470 x9471 x9472 x9473 x9474 x9475 x9476 -x9477 -x9478 -x9479 -x9480 x9481 -x9482 x9483 -x9484 -x9485 -x9486 -x9487 x9488 x9489 x9490 x9491 x9492 x9493 x9494 x9495 -x9496 -x9497 -x9498 -x9499 x9500 -x9501 x9502 -x9503 -x9504 -x9505 -x9506 x9507 x9508 x9509 x9510 x9511 x9512 x9513 -x9514 -x9515 -x9516 -x9517 x9518 -x9519 x9520 -x9521 -x9522 -x9523 -x9524 x9525 x9526 x9527 x9528 x9529 x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 x9537 -x9538 -x9539 -x9540 -x9541 x9542 x9543 x9544 x9545 x9546 -x9547 -x9548 -x9549 -x9550 x9551 -x9552 x9553 -x9554 -x9555 -x9556 -x9557 x9558 x9559 x9560 x9561 -x9562 -x9563 -x9564 -x9565 x9566 x9567 -x9568 -x9569 -x9570 -x9571 x9572 x9573 x9574 -x9575 -x9576 -x9577 -x9578 x9579 -x9580 x9581 -x9582 -x9583 -x9584 x9585 x9586 -x9587 -x9588 -x9589 -x9590 x9591 -x9592 x9593 -x9594 -x9595 -x9596 x9597 -x9598 -x9599 -x9600 -x9601 x9602 -x9603 x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 x9613 -x9614 x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 x9675 x9676 x9677 x9678 x9679 x9680 x9681 x9682 x9683 x9684 x9685 x9686 -x9687 -x9688 -x9689 -x9690 x9691 -x9692 x9693 -x9694 -x9695 -x9696 -x9697 x9698 x9699 x9700 x9701 x9702 x9703 x9704 x9705 x9706 x9707 x9708 -x9709 -x9710 -x9711 -x9712 x9713 -x9714 x9715 -x9716 -x9717 -x9718 -x9719 x9720 x9721 x9722 x9723 x9724 x9725 x9726 x9727 x9728 x9729 -x9730 -x9731 -x9732 -x9733 x9734 -x9735 x9736 -x9737 -x9738 -x9739 -x9740 x9741 x9742 x9743 x9744 x9745 x9746 x9747 x9748 x9749 -x9750 -x9751 -x9752 -x9753 x9754 -x9755 x9756 -x9757 -x9758 -x9759 -x9760 x9761 x9762 x9763 x9764 x9765 x9766 x9767 x9768 -x9769 -x9770 -x9771 -x9772 x9773 -x9774 x9775 -x9776 -x9777 -x9778 -x9779 x9780 x9781 x9782 x9783 x9784 x9785 x9786 -x9787 -x9788 -x9789 -x9790 x9791 -x9792 x9793 -x9794 -x9795 -x9796 -x9797 x9798 x9799 x9800 x9801 x9802 x9803 -x9804 -x9805 -x9806 -x9807 x9808 -x9809 x9810 -x9811 -x9812 -x9813 -x9814 x9815 x9816 x9817 x9818 x9819 -x9820 -x9821 -x9822 -x9823 x9824 -x9825 x9826 -x9827 -x9828 -x9829 -x9830 x9831 x9832 x9833 x9834 -x9835 -x9836 -x9837 -x9838 x9839 -x9840 x9841 -x9842 -x9843 -x9844 -x9845 x9846 x9847 x9848 -x9849 -x9850 -x9851 -x9852 x9853 -x9854 -x9855 -x9856 -x9857 -x9858 x9859 x9860 -x9861 -x9862 -x9863 -x9864 x9865 -x9866 x9867 -x9868 -x9869 -x9870 x9871 -x9872 -x9873 -x9874 -x9875 x9876 -x9877 x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 x9886 -x9887 x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 x9948 x9949 x9950 x9951 x9952 x9953 x9954 x9955 x9956 x9957 x9958 -x9959 -x9960 -x9961 -x9962 x9963 -x9964 x9965 -x9966 -x9967 -x9968 -x9969 x9970 x9971 x9972 x9973 x9974 x9975 x9976 x9977 x9978 x9979 -x9980 -x9981 -x9982 -x9983 x9984 -x9985 x9986 -x9987 -x9988 -x9989 -x9990 x9991 x9992 x9993 x9994 x9995 x9996 x9997 x9998 x9999 -x10000 -x10001 -x10002 -x10003 x10004 -x10005 x10006 -x10007 -x10008 -x10009 -x10010 x10011 x10012 x10013 x10014 x10015 x10016 x10017 x10018 -x10019 -x10020 -x10021 -x10022 x10023 -x10024 x10025 -x10026 -x10027 -x10028 -x10029 x10030 x10031 x10032 x10033 x10034 x10035 x10036 -x10037 -x10038 -x10039 -x10040 x10041 -x10042 x10043 -x10044 -x10045 -x10046 -x10047 x10048 x10049 x10050 x10051 x10052 x10053 -x10054 -x10055 -x10056 -x10057 x10058 -x10059 x10060 -x10061 -x10062 -x10063 -x10064 x10065 x10066 x10067 x10068 x10069 -x10070 -x10071 -x10072 -x10073 x10074 -x10075 x10076 -x10077 -x10078 -x10079 -x10080 x10081 x10082 x10083 x10084 -x10085 -x10086 -x10087 -x10088 x10089 -x10090 x10091 -x10092 -x10093 -x10094 -x10095 x10096 x10097 x10098 -x10099 -x10100 -x10101 -x10102 x10103 -x10104 x10105 -x10106 -x10107 -x10108 -x10109 x10110 x10111 -x10112 -x10113 -x10114 -x10115 x10116 -x10117 x10118 -x10119 -x10120 -x10121 x10122 -x10123 -x10124 -x10125 -x10126 x10127 -x10128 x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 x10137 -x10138 x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 x10199 x10200 x10201 x10202 x10203 x10204 x10205 x10206 x10207 x10208 -x10209 -x10210 -x10211 -x10212 x10213 -x10214 x10215 -x10216 -x10217 -x10218 -x10219 x10220 x10221 x10222 x10223 x10224 x10225 x10226 x10227 x10228 -x10229 -x10230 -x10231 -x10232 x10233 -x10234 x10235 -x10236 -x10237 -x10238 -x10239 x10240 x10241 x10242 x10243 x10244 x10245 x10246 x10247 -x10248 -x10249 -x10250 -x10251 x10252 -x10253 x10254 -x10255 -x10256 -x10257 -x10258 x10259 x10260 x10261 x10262 x10263 x10264 x10265 -x10266 -x10267 -x10268 -x10269 x10270 -x10271 x10272 -x10273 -x10274 -x10275 -x10276 x10277 x10278 x10279 x10280 x10281 x10282 -x10283 -x10284 -x10285 -x10286 x10287 -x10288 x10289 -x10290 -x10291 -x10292 -x10293 x10294 x10295 x10296 x10297 x10298 -x10299 -x10300 -x10301 -x10302 x10303 -x10304 x10305 -x10306 -x10307 -x10308 -x10309 x10310 x10311 x10312 x10313 -x10314 -x10315 -x10316 -x10317 x10318 -x10319 x10320 -x10321 -x10322 -x10323 -x10324 x10325 x10326 x10327 -x10328 -x10329 -x10330 -x10331 x10332 -x10333 x10334 -x10335 -x10336 -x10337 -x10338 x10339 x10340 -x10341 -x10342 -x10343 -x10344 x10345 -x10346 x10347 -x10348 -x10349 -x10350 -x10351 x10352 -x10353 -x10354 -x10355 -x10356 x10357 -x10358 x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 x10367 -x10368 x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 x10428 x10429 x10430 x10431 x10432 x10433 x10434 x10435 x10436 -x10437 -x10438 -x10439 -x10440 x10441 -x10442 x10443 -x10444 -x10445 -x10446 -x10447 x10448 x10449 x10450 x10451 x10452 x10453 x10454 x10455 -x10456 -x10457 -x10458 -x10459 x10460 -x10461 x10462 -x10463 -x10464 -x10465 -x10466 x10467 x10468 x10469 x10470 x10471 x10472 x10473 -x10474 -x10475 -x10476 -x10477 x10478 -x10479 x10480 -x10481 -x10482 -x10483 -x10484 x10485 x10486 x10487 x10488 x10489 x10490 -x10491 -x10492 -x10493 -x10494 x10495 -x10496 x10497 -x10498 -x10499 -x10500 -x10501 x10502 x10503 x10504 x10505 x10506 -x10507 -x10508 -x10509 -x10510 x10511 -x10512 x10513 -x10514 -x10515 -x10516 -x10517 x10518 x10519 x10520 x10521 -x10522 -x10523 -x10524 -x10525 x10526 -x10527 x10528 -x10529 -x10530 -x10531 -x10532 x10533 x10534 x10535 -x10536 -x10537 -x10538 -x10539 x10540 -x10541 x10542 -x10543 -x10544 -x10545 -x10546 x10547 x10548 -x10549 -x10550 -x10551 -x10552 x10553 -x10554 x10555 -x10556 -x10557 -x10558 -x10559 x10560 -x10561 -x10562 -x10563 -x10564 x10565 -x10566 x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 x10576 -x10577 x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 x10637 x10638 x10639 x10640 x10641 x10642 x10643 x10644 -x10645 -x10646 -x10647 -x10648 x10649 -x10650 x10651 -x10652 -x10653 -x10654 -x10655 x10656 x10657 x10658 x10659 x10660 x10661 x10662 -x10663 -x10664 -x10665 -x10666 x10667 -x10668 x10669 -x10670 -x10671 -x10672 -x10673 x10674 x10675 x10676 x10677 x10678 x10679 -x10680 -x10681 -x10682 -x10683 x10684 -x10685 x10686 -x10687 -x10688 -x10689 -x10690 x10691 x10692 x10693 x10694 x10695 -x10696 -x10697 -x10698 -x10699 x10700 -x10701 x10702 -x10703 -x10704 -x10705 -x10706 x10707 x10708 x10709 x10710 -x10711 -x10712 -x10713 -x10714 x10715 -x10716 x10717 -x10718 -x10719 -x10720 -x10721 x10722 x10723 x10724 -x10725 -x10726 -x10727 -x10728 x10729 -x10730 x10731 -x10732 -x10733 -x10734 -x10735 x10736 x10737 -x10738 -x10739 -x10740 -x10741 x10742 -x10743 x10744 -x10745 -x10746 -x10747 -x10748 x10749 -x10750 -x10751 -x10752 -x10753 x10754 -x10755 x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 x10765 -x10766 x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 x10826 x10827 x10828 x10829 x10830 x10831 x10832 -x10833 -x10834 -x10835 -x10836 x10837 -x10838 x10839 -x10840 -x10841 -x10842 -x10843 x10844 x10845 x10846 x10847 x10848 x10849 -x10850 -x10851 -x10852 -x10853 x10854 -x10855 x10856 -x10857 -x10858 -x10859 -x10860 x10861 x10862 x10863 x10864 x10865 -x10866 -x10867 -x10868 -x10869 x10870 -x10871 x10872 -x10873 -x10874 -x10875 -x10876 x10877 x10878 x10879 x10880 -x10881 -x10882 -x10883 -x10884 x10885 -x10886 x10887 -x10888 -x10889 -x10890 -x10891 x10892 x10893 x10894 -x10895 -x10896 -x10897 -x10898 x10899 -x10900 x10901 -x10902 -x10903 -x10904 -x10905 x10906 x10907 -x10908 -x10909 -x10910 -x10911 x10912 -x10913 x10914 -x10915 -x10916 -x10917 -x10918 x10919 -x10920 -x10921 -x10922 -x10923 x10924 -x10925 x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 x10935 -x10936 x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 x10997 x10998 x10999 x11000 x11001 x11002 -x11003 -x11004 -x11005 -x11006 x11007 -x11008 x11009 -x11010 -x11011 -x11012 -x11013 x11014 x11015 x11016 x11017 x11018 -x11019 -x11020 -x11021 -x11022 x11023 -x11024 x11025 -x11026 -x11027 -x11028 -x11029 x11030 x11031 x11032 x11033 -x11034 -x11035 -x11036 -x11037 x11038 -x11039 x11040 -x11041 -x11042 -x11043 -x11044 x11045 x11046 x11047 -x11048 -x11049 -x11050 -x11051 x11052 -x11053 x11054 -x11055 -x11056 -x11057 -x11058 x11059 x11060 -x11061 -x11062 -x11063 -x11064 x11065 -x11066 x11067 -x11068 -x11069 -x11070 -x11071 x11072 -x11073 -x11074 -x11075 -x11076 x11077 -x11078 x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 x11088 -x11089 x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 x11150 x11151 x11152 x11153 x11154 -x11155 -x11156 -x11157 -x11158 x11159 -x11160 x11161 -x11162 -x11163 -x11164 -x11165 x11166 x11167 x11168 x11169 -x11170 -x11171 -x11172 -x11173 x11174 -x11175 x11176 -x11177 -x11178 -x11179 -x11180 x11181 x11182 x11183 -x11184 -x11185 -x11186 -x11187 x11188 -x11189 x11190 -x11191 -x11192 -x11193 -x11194 x11195 x11196 -x11197 -x11198 -x11199 -x11200 x11201 -x11202 x11203 -x11204 -x11205 -x11206 -x11207 x11208 -x11209 -x11210 -x11211 -x11212 x11213 -x11214 x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 x11224 -x11225 x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 x11286 x11287 x11288 x11289 -x11290 -x11291 -x11292 -x11293 x11294 -x11295 x11296 -x11297 -x11298 -x11299 -x11300 x11301 x11302 x11303 -x11304 -x11305 -x11306 -x11307 x11308 -x11309 x11310 -x11311 -x11312 -x11313 -x11314 x11315 x11316 -x11317 -x11318 -x11319 -x11320 x11321 -x11322 x11323 -x11324 -x11325 -x11326 -x11327 x11328 -x11329 -x11330 -x11331 -x11332 x11333 -x11334 x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 x11344 -x11345 x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 x11406 x11407 x11408 -x11409 -x11410 -x11411 -x11412 x11413 -x11414 x11415 -x11416 -x11417 -x11418 -x11419 x11420 x11421 -x11422 -x11423 -x11424 -x11425 x11426 -x11427 x11428 -x11429 -x11430 -x11431 -x11432 x11433 -x11434 -x11435 -x11436 -x11437 x11438 -x11439 x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 x11449 -x11450 x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 x11511 x11512 -x11513 -x11514 -x11515 -x11516 x11517 -x11518 x11519 -x11520 -x11521 -x11522 -x11523 x11524 -x11525 -x11526 -x11527 -x11528 x11529 -x11530 x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 x11540 -x11541 x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 x11602 -x11603 -x11604 -x11605 -x11606 x11607 -x11608 x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 x11618 -x11619 x11620 -x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673 -x11674 -x11675 -x11676 -x11677 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 x11684 -x11685 x11686 -x11687 -x11688 -x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11721 -x11722 -x11723 -x11724 -x11725 x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11733 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740 -x11741 -x11742 -x11743 -x11744 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11755 -x11756 -x11757 -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11788 -x11789 -x11790 -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11799 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 -x11807 -x11808 -x11809 -x11810 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834 -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909 -x11910 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11921 -x11922 -x11923 -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939 -x11940 -x11941 -x11942 -x11943 -x11944 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 x11967 -x11968 x11969 -x11970 -x11971 -x11972 -x11973 -x11974 x11975 x11976 x11977 x11978 x11979 x11980 x11981 x11982 x11983 x11984 x11985 x11986 x11987 x11988 x11989 x11990 x11991 x11992 x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12021 -x12022 -x12023 -x12024 x12025 -x12026 -x12027 -x12028 -x12029 -x12030 x12031 x12032 x12033 x12034 x12035 x12036 x12037 x12038 x12039 x12040 x12041 x12042 x12043 x12044 x12045 x12046 x12047 x12048 x12049 -x12050 -x12051 -x12052 -x12053 -x12054 -x12055 -x12056 -x12057 -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12066 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12075 -x12076 -x12077 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 x12087 x12088 x12089 x12090 x12091 x12092 x12093 x12094 x12095 x12096 x12097 x12098 x12099 x12100 x12101 x12102 x12103 x12104 x12105 -x12106 -x12107 -x12108 -x12109 x12110 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12121 -x12122 -x12123 -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12132 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139 -x12140 -x12141 -x12142 -x12143 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12154 -x12155 -x12156 -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12165 -x12166 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173 -x12174 -x12175 -x12176 -x12177 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 -x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12199 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239 -x12240 -x12241 -x12242 -x12243 -x12244 -x12245 -x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12254 -x12255 x12256 x12257 x12258 x12259 x12260 x12261 x12262 x12263 x12264 x12265 x12266 x12267 x12268 x12269 x12270 x12271 x12272 x12273 -x12274 -x12275 -x12276 -x12277 x12278 -x12279 x12280 -x12281 -x12282 -x12283 -x12284 x12285 x12286 x12287 x12288 x12289 x12290 x12291 x12292 x12293 x12294 x12295 x12296 x12297 x12298 x12299 x12300 x12301 -x12302 -x12303 -x12304 -x12305 x12306 -x12307 x12308 -x12309 -x12310 -x12311 -x12312 x12313 x12314 x12315 x12316 x12317 x12318 x12319 x12320 x12321 x12322 x12323 x12324 x12325 x12326 x12327 x12328 -x12329 -x12330 -x12331 -x12332 x12333 -x12334 x12335 -x12336 -x12337 -x12338 -x12339 x12340 x12341 x12342 x12343 x12344 x12345 x12346 x12347 x12348 x12349 x12350 x12351 x12352 x12353 x12354 -x12355 -x12356 -x12357 -x12358 x12359 -x12360 x12361 -x12362 -x12363 -x12364 -x12365 x12366 x12367 x12368 x12369 x12370 x12371 x12372 x12373 x12374 x12375 x12376 x12377 x12378 x12379 -x12380 -x12381 -x12382 -x12383 x12384 -x12385 x12386 -x12387 -x12388 -x12389 -x12390 x12391 x12392 x12393 x12394 x12395 x12396 x12397 x12398 x12399 x12400 x12401 x12402 x12403 -x12404 -x12405 -x12406 -x12407 x12408 -x12409 x12410 -x12411 -x12412 -x12413 -x12414 x12415 x12416 x12417 x12418 x12419 x12420 x12421 x12422 x12423 x12424 x12425 x12426 -x12427 -x12428 -x12429 -x12430 x12431 -x12432 x12433 -x12434 -x12435 -x12436 -x12437 x12438 x12439 x12440 x12441 x12442 x12443 x12444 x12445 x12446 x12447 x12448 -x12449 -x12450 -x12451 -x12452 x12453 -x12454 x12455 -x12456 -x12457 -x12458 -x12459 x12460 x12461 x12462 x12463 x12464 x12465 x12466 x12467 x12468 x12469 -x12470 -x12471 -x12472 -x12473 x12474 -x12475 x12476 -x12477 -x12478 -x12479 -x12480 x12481 x12482 x12483 x12484 x12485 x12486 x12487 x12488 x12489 -x12490 -x12491 -x12492 -x12493 x12494 -x12495 x12496 -x12497 -x12498 -x12499 -x12500 x12501 x12502 x12503 x12504 x12505 x12506 x12507 x12508 -x12509 -x12510 -x12511 -x12512 x12513 -x12514 x12515 -x12516 -x12517 -x12518 -x12519 x12520 x12521 x12522 x12523 x12524 x12525 x12526 -x12527 -x12528 -x12529 -x12530 x12531 -x12532 x12533 -x12534 -x12535 -x12536 -x12537 x12538 x12539 x12540 x12541 x12542 x12543 -x12544 -x12545 -x12546 -x12547 x12548 -x12549 x12550 -x12551 -x12552 -x12553 -x12554 x12555 x12556 x12557 x12558 x12559 -x12560 -x12561 -x12562 -x12563 x12564 -x12565 x12566 -x12567 -x12568 -x12569 -x12570 x12571 x12572 x12573 x12574 -x12575 -x12576 -x12577 -x12578 x12579 -x12580 x12581 -x12582 -x12583 -x12584 -x12585 x12586 x12587 x12588 -x12589 -x12590 -x12591 -x12592 x12593 -x12594 x12595 -x12596 -x12597 -x12598 -x12599 x12600 x12601 -x12602 -x12603 -x12604 -x12605 x12606 -x12607 x12608 -x12609 -x12610 -x12611 -x12612 x12613 -x12614 -x12615 -x12616 -x12617 x12618 -x12619 x12620 -x12621 -x12622 -x12623 -x12624 -x12625 -x12626 -x12627 -x12628 x12629 -x12630 x12631 -x12632 -x12633 -x12634 -x12635 -x12636 -x12637 -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 -x12648 -x12649 -x12650 -x12651 -x12652 -x12653 -x12654 -x12655 -x12656 -x12657 -x12658 -x12659 -x12660 -x12661 -x12662 -x12663 -x12664 -x12665 -x12666 -x12667 -x12668 -x12669 -x12670 x12671 -x12672 -x12673 -x12674 -x12675 -x12676 -x12677 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683 -x12684 -x12685 -x12686 -x12687 -x12688 -x12689 -x12690 1800.08/1778.95 c objective function=-9953 1800.08/1778.95 c Total wall clock time (in seconds): 1778.841
OK -9953
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118740-1467234525/watcher-4118740-1467234525 -o /tmp/evaluation-result-4118740-1467234525/solver-4118740-1467234525 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118740-1467234525.opb pid=4974 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.22 2.18 3/194 4977 /proc/meminfo: memFree=28316544/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/4977/stat : 4977 (java) R 4974 4977 1865 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 2481709 278528 33 33554432000 1073741824 1073778376 140735167593232 140737412338840 271778409767 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 68 33 25 9 0 25 0 [startup+0.100162 s] /proc/loadavg: 2.23 2.22 2.18 3/194 4977 /proc/meminfo: memFree=28316544/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 4411 0 1 0 7 1 0 0 20 0 18 0 2481709 9787879424 6036 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2389619 6036 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200323 s] /proc/loadavg: 2.23 2.22 2.18 3/194 4977 /proc/meminfo: memFree=28316544/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 4985 0 1 0 27 2 0 0 20 0 18 0 2481709 9787879424 6972 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2389619 6972 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300227 s] /proc/loadavg: 2.23 2.22 2.18 3/194 4977 /proc/meminfo: memFree=28316544/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9558476 CPUtime=0.46 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 5372 0 1 0 44 2 0 0 20 0 18 0 2481709 9787879424 9730 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2389619 9730 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700174 s] /proc/loadavg: 2.23 2.22 2.18 3/194 4977 /proc/meminfo: memFree=28316544/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9625040 CPUtime=1.59 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 16835 0 1 0 155 4 0 0 20 0 19 0 2481709 9856040960 33689 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2406260 33689 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.23 2.22 2.18 4/213 4996 /proc/meminfo: memFree=28159068/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 17027 0 1 0 300 6 0 0 20 0 19 0 2481709 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2406260 47148 2283 9 0 2396937 0 [pid=4977/tid=4979] ppid=4974 vsize=9625040 CPUtime=1.44 cores=0,2,4,6 /proc/4977/task/4979/stat : 4979 (java) R 4974 4977 1865 0 -1 4202560 2480 0 1 0 141 3 0 0 20 0 19 0 2481710 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781488889464 139781339197155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4980] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4980/stat : 4980 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781461343144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4981] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4981/stat : 4981 (java) S 4974 4977 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781460290600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4982] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4982/stat : 4982 (java) S 4974 4977 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781459237544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4983] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4983/stat : 4983 (java) S 4974 4977 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781458185000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4984] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4984/stat : 4984 (java) S 4974 4977 1865 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781457131944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4985] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4985/stat : 4985 (java) S 4974 4977 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781327071784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4986] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4986/stat : 4986 (java) S 4974 4977 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781326018728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4987] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4987/stat : 4987 (java) S 4974 4977 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781324966184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4988] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4988/stat : 4988 (java) S 4974 4977 1865 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 2481712 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780842019688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4989] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4989/stat : 4989 (java) S 4974 4977 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780840966008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4990] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4990/stat : 4990 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780839912840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4991] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4991/stat : 4991 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780838861584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4992] ppid=4974 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/4977/task/4992/stat : 4992 (java) S 4974 4977 1865 0 -1 4202560 6365 0 0 0 75 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780837808440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4993] ppid=4974 vsize=9625040 CPUtime=0.76 cores=0,2,4,6 /proc/4977/task/4993/stat : 4993 (java) S 4974 4977 1865 0 -1 4202560 6801 0 0 0 76 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780836755896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4994] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4994/stat : 4994 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780835703032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4995] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4995/stat : 4995 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780834650696 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4996] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4996/stat : 4996 (java) S 4974 4977 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2481773 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780833596968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 9625040 [startup+3.10079 s] /proc/loadavg: 2.23 2.22 2.18 3/213 4996 /proc/meminfo: memFree=28135796/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9625040 CPUtime=4.73 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 17028 0 1 0 467 6 0 0 20 0 19 0 2481709 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2406260 47148 2283 9 0 2396937 0 [pid=4977/tid=4979] ppid=4974 vsize=9625040 CPUtime=3.04 cores=0,2,4,6 /proc/4977/task/4979/stat : 4979 (java) R 4974 4977 1865 0 -1 4202560 2481 0 1 0 301 3 0 0 20 0 19 0 2481710 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781488881968 139781339021962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4980] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4980/stat : 4980 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781461343144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4981] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4981/stat : 4981 (java) S 4974 4977 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781460290600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4982] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4982/stat : 4982 (java) S 4974 4977 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781459237544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4983] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4983/stat : 4983 (java) S 4974 4977 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781458185000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4984] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4984/stat : 4984 (java) S 4974 4977 1865 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781457131944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4985] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4985/stat : 4985 (java) S 4974 4977 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781327071784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4986] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4986/stat : 4986 (java) S 4974 4977 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781326018728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4987] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4987/stat : 4987 (java) S 4974 4977 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139781324966184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4988] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4988/stat : 4988 (java) S 4974 4977 1865 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 2481712 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780842019688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4989] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4989/stat : 4989 (java) S 4974 4977 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780840966008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4990] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4990/stat : 4990 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780839912840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4991] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4991/stat : 4991 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780838861584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4992] ppid=4974 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/4977/task/4992/stat : 4992 (java) S 4974 4977 1865 0 -1 4202560 6365 0 0 0 75 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780837808440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4993] ppid=4974 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/4977/task/4993/stat : 4993 (java) S 4974 4977 1865 0 -1 4202560 6801 0 0 0 82 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780836755896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4994] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4994/stat : 4994 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780835703032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4995] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4995/stat : 4995 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780834650696 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4996] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4996/stat : 4996 (java) S 4974 4977 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2481773 9856040960 47148 33554432000 1073741824 1073778376 140735167593232 139780833596968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.73 Current children cumulated vsize (KiB) 9625040 [startup+6.30081 s] /proc/loadavg: 2.21 2.22 2.18 3/213 4996 /proc/meminfo: memFree=28096456/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9625040 CPUtime=8.02 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 17444 0 1 0 793 9 0 0 20 0 19 0 2481709 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2406260 56862 2283 9 0 2396937 0 [pid=4977/tid=4979] ppid=4974 vsize=9625040 CPUtime=6.2 cores=0,2,4,6 /proc/4977/task/4979/stat : 4979 (java) R 4974 4977 1865 0 -1 4202560 2483 0 1 0 617 3 0 0 20 0 19 0 2481710 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781488889928 139781339220527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4980] ppid=4974 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/4977/task/4980/stat : 4980 (java) S 4974 4977 1865 0 -1 4202560 112 0 0 0 2 0 0 0 20 0 19 0 2481711 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781461343144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4981] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4981/stat : 4981 (java) S 4974 4977 1865 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781460290600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4982] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4982/stat : 4982 (java) S 4974 4977 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781459237544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4983] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4983/stat : 4983 (java) S 4974 4977 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781458185000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4984] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4984/stat : 4984 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781457131944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4985] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4985/stat : 4985 (java) S 4974 4977 1865 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 19 0 2481711 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781327071784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4986] ppid=4974 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/4977/task/4986/stat : 4986 (java) S 4974 4977 1865 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 19 0 2481711 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781326018728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4987] ppid=4974 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/4977/task/4987/stat : 4987 (java) S 4974 4977 1865 0 -1 4202560 106 0 0 0 3 0 0 0 20 0 19 0 2481711 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139781324966184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4988] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4988/stat : 4988 (java) S 4974 4977 1865 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 2481712 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780842019688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4989] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4989/stat : 4989 (java) S 4974 4977 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780840966008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4990] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4990/stat : 4990 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780839912840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4991] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4991/stat : 4991 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780838861584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4992] ppid=4974 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/4977/task/4992/stat : 4992 (java) S 4974 4977 1865 0 -1 4202560 6365 0 0 0 75 0 0 0 20 0 19 0 2481715 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780837808440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4993] ppid=4974 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/4977/task/4993/stat : 4993 (java) S 4974 4977 1865 0 -1 4202560 6801 0 0 0 82 0 0 0 20 0 19 0 2481715 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780836755896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4994] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4994/stat : 4994 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780835703032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4995] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4995/stat : 4995 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780834650696 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4996] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4996/stat : 4996 (java) S 4974 4977 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2481773 9856040960 56862 33554432000 1073741824 1073778376 140735167593232 139780833596968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 8.02 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=4977/tid=4996] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4996/stat : 4996 (java) S 4974 4977 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2481773 9856040960 270196 33554432000 1073741824 1073778376 140735167593232 139780833596968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1681.48 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.13 2.25 2.20 4/213 5105 /proc/meminfo: memFree=27467860/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9625040 CPUtime=1742.65 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 30488 0 1 0 173861 404 0 0 20 0 19 0 2481709 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2406260 301194 2297 9 0 2396937 0 [pid=4977/tid=4979] ppid=4974 vsize=9625040 CPUtime=1708.29 cores=0,2,4,6 /proc/4977/task/4979/stat : 4979 (java) R 4974 4977 1865 0 -1 4202560 3585 0 1 0 170790 39 0 0 20 0 19 0 2481710 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781488889024 139781339091159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4980] ppid=4974 vsize=9625040 CPUtime=3.04 cores=0,2,4,6 /proc/4977/task/4980/stat : 4980 (java) S 4974 4977 1865 0 -1 4202560 1032 0 0 0 260 44 0 0 20 0 19 0 2481711 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781461343144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4981] ppid=4974 vsize=9625040 CPUtime=3.4 cores=0,2,4,6 /proc/4977/task/4981/stat : 4981 (java) S 4974 4977 1865 0 -1 4202560 1229 0 0 0 289 51 0 0 20 0 19 0 2481711 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781460290600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4982] ppid=4974 vsize=9625040 CPUtime=3.16 cores=0,2,4,6 /proc/4977/task/4982/stat : 4982 (java) S 4974 4977 1865 0 -1 4202560 1271 0 0 0 274 42 0 0 20 0 19 0 2481711 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781459237544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4983] ppid=4974 vsize=9625040 CPUtime=3.09 cores=0,2,4,6 /proc/4977/task/4983/stat : 4983 (java) S 4974 4977 1865 0 -1 4202560 828 0 0 0 267 42 0 0 20 0 19 0 2481711 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781458185000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4984] ppid=4974 vsize=9625040 CPUtime=3.24 cores=0,2,4,6 /proc/4977/task/4984/stat : 4984 (java) S 4974 4977 1865 0 -1 4202560 1066 0 0 0 279 45 0 0 20 0 19 0 2481711 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781457131944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4985] ppid=4974 vsize=9625040 CPUtime=3.25 cores=0,2,4,6 /proc/4977/task/4985/stat : 4985 (java) S 4974 4977 1865 0 -1 4202560 1485 0 0 0 272 53 0 0 20 0 19 0 2481711 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781327071784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4986] ppid=4974 vsize=9625040 CPUtime=3.1 cores=0,2,4,6 /proc/4977/task/4986/stat : 4986 (java) S 4974 4977 1865 0 -1 4202560 1262 0 0 0 262 48 0 0 20 0 19 0 2481711 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781326018728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4987] ppid=4974 vsize=9625040 CPUtime=2.85 cores=0,2,4,6 /proc/4977/task/4987/stat : 4987 (java) S 4974 4977 1865 0 -1 4202560 976 0 0 0 239 46 0 0 20 0 19 0 2481711 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139781324966184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4988] ppid=4974 vsize=9625040 CPUtime=2.66 cores=0,2,4,6 /proc/4977/task/4988/stat : 4988 (java) S 4974 4977 1865 0 -1 4202560 3199 0 0 0 262 4 0 0 20 0 19 0 2481712 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780842019688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4989] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4989/stat : 4989 (java) S 4974 4977 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780840966008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4990] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4990/stat : 4990 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780839912840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4991] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4991/stat : 4991 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780838861584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4992] ppid=4974 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/4977/task/4992/stat : 4992 (java) S 4974 4977 1865 0 -1 4202560 6370 0 0 0 78 0 0 0 20 0 19 0 2481715 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780837808440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4993] ppid=4974 vsize=9625040 CPUtime=1.07 cores=0,2,4,6 /proc/4977/task/4993/stat : 4993 (java) S 4974 4977 1865 0 -1 4202560 6823 0 0 0 106 1 0 0 20 0 19 0 2481715 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780836755896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4994] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4994/stat : 4994 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780835703032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4995] ppid=4974 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/4977/task/4995/stat : 4995 (java) S 4974 4977 1865 0 -1 4202560 99 0 0 0 22 19 0 0 20 0 19 0 2481715 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780834650696 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4996] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4996/stat : 4996 (java) S 4974 4977 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2481773 9856040960 301194 33554432000 1073741824 1073778376 140735167593232 139780833596968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1742.65 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.9 s] /proc/loadavg: 2.25 2.25 2.20 3/213 5106 /proc/meminfo: memFree=27102076/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 31018 0 1 0 179588 420 0 0 20 0 19 0 2481709 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2406260 336789 2297 9 0 2396937 0 [pid=4977/tid=4979] ppid=4974 vsize=9625040 CPUtime=1764.17 cores=0,2,4,6 /proc/4977/task/4979/stat : 4979 (java) R 4974 4977 1865 0 -1 4202560 3592 0 1 0 176377 40 0 0 20 0 19 0 2481710 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781488889024 139781339041475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4980] ppid=4974 vsize=9625040 CPUtime=3.18 cores=0,2,4,6 /proc/4977/task/4980/stat : 4980 (java) S 4974 4977 1865 0 -1 4202560 1054 0 0 0 273 45 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781461343144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4981] ppid=4974 vsize=9625040 CPUtime=3.48 cores=0,2,4,6 /proc/4977/task/4981/stat : 4981 (java) S 4974 4977 1865 0 -1 4202560 1243 0 0 0 297 51 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781460290600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4982] ppid=4974 vsize=9625040 CPUtime=3.3 cores=0,2,4,6 /proc/4977/task/4982/stat : 4982 (java) S 4974 4977 1865 0 -1 4202560 1318 0 0 0 285 45 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781459237544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4983] ppid=4974 vsize=9625040 CPUtime=3.26 cores=0,2,4,6 /proc/4977/task/4983/stat : 4983 (java) S 4974 4977 1865 0 -1 4202560 869 0 0 0 282 44 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781458185000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4984] ppid=4974 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/4977/task/4984/stat : 4984 (java) S 4974 4977 1865 0 -1 4202560 1085 0 0 0 288 47 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781457131944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4985] ppid=4974 vsize=9625040 CPUtime=3.45 cores=0,2,4,6 /proc/4977/task/4985/stat : 4985 (java) S 4974 4977 1865 0 -1 4202560 1505 0 0 0 291 54 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781327071784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4986] ppid=4974 vsize=9625040 CPUtime=3.26 cores=0,2,4,6 /proc/4977/task/4986/stat : 4986 (java) S 4974 4977 1865 0 -1 4202560 1310 0 0 0 275 51 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781326018728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4987] ppid=4974 vsize=9625040 CPUtime=3.02 cores=0,2,4,6 /proc/4977/task/4987/stat : 4987 (java) S 4974 4977 1865 0 -1 4202560 1001 0 0 0 255 47 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781324966184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4988] ppid=4974 vsize=9625040 CPUtime=2.88 cores=0,2,4,6 /proc/4977/task/4988/stat : 4988 (java) S 4974 4977 1865 0 -1 4202560 3482 0 0 0 284 4 0 0 20 0 19 0 2481712 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780842019688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4989] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4989/stat : 4989 (java) S 4974 4977 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780840966008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4990] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4990/stat : 4990 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780839912840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4991] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4991/stat : 4991 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780838861584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4992] ppid=4974 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/4977/task/4992/stat : 4992 (java) S 4974 4977 1865 0 -1 4202560 6370 0 0 0 78 0 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780837808440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4993] ppid=4974 vsize=9625040 CPUtime=1.07 cores=0,2,4,6 /proc/4977/task/4993/stat : 4993 (java) S 4974 4977 1865 0 -1 4202560 6823 0 0 0 106 1 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780836755896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4994] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4994/stat : 4994 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780835703032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4995] ppid=4974 vsize=9625040 CPUtime=0.43 cores=0,2,4,6 /proc/4977/task/4995/stat : 4995 (java) S 4974 4977 1865 0 -1 4202560 103 0 0 0 22 21 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780834650696 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4996] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4996/stat : 4996 (java) S 4974 4977 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2481773 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780833596968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 4977 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1778.9 s] /proc/loadavg: 2.25 2.25 2.20 3/213 5106 /proc/meminfo: memFree=27102076/32872528 swapFree=1099624/1181384 [pid=4977] ppid=4974 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6 /proc/4977/stat : 4977 (java) S 4974 4977 1865 0 -1 4202496 31018 0 1 0 179588 420 0 0 20 0 19 0 2481709 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 140735167584368 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/4977/statm: 2406260 336789 2297 9 0 2396937 0 [pid=4977/tid=4979] ppid=4974 vsize=9625040 CPUtime=1764.17 cores=0,2,4,6 /proc/4977/task/4979/stat : 4979 (java) R 4974 4977 1865 0 -1 4202560 3592 0 1 0 176377 40 0 0 20 0 19 0 2481710 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781488889024 139781339041475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4980] ppid=4974 vsize=9625040 CPUtime=3.18 cores=0,2,4,6 /proc/4977/task/4980/stat : 4980 (java) S 4974 4977 1865 0 -1 4202560 1054 0 0 0 273 45 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781461343144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4981] ppid=4974 vsize=9625040 CPUtime=3.48 cores=0,2,4,6 /proc/4977/task/4981/stat : 4981 (java) S 4974 4977 1865 0 -1 4202560 1243 0 0 0 297 51 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781460290600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4982] ppid=4974 vsize=9625040 CPUtime=3.3 cores=0,2,4,6 /proc/4977/task/4982/stat : 4982 (java) S 4974 4977 1865 0 -1 4202560 1318 0 0 0 285 45 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781459237544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4983] ppid=4974 vsize=9625040 CPUtime=3.26 cores=0,2,4,6 /proc/4977/task/4983/stat : 4983 (java) S 4974 4977 1865 0 -1 4202560 869 0 0 0 282 44 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781458185000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4984] ppid=4974 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/4977/task/4984/stat : 4984 (java) S 4974 4977 1865 0 -1 4202560 1085 0 0 0 288 47 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781457131944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4985] ppid=4974 vsize=9625040 CPUtime=3.45 cores=0,2,4,6 /proc/4977/task/4985/stat : 4985 (java) S 4974 4977 1865 0 -1 4202560 1505 0 0 0 291 54 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781327071784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4986] ppid=4974 vsize=9625040 CPUtime=3.26 cores=0,2,4,6 /proc/4977/task/4986/stat : 4986 (java) S 4974 4977 1865 0 -1 4202560 1310 0 0 0 275 51 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781326018728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4987] ppid=4974 vsize=9625040 CPUtime=3.02 cores=0,2,4,6 /proc/4977/task/4987/stat : 4987 (java) S 4974 4977 1865 0 -1 4202560 1001 0 0 0 255 47 0 0 20 0 19 0 2481711 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139781324966184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4988] ppid=4974 vsize=9625040 CPUtime=2.88 cores=0,2,4,6 /proc/4977/task/4988/stat : 4988 (java) S 4974 4977 1865 0 -1 4202560 3482 0 0 0 284 4 0 0 20 0 19 0 2481712 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780842019688 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=4977/tid=4989] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4989/stat : 4989 (java) S 4974 4977 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780840966008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4990] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4990/stat : 4990 (java) S 4974 4977 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2481713 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780839912840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4991] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4991/stat : 4991 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780838861584 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4992] ppid=4974 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/4977/task/4992/stat : 4992 (java) S 4974 4977 1865 0 -1 4202560 6370 0 0 0 78 0 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780837808440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=4977/tid=4993] ppid=4974 vsize=9625040 CPUtime=1.07 cores=0,2,4,6 /proc/4977/task/4993/stat : 4993 (java) S 4974 4977 1865 0 -1 4202560 6823 0 0 0 106 1 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780836755896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4994] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4994/stat : 4994 (java) S 4974 4977 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780835703032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=4977/tid=4995] ppid=4974 vsize=9625040 CPUtime=0.43 cores=0,2,4,6 /proc/4977/task/4995/stat : 4995 (java) S 4974 4977 1865 0 -1 4202560 103 0 0 0 22 21 0 0 20 0 19 0 2481715 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780834650696 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=4977/tid=4996] ppid=4974 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/4977/task/4996/stat : 4996 (java) S 4974 4977 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2481773 9856040960 336789 33554432000 1073741824 1073778376 140735167593232 139780833596968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4977 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=388667 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=642294 # CPU time returned by wait4() is 1796.03 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1778.97 CPU time (s): 1800.08 CPU user time (s): 1795.88 CPU system time (s): 4.2 CPU usage (%): 101.186 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.39 system time used= 4.64229 maximum resident set size= 2957296 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31056 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1696 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42196 involuntary context switches= 23529 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.73252 second user time and 13.184 second system time The end
Begin job on node115 at 2016-06-29 23:08:45 IDJOB=4118740 IDBENCH=111527 IDSOLVER=2546 FILE ID=node115/4118740-1467234525 RUNJOBID= node115-1467210312-1881 PBS_JOBID= 19997598 Free space on /tmp= 71660 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-30.lin.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118740-1467234525/watcher-4118740-1467234525 -o /tmp/evaluation-result-4118740-1467234525/solver-4118740-1467234525 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118740-1467234525.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0e343a90d4a4002cba3fa8b202e2c3d2 RANDOM SEED=1898178468 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28316808 kB Buffers: 87468 kB Cached: 1169060 kB SwapCached: 0 kB Active: 1495152 kB Inactive: 1160568 kB Active(anon): 1401912 kB Inactive(anon): 0 kB Active(file): 93240 kB Inactive(file): 1160568 kB Unevictable: 1181384 kB Mlocked: 1099624 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2056 kB Writeback: 0 kB AnonPages: 2588652 kB Mapped: 22172 kB Shmem: 204 kB Slab: 575848 kB SReclaimable: 20048 kB SUnreclaim: 555800 kB KernelStack: 1576 kB PageTables: 9456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2860008 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1429504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71660 MiB End job on node115 at 2016-06-29 23:38:24