Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | MSAT (TO) | 3600.38 | 3579.18 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo |
| MD5SUM | d8836277a2f272973163abf8780fbedd |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.553185 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 8550 |
| Total number of constraints | 185 |
| Number of soft constraints | 185 |
| Number of constraints which are clauses | 95 |
| Number of constraints which are cardinality constraints (but not clauses) | 90 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 90 |
| Maximum length of a constraint | 95 |
| Top cost | 9532 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 9531 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 96 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.07 c java.runtime.name OpenJDK Runtime Environment 0.00/0.07 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.07 c java.vm.version 22.0.1+8-16 0.00/0.07 c java.vm.vendor Oracle Corporation 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 22.0.1 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.07 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.14/0.12 --- Begin Solver configuration --- 0.14/0.12 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.12 Learn all clauses as in MiniSAT 0.14/0.12 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 No reason simplification 0.14/0.12 Glucose 2.1 dynamic restart strategy 0.14/0.12 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.14/0.12 timeout=2147483s 0.14/0.12 DB Simplification allowed=false 0.14/0.12 Listener: none 0.14/0.12 --- End Solver configuration --- 0.14/0.12 c Pseudo Boolean Optimization by upper bound 0.14/0.12 c --- Begin Solver configuration --- 0.14/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.14/0.12 c Learn all clauses as in MiniSAT 0.14/0.12 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.12 c No reason simplification 0.14/0.12 c Glucose 2.1 dynamic restart strategy 0.14/0.12 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.14/0.12 c timeout=2147483s 0.14/0.12 c DB Simplification allowed=false 0.14/0.12 c Listener: none 0.14/0.12 c --- End Solver configuration --- 0.14/0.12 c solving HOME/instance-4425073-1720878982.wbo 0.14/0.12 c reading problem ... 0.14/0.20 c ... done. Wall clock time 0.077s. 0.14/0.20 c declared #vars 8550 0.14/0.20 c internal #vars 8735 0.14/0.20 c #constraints 186 0.14/0.20 c constraints type 0.14/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 90 0.14/0.20 c org.sat4j.specs.Constr$1 => 1 0.14/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 95 0.14/0.20 c 186 constraints processed. 0.14/0.21 c objective function length is 185 literals 1.99/1.36 c cleaning 2499 clauses out of 5004 with flag 39236/5004 3.97/3.03 c cleaning 4245 clauses out of 8502 with flag 86936/11001 7.03/6.09 c cleaning 5619 clauses out of 11256 with flag 140614/18000 11.65/10.54 c cleaning 6810 clauses out of 13638 with flag 208523/26001 16.62/15.43 c cleaning 7908 clauses out of 15830 with flag 278238/35003 22.72/21.34 c cleaning 8954 clauses out of 17920 with flag 356123/45001 32.22/30.83 c cleaning 9976 clauses out of 19965 with flag 443494/56000 39.07/37.65 c SATISFIABLE 39.07/37.65 c OPTIMIZING... 39.07/37.65 c Got one! Elapsed wall clock time (in seconds):37.534 39.07/37.66 o 154 39.18/37.75 c Got one! Elapsed wall clock time (in seconds):37.635 39.18/37.75 o 103 45.94/44.38 c cleaning 13089 clauses out of 26188 with flag 39400/72199 50.43/48.75 c cleaning 9538 clauses out of 19100 with flag 85930/78200 54.24/52.22 c cleaning 8277 clauses out of 16567 with flag 136555/85205 57.81/55.77 c cleaning 8133 clauses out of 16284 with flag 197888/93199 62.69/60.54 c cleaning 8570 clauses out of 17157 with flag 259122/102205 67.75/65.24 c cleaning 9280 clauses out of 18582 with flag 338495/112200 73.66/71.08 c cleaning 10144 clauses out of 20302 with flag 426531/123200 82.26/79.58 c cleaning 11071 clauses out of 22160 with flag 515610/135202 93.13/90.26 c cleaning 12031 clauses out of 24088 with flag 625683/148201 104.61/101.68 c cleaning 13016 clauses out of 26055 with flag 742720/162199 118.03/115.05 c cleaning 14008 clauses out of 28039 with flag 885529/177199 130.70/127.55 c cleaning 14998 clauses out of 30031 with flag 1023198/193199 144.07/140.79 c cleaning 15984 clauses out of 32034 with flag 1197883/210200 164.85/161.03 c cleaning 17018 clauses out of 34050 with flag 1377130/228200 182.07/178.16 c Got one! Elapsed wall clock time (in seconds):178.044 182.07/178.16 o 67 182.17/178.29 c Got one! Elapsed wall clock time (in seconds):178.168 182.17/178.29 o 27 189.00/184.96 c cleaning 19416 clauses out of 38851 with flag 55286/250019 194.44/190.27 c cleaning 12705 clauses out of 25434 with flag 120653/256018 199.53/195.38 c cleaning 9848 clauses out of 19728 with flag 194817/263017 204.79/200.52 c cleaning 8927 clauses out of 17880 with flag 260562/271017 208.98/204.72 c cleaning 8944 clauses out of 17954 with flag 348322/280018 215.53/211.28 c cleaning 9484 clauses out of 19010 with flag 441665/290018 222.42/218.14 c cleaning 10254 clauses out of 20529 with flag 548176/301021 229.90/225.57 c cleaning 11120 clauses out of 22271 with flag 677013/313017 238.66/234.27 c cleaning 12061 clauses out of 24152 with flag 816819/326018 247.71/243.13 c cleaning 13040 clauses out of 26090 with flag 939566/340017 255.58/250.83 c cleaning 14017 clauses out of 28051 with flag 1069909/355018 265.80/260.49 c cleaning 15007 clauses out of 30034 with flag 1197514/371018 277.33/271.91 c cleaning 16002 clauses out of 32032 with flag 1338610/388023 290.01/284.55 c cleaning 16998 clauses out of 34025 with flag 1482200/406018 305.24/299.70 c cleaning 18005 clauses out of 36026 with flag 1649194/425017 324.33/318.78 c cleaning 19004 clauses out of 38024 with flag 1824564/445020 342.79/336.96 c cleaning 19991 clauses out of 40017 with flag 2006683/466017 362.78/356.80 c cleaning 20997 clauses out of 42026 with flag 2208371/488017 382.80/376.73 c cleaning 22005 clauses out of 44030 with flag 2399614/511018 384.58/378.54 c Got one! Elapsed wall clock time (in seconds):378.422 384.58/378.55 o 23 384.74/378.67 c Got one! Elapsed wall clock time (in seconds):378.551 384.74/378.67 o 11 386.40/380.28 c cleaning 13716 clauses out of 27443 with flag 19391/516436 389.99/383.73 c cleaning 9830 clauses out of 19725 with flag 81611/522434 392.87/386.60 c cleaning 8440 clauses out of 16898 with flag 160033/529437 396.43/389.95 c cleaning 8207 clauses out of 16461 with flag 248031/537440 399.63/393.12 c cleaning 8615 clauses out of 17248 with flag 346315/546434 404.29/397.74 c cleaning 9297 clauses out of 18633 with flag 469936/556434 409.28/402.76 c cleaning 10159 clauses out of 20337 with flag 589822/567435 416.76/410.17 c cleaning 11081 clauses out of 22178 with flag 681256/579435 425.23/418.69 c cleaning 12038 clauses out of 24096 with flag 781138/592434 434.72/428.05 c cleaning 13022 clauses out of 26059 with flag 876430/606435 445.62/439.04 c cleaning 14013 clauses out of 28039 with flag 982988/621437 460.47/453.81 c cleaning 15006 clauses out of 30029 with flag 1120129/637440 475.53/468.99 c cleaning 16000 clauses out of 32017 with flag 1280414/654434 492.40/485.60 c cleaning 16999 clauses out of 34018 with flag 1442540/672435 511.95/505.22 c cleaning 17998 clauses out of 36019 with flag 1611623/691435 531.04/524.28 c cleaning 19001 clauses out of 38020 with flag 1801698/711434 555.49/548.49 c cleaning 20004 clauses out of 40021 with flag 1994650/732436 579.40/572.21 c cleaning 20995 clauses out of 42015 with flag 2207691/754434 608.38/600.94 c cleaning 22002 clauses out of 44022 with flag 2420252/777436 645.63/638.25 c cleaning 23000 clauses out of 46019 with flag 2621618/801435 678.14/670.68 c cleaning 23994 clauses out of 48021 with flag 2856997/826437 711.60/704.04 c cleaning 25001 clauses out of 50026 with flag 3090063/852436 748.92/740.58 c cleaning 25997 clauses out of 52023 with flag 3358037/879434 782.80/774.35 c cleaning 27004 clauses out of 54028 with flag 3637768/907436 829.11/820.59 c cleaning 28005 clauses out of 56027 with flag 3898659/936439 871.59/862.93 c cleaning 28996 clauses out of 58017 with flag 4168487/966434 922.49/913.80 c Got one! Elapsed wall clock time (in seconds):913.676 922.59/913.80 o 4 922.79/914.07 c Got one! Elapsed wall clock time (in seconds):913.949 922.79/914.07 o 2 923.69/914.99 c cleaning 31443 clauses out of 62914 with flag 29184/1000327 924.90/916.12 c cleaning 18722 clauses out of 37470 with flag 72256/1006326 927.10/918.21 c cleaning 12858 clauses out of 25748 with flag 125728/1013326 929.59/920.75 c cleaning 10422 clauses out of 20891 with flag 193163/1021327 933.46/924.42 c cleaning 9708 clauses out of 19468 with flag 267196/1030326 937.23/928.00 c cleaning 9855 clauses out of 19762 with flag 360635/1040328 942.31/933.10 c cleaning 10428 clauses out of 20907 with flag 474786/1051328 947.37/938.02 c cleaning 11216 clauses out of 22478 with flag 593311/1063327 953.71/944.27 c cleaning 12107 clauses out of 24263 with flag 729654/1076328 961.06/951.44 c cleaning 13054 clauses out of 26154 with flag 877510/1090326 969.71/959.90 c cleaning 14021 clauses out of 28100 with flag 1025002/1105326 978.73/968.39 c cleaning 15014 clauses out of 30079 with flag 1176644/1121326 990.42/979.93 c cleaning 16007 clauses out of 32065 with flag 1343714/1138326 1003.13/992.50 c cleaning 17005 clauses out of 34061 with flag 1515824/1156329 1014.32/1003.68 c cleaning 17999 clauses out of 36054 with flag 1691512/1175327 1026.48/1015.54 c cleaning 19007 clauses out of 38057 with flag 1878993/1195329 1039.66/1028.62 c cleaning 19998 clauses out of 40047 with flag 2067220/1216326 1054.21/1043.14 c cleaning 20999 clauses out of 42050 with flag 2269604/1238327 1070.71/1059.42 c cleaning 22005 clauses out of 44052 with flag 2485536/1261328 1089.06/1077.71 c cleaning 23001 clauses out of 46045 with flag 2718593/1285326 1108.02/1096.41 c cleaning 23995 clauses out of 48044 with flag 2959154/1310326 1127.42/1115.85 c cleaning 25002 clauses out of 50049 with flag 3227322/1336326 1151.03/1139.33 c cleaning 25996 clauses out of 52048 with flag 3492421/1363327 1174.98/1163.37 c cleaning 27002 clauses out of 54051 with flag 3786785/1391326 1202.58/1190.07 c cleaning 27994 clauses out of 56049 with flag 4088755/1420326 1226.49/1213.85 c cleaning 29005 clauses out of 58057 with flag 4405945/1450328 1255.38/1242.44 c cleaning 29999 clauses out of 60050 with flag 4720848/1481326 1285.32/1272.10 c cleaning 31001 clauses out of 62052 with flag 5032570/1513327 1315.46/1301.81 c cleaning 31992 clauses out of 64050 with flag 5350356/1546326 1352.30/1338.53 c cleaning 33004 clauses out of 66058 with flag 5670919/1580326 1397.36/1383.45 c cleaning 34003 clauses out of 68054 with flag 6019218/1615326 1434.15/1420.12 c cleaning 35002 clauses out of 70052 with flag 6395419/1651327 1476.65/1462.44 c cleaning 36003 clauses out of 72051 with flag 6775050/1688328 1522.37/1507.88 c cleaning 36995 clauses out of 74046 with flag 7178631/1726326 1575.85/1561.03 c cleaning 38000 clauses out of 76054 with flag 7552608/1765329 1617.82/1601.60 c cleaning 38999 clauses out of 78051 with flag 7951745/1805326 1655.88/1639.36 c cleaning 39996 clauses out of 80055 with flag 8384227/1846329 1696.92/1679.90 c cleaning 41004 clauses out of 82058 with flag 8832013/1888328 1746.64/1729.45 c cleaning 42001 clauses out of 84052 with flag 9294417/1931326 1802.68/1785.39 c cleaning 43002 clauses out of 86054 with flag 9740744/1975329 1863.05/1845.74 c cleaning 43999 clauses out of 88050 with flag 10178443/2020327 1922.27/1904.99 c cleaning 45000 clauses out of 90052 with flag 10619722/2066328 1990.75/1973.39 c cleaning 46003 clauses out of 92052 with flag 11066738/2113328 2053.23/2035.86 c cleaning 46998 clauses out of 94047 with flag 11548853/2161326 2119.10/2101.74 c cleaning 47997 clauses out of 96049 with flag 12013472/2210326 2186.34/2168.81 c cleaning 49002 clauses out of 98054 with flag 12504384/2260328 2248.52/2230.75 c cleaning 49997 clauses out of 100051 with flag 12975904/2311327 2316.52/2297.29 c cleaning 51001 clauses out of 102053 with flag 13452727/2363326 2381.02/2361.59 c cleaning 52003 clauses out of 104052 with flag 13987410/2416326 2467.37/2447.68 c cleaning 52999 clauses out of 106052 with flag 14529823/2470329 2569.38/2549.22 c cleaning 54006 clauses out of 108052 with flag 15120779/2525328 2667.64/2646.92 c cleaning 54996 clauses out of 110045 with flag 15714014/2581327 2768.48/2747.93 c cleaning 55998 clauses out of 112048 with flag 16274693/2638326 2863.89/2843.41 c cleaning 57001 clauses out of 114051 with flag 16860908/2696327 2964.59/2944.22 c cleaning 57997 clauses out of 116050 with flag 17479576/2755327 3054.00/3033.57 c cleaning 59001 clauses out of 118054 with flag 18066339/2815328 3174.30/3154.21 c cleaning 59999 clauses out of 120052 with flag 18707596/2876327 3279.94/3259.59 c cleaning 60995 clauses out of 122052 with flag 19329644/2938326 3407.42/3386.61 c cleaning 62003 clauses out of 124059 with flag 19935157/3001328 3535.47/3514.91 c cleaning 63001 clauses out of 126056 with flag 20572298/3065328 3600.05/3579.02 c starts : 34 3600.05/3579.03 c conflicts : 3106764 3600.05/3579.03 c decisions : 3670417 3600.05/3579.03 c propagations : 56405695 3600.05/3579.03 c inspects : 12587877627 3600.05/3579.03 c shortcuts : 0 3600.05/3579.03 c learnt literals : 0 3600.05/3579.03 c learnt binary clauses : 0 3600.05/3579.03 c learnt ternary clauses : 0 3600.05/3579.03 c learnt constraints : 3106764 3600.05/3579.03 c ignored constraints : 0 3600.05/3579.03 c root simplifications : 0 3600.05/3579.03 c removed literals (reason simplification) : 0 3600.05/3579.03 c reason swapping (by a shorter reason) : 0 3600.05/3579.03 c Calls to reduceDB : 126 3600.05/3579.03 c Number of update (reduction) of LBD : 1549260 3600.05/3579.03 c Imported unit clauses : 0 3600.05/3579.03 c No decision after first conflict : false 3600.05/3579.03 c number of reductions to clauses (during analyze) : 0 3600.05/3579.03 c number of learned constraints concerned by reduction : 0 3600.05/3579.03 c number of learning phase by resolution : 0 3600.05/3579.03 c number of learning phase by cutting planes : 0 3600.05/3579.03 c number of rounding to 1 operations : 0 3600.05/3579.03 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3579.03 c number of reductions of the coefficients by power 2 : 0 3600.05/3579.03 c number of right shift for reduction by power 2 : 0 3600.05/3579.03 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3579.03 c number of ending skipping : 0 3600.05/3579.03 c number of internal skipping : 0 3600.05/3579.03 c number of derivation steps : 0 3600.05/3579.03 c number of skipped derivation steps : 0 3600.05/3579.03 c number of remaining unassigned : 0 3600.05/3579.03 c number of remaining assigned : 0 3600.05/3579.03 c number of falsified literals weakened from reason : 0 3600.05/3579.03 c number of falsified literals weakened from conflict : 0 3600.05/3579.03 c time for arithmetic operations : 0 3600.05/3579.05 c minimum degree of deleted constraints : null 3600.05/3579.05 c maximum degree of deleted constraints : null 3600.05/3579.05 c number of deleted constraints : 0 3600.05/3579.06 c speed (assignments/second) : 15760.949261014646 3600.05/3579.06 c non guided choices : 92189 3600.25/3579.12 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 104491 3600.25/3579.12 s SATISFIABLE 3600.25/3579.12 c Found 8 solution(s) 3600.25/3579.12 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 3600.25/3579.14 c objective function=2 3600.25/3579.14 c Total wall clock time (in seconds): 3579.025
OK 2
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (60979 MiB free)
memory of node 1: 64473 MiB (60366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425073-1720878982/watcher-4425073-1720878982 -o /tmp/evaluation-result-4425073-1720878982/solver-4425073-1720878982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720878868-715592 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425073-1720878982.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=716189, runsolver pid=716186
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 3.74 2.19 2.26 7/333 716207
/proc/meminfo: memFree=124216684/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=18975048 memory=63372 CPUtime=0.14 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 7221 0 0 0 12 2 0 0 20 0 18 0 140066355 19430449152 15843 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4743762 15843 5681 1 0 549345 0
[pid=716189/tid=716191] ppid=716186 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 1077936192 5744 0 0 0 7 1 0 0 20 0 18 0 140066355 19430449152 15843 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140066358 19430449152 15843 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140066358 19430449152 15843 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63372 KiB
[startup+0.21394 s]*
/proc/loadavg: 3.74 2.19 2.26 8/333 716207
/proc/meminfo: memFree=124181328/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=18975048 memory=82800 CPUtime=0.35 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 8887 0 0 0 32 3 0 0 20 0 18 0 140066355 19430449152 20700 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4743762 20700 5829 1 0 550412 0
[pid=716189/tid=716191] ppid=716186 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 1077936192 5985 0 0 0 18 1 0 0 20 0 18 0 140066355 19430449152 20700 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=18975048 memory=17016 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140066358 19430449152 20700 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=18975048 memory=14971170189477532 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140066358 19430449152 20700 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82800 KiB
[startup+0.305961 s]*
/proc/loadavg: 3.74 2.19 2.26 8/334 716208
/proc/meminfo: memFree=124133528/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19041612 memory=86820 CPUtime=0.53 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 9450 0 0 0 50 3 0 0 20 0 19 0 140066355 19498610688 21705 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4760403 21705 5845 1 0 551090 0
[pid=716189/tid=716191] ppid=716186 vsize=19041612 memory=-8743010140251660988 CPUtime=0.27 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 6012 0 0 0 26 1 0 0 20 0 19 0 140066355 19498610688 21705 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140066358 19498610688 21705 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140066358 19498610688 21705 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140066378 19498610688 21705 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86820 KiB
[startup+0.704963 s]
/proc/loadavg: 3.74 2.19 2.26 7/334 716208
/proc/meminfo: memFree=124116900/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19041612 memory=123856 CPUtime=1.3 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 10800 0 0 0 126 4 0 0 20 0 19 0 140066355 19498610688 30964 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4760403 30964 5877 1 0 552017 0
[pid=716189/tid=716191] ppid=716186 vsize=19041612 memory=13116 CPUtime=0.64 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 6032 0 0 0 62 2 0 0 20 0 19 0 140066355 19498610688 30964 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19041612 memory=13116 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140066358 19498610688 30964 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19041612 memory=281172584494080 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140066358 19498610688 30964 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19041612 memory=1900 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140066378 19498610688 30964 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123856 KiB
[startup+1.50096 s]
/proc/loadavg: 3.74 2.19 2.26 5/334 716208
/proc/meminfo: memFree=124067440/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=247248 CPUtime=2.29 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 15945 0 0 0 223 6 0 0 20 0 20 0 140066355 19566772224 61812 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 61812 5909 1 0 552706 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=13116 CPUtime=1.37 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 6934 0 0 0 134 3 0 0 20 0 20 0 140066355 19566772224 61812 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 61812 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 61812 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 61812 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 247248 KiB
[startup+3.10596 s]
/proc/loadavg: 3.76 2.22 2.27 5/335 716209
/proc/meminfo: memFree=123894768/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=325560 CPUtime=4.08 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 17343 0 0 0 400 8 0 0 20 0 20 0 140066355 19566772224 81390 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 81390 5925 1 0 552714 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=0 CPUtime=2.88 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 7258 0 0 0 285 3 0 0 20 0 20 0 140066355 19566772224 81390 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 81390 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=247248 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 81390 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 81390 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 325560 KiB
[startup+6.30098 s]
/proc/loadavg: 3.76 2.22 2.27 5/335 716209
/proc/meminfo: memFree=123815024/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=400916 CPUtime=7.33 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 17620 0 0 0 723 10 0 0 20 0 20 0 140066355 19566772224 100229 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 100229 5925 1 0 552714 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=13116 CPUtime=5.96 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 7471 0 0 0 593 3 0 0 20 0 20 0 140066355 19566772224 100229 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 100229 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=6443638886377215830 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 100229 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=5464 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 100229 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 400916 KiB
[startup+12.701 s]
/proc/loadavg: 3.79 2.28 2.29 5/334 716210
/proc/meminfo: memFree=123532028/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=818436 CPUtime=13.94 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 20502 0 0 0 1376 18 0 0 20 0 20 0 140066355 19566772224 204609 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 204609 5941 1 0 746982 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=0 CPUtime=12.05 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 8233 0 0 0 1200 5 0 0 20 0 20 0 140066355 19566772224 204609 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=658672 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 204609 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 204609 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=1912 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 204609 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 13.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 818436 KiB
[startup+25.501 s]
/proc/loadavg: 3.91 2.35 2.32 5/334 716212
/proc/meminfo: memFree=123039288/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=1174852 CPUtime=26.96 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 26316 0 0 0 2671 25 0 0 20 0 20 0 140066355 19566772224 293713 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 293713 5941 1 0 880755 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=658672 CPUtime=24.39 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 9392 0 0 0 2433 6 0 0 20 0 20 0 140066355 19566772224 293713 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=1912 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 293713 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=943620 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 293713 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 293713 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 26.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1174852 KiB
[startup+51.1057 s]
/proc/loadavg: 3.94 2.49 2.36 6/334 716217
/proc/meminfo: memFree=121986748/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=1750268 CPUtime=53.04 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 39649 0 0 0 5266 38 0 0 20 0 20 0 140066355 19566772224 437567 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 437567 5945 1 0 882288 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=1623700 CPUtime=49.47 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 12666 0 0 0 4939 8 0 0 20 0 20 0 140066355 19566772224 437567 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=1742572 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.24 4.17 4.10 5/334 717609
/proc/meminfo: memFree=87288304/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=10037540 CPUtime=3242.36 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 227415 0 0 0 323883 353 0 0 20 0 20 0 140066355 19566772224 2509385 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 2509385 5945 1 0 3289353 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=10037540 CPUtime=3170.76 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 68465 0 0 0 317011 65 0 0 20 0 20 0 140066355 19566772224 2509385 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=1900 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 2509385 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=10037540 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 1005 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 2509385 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=10037540 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 2509385 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 3242.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10037540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/334 717621
/proc/meminfo: memFree=86037812/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=10598692 CPUtime=3302.67 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 228354 0 0 0 329900 367 0 0 20 0 20 0 140066355 19566772224 2649673 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 2649673 5945 1 0 3289353 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=10598692 CPUtime=3230.04 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 69103 0 0 0 322939 65 0 0 20 0 20 0 140066355 19566772224 2649673 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=10598692 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 2649673 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=10598692 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 1005 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 2649673 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 2649673 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 3302.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10598692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/334 717631
/proc/meminfo: memFree=84435692/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=10993960 CPUtime=3362.84 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 229233 0 0 0 335907 377 0 0 20 0 20 0 140066355 19566772224 2748490 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 2748490 5945 1 0 3289353 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=35372 CPUtime=3289.46 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 69778 0 0 0 328881 65 0 0 20 0 20 0 140066355 19566772224 2748490 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=13116 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 2748490 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 1005 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 2748490 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 2748490 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 3362.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10993960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/334 717641
/proc/meminfo: memFree=83767968/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=11553064 CPUtime=3422.97 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 230885 0 0 0 341905 392 0 0 20 0 20 0 140066355 19566772224 2888266 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 2888266 5945 1 0 3289353 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=35372 CPUtime=3348.56 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 71027 0 0 0 334791 65 0 0 20 0 20 0 140066355 19566772224 2888266 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=5004 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 2888266 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 1005 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 2888266 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=2212 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 2888266 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 3422.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11553064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.20 4.11 5/335 717792
/proc/meminfo: memFree=108530992/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=12009768 CPUtime=3483.01 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 234599 0 0 0 347898 403 0 0 20 0 20 0 140066355 19566772224 3002442 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 3002442 5945 1 0 3289353 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=12009768 CPUtime=3407.74 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 72154 0 0 0 340708 66 0 0 20 0 20 0 140066355 19566772224 3002442 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=35372 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 3002442 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=12009768 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 1098 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 3002442 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=11376 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 3002442 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 3483.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12009768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.20 4.12 5/336 718253
/proc/meminfo: memFree=116024356/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=12134696 CPUtime=3543.01 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 235678 0 0 0 353893 408 0 0 20 0 20 0 140066355 19566772224 3033674 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 3033674 5945 1 0 3289353 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=12009768 CPUtime=3467.4 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 73070 0 0 0 346674 66 0 0 20 0 20 0 140066355 19566772224 3033674 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=12009768 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 3033674 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=12134696 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 1099 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 3033674 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=1848 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 3033674 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 3543.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12134696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3579 s]*
/proc/loadavg: 4.20 4.20 4.12 5/334 718264
/proc/meminfo: memFree=115388004/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19108176 memory=12695864 CPUtime=3600.05 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 236804 0 0 0 359583 422 0 0 20 0 20 0 140066355 19566772224 3173966 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4777044 3173966 5945 1 0 3289353 0
[pid=716189/tid=716191] ppid=716186 vsize=19108176 memory=12695864 CPUtime=3523.42 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 73908 0 0 0 352275 67 0 0 20 0 20 0 140066355 19566772224 3173966 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19108176 memory=-7162263439906791806 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 3173966 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19108176 memory=16871 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 1099 0 0 0 0 0 0 0 20 0 20 0 140066358 19566772224 3173966 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716208] ppid=716186 vsize=19108176 memory=4259 CPUtime=0 cores=0,2
/proc/716189/task/716208/stat : 716208 (Timer-0) S 716186 716189 712764 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140066378 19566772224 3173966 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12695864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3579.18 s]
# the end of solver process 716189 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.11 s, system=4.25995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3579.11 s]
/proc/loadavg: 4.20 4.20 4.12 5/334 718264
/proc/meminfo: memFree=115388004/131524600 swapFree=131071996/131071996
[pid=716189] ppid=716186 vsize=19307868 memory=12696648 CPUtime=3600.25 cores=0,2
/proc/716189/stat : 716189 (java) S 716186 716189 712764 0 -1 1077936128 239366 0 0 0 359603 422 0 0 20 0 21 0 140066355 19771256832 3174162 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
/proc/716189/statm: 4826967 3174162 5944 1 0 3290284 0
[pid=716189/tid=716191] ppid=716186 vsize=19307868 memory=11376 CPUtime=3523.53 cores=0,2
/proc/716189/task/716191/stat : 716191 (java) R 716186 716189 712764 0 -1 4194368 74024 0 0 0 352286 67 0 0 20 0 21 0 140066355 19771256832 3174162 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716200] ppid=716186 vsize=19307868 memory=1848 CPUtime=0 cores=0,2
/proc/716189/task/716200/stat : 716200 (Finalizer) S 716186 716189 712764 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 140066358 19771256832 3174162 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
[pid=716189/tid=716207] ppid=716186 vsize=19307868 memory=12695864 CPUtime=0 cores=0,2
/proc/716189/task/716207/stat : 716207 (Common-Cleaner) S 716186 716189 712764 0 -1 1077936192 1099 0 0 0 0 0 0 0 20 0 21 0 140066358 19771256832 3174162 134679101440 94656814575616 94656814579312 140732925135968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94656814587128 94656814587920 94656833658880 140732925141997 140732925142087 140732925142087 140732925149128 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 12696648 KiB
Child status: 143
Real time (s): 3579.18
CPU time (s): 3600.38
CPU user time (s): 3596.11
CPU system time (s): 4.25995
CPU usage (%): 100.592
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 12696648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.12
system time used= 4.25995
maximum resident set size= 12697564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112694
involuntary context switches= 34038
# summary of solver processes directly reported to runsolver:
# pid: 716189
# total CPU time (s): 3600.38
# total CPU user time (s): 3596.11
# total CPU system time (s): 4.25995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34993 second user time and 17.6498 second system time
The end
Begin job on nodeC030 at 2024-07-13 15:56:36 IDJOB=4425073 IDBENCH=143152 IDSOLVER=3037 FILE ID=nodeC030/4425073-1720878982 RUNJOBID= nodeC030-1720878868-715592 SLURM_JOB_ID= 7483771 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425073-1720878982/watcher-4425073-1720878982 -o /tmp/evaluation-result-4425073-1720878982/solver-4425073-1720878982 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1720878868-715592 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4425073-1720878982.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d8836277a2f272973163abf8780fbedd RANDOM SEED=872891460 nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3642.548 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.882 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3641.459 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.944 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.766 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3687.227 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.863 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.687 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124258684 kB MemAvailable: 124386724 kB Buffers: 316988 kB Cached: 654832 kB SwapCached: 0 kB Active: 474908 kB Inactive: 6214460 kB Active(anon): 1548 kB Inactive(anon): 5753424 kB Active(file): 473360 kB Inactive(file): 461036 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 912 kB Writeback: 24 kB AnonPages: 5716596 kB Mapped: 122080 kB Shmem: 37720 kB KReclaimable: 66932 kB Slab: 166136 kB SReclaimable: 66932 kB SUnreclaim: 99204 kB KernelStack: 5112 kB PageTables: 21224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 8633844 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55904 kB HardwareCorrupted: 0 kB AnonHugePages: 5535744 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201428 kB DirectMap2M: 7960576 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890056 MiB End job on nodeC030 at 2024-07-13 16:56:15