Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 38 | 1800.06 | 1778.46 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb |
| MD5SUM | eacfeaf84791543db8ee3be1e77f11f6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 35 |
| Best CPU time to get the best result obtained on this benchmark | 5.32719 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| Optimality of the best value was proved | YES |
| Number of variables | 8959 |
| Total number of constraints | 323 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 323 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 510 |
| Number of terms in the objective function | 8959 |
| Biggest coefficient in the objective function | 1746 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 531501 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 531501 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4099989-1466209691.opb 0.08/0.12 c reading problem ... 0.08/0.13 c objective function found 0.77/0.43 c ... done. Wall clock time 0.305s. 0.77/0.43 c declared #vars 8959 0.77/0.43 c #constraints 357 0.77/0.43 c constraints type 0.77/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 32 0.77/0.43 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 325 0.77/0.43 c 357 constraints processed. 0.77/0.43 c objective function length is 8959 literals 1.01/0.57 c SATISFIABLE 1.01/0.57 c OPTIMIZING... 1.01/0.57 c Got one! Elapsed wall clock time (in seconds):0.446 1.01/0.57 o 42 1.29/0.66 c Got one! Elapsed wall clock time (in seconds):0.535 1.29/0.66 o 40 1.59/0.70 c Got one! Elapsed wall clock time (in seconds):0.58 1.59/0.70 o 38 2.95/1.52 c cleaning 2541 clauses out of 5098 with flag 26261/5098 3.72/2.30 c cleaning 4272 clauses out of 8557 with flag 56034/11098 4.71/3.24 c cleaning 5642 clauses out of 11286 with flag 93659/18099 5.83/4.34 c cleaning 6817 clauses out of 13643 with flag 142126/26098 7.24/5.71 c cleaning 7898 clauses out of 15826 with flag 203598/35098 8.74/7.24 c cleaning 8909 clauses out of 17928 with flag 272604/45098 10.34/8.86 c cleaning 9886 clauses out of 20019 with flag 365990/56098 12.14/10.67 c cleaning 11046 clauses out of 22133 with flag 469574/68098 14.15/12.63 c cleaning 11983 clauses out of 24088 with flag 576455/81099 16.35/14.83 c cleaning 13006 clauses out of 26104 with flag 698553/95098 18.65/17.13 c cleaning 14042 clauses out of 28098 with flag 814623/110098 21.05/19.59 c cleaning 14966 clauses out of 30056 with flag 945053/126098 23.95/22.48 c cleaning 16045 clauses out of 32090 with flag 1124067/143098 26.86/25.40 c cleaning 16995 clauses out of 34046 with flag 1277405/161099 29.88/28.38 c cleaning 17961 clauses out of 36050 with flag 1446737/180098 32.88/31.34 c cleaning 18986 clauses out of 38089 with flag 1620375/200098 35.88/34.36 c cleaning 20040 clauses out of 40105 with flag 1804388/221100 39.08/37.53 c cleaning 21023 clauses out of 42063 with flag 1986692/243098 42.11/40.57 c cleaning 22018 clauses out of 44040 with flag 2143450/266098 45.41/43.80 c cleaning 23009 clauses out of 46022 with flag 2308397/290098 48.92/47.30 c cleaning 24005 clauses out of 48013 with flag 2485587/315098 52.58/50.93 c cleaning 24995 clauses out of 50008 with flag 2665351/341098 56.48/54.84 c cleaning 26003 clauses out of 52015 with flag 2851545/368100 60.58/58.99 c cleaning 26943 clauses out of 54010 with flag 3091229/396098 64.92/63.19 c cleaning 27945 clauses out of 56067 with flag 3356156/425098 69.32/67.52 c cleaning 28999 clauses out of 58123 with flag 3588089/455099 73.64/71.79 c cleaning 29973 clauses out of 60123 with flag 3818510/486098 78.64/76.74 c cleaning 30985 clauses out of 62150 with flag 4087590/518098 83.74/81.87 c cleaning 31969 clauses out of 64165 with flag 4374138/551098 89.34/87.31 c cleaning 33072 clauses out of 66196 with flag 4653796/585098 94.24/92.24 c cleaning 34002 clauses out of 68124 with flag 4949436/620098 99.39/97.23 c cleaning 35044 clauses out of 70122 with flag 5193911/656098 104.72/102.44 c cleaning 35984 clauses out of 72078 with flag 5449303/693098 111.22/108.95 c cleaning 37026 clauses out of 74094 with flag 5784409/731098 117.94/115.53 c cleaning 38034 clauses out of 76068 with flag 6149211/770098 125.04/122.57 c cleaning 38871 clauses out of 78034 with flag 6508390/810098 132.04/129.54 c cleaning 40041 clauses out of 80163 with flag 6889813/851098 139.60/137.09 c cleaning 41036 clauses out of 82122 with flag 7316420/893098 147.40/144.88 c cleaning 41992 clauses out of 84086 with flag 7698497/936098 155.37/152.73 c cleaning 43036 clauses out of 86095 with flag 8076039/980099 163.17/160.57 c cleaning 44029 clauses out of 88058 with flag 8461932/1025098 171.15/168.47 c cleaning 44985 clauses out of 90029 with flag 8835865/1071098 178.95/176.15 c cleaning 45985 clauses out of 92044 with flag 9237041/1118098 187.24/184.46 c cleaning 47008 clauses out of 94059 with flag 9672193/1166098 197.05/194.11 c cleaning 47943 clauses out of 96052 with flag 10130014/1215099 205.79/202.82 c cleaning 48897 clauses out of 98108 with flag 10544835/1265098 214.48/211.41 c cleaning 50074 clauses out of 100211 with flag 10977067/1316098 223.46/220.31 c cleaning 50991 clauses out of 102137 with flag 11407586/1368098 232.65/229.42 c cleaning 52001 clauses out of 104146 with flag 11854361/1421098 241.92/238.65 c cleaning 52968 clauses out of 106147 with flag 12311413/1475100 250.18/246.80 c cleaning 54070 clauses out of 108177 with flag 12713727/1530098 258.44/255.02 c cleaning 55039 clauses out of 110108 with flag 13147995/1586099 266.60/263.11 c cleaning 56007 clauses out of 112068 with flag 13554379/1643098 275.08/271.48 c cleaning 57019 clauses out of 114061 with flag 13919263/1701098 283.95/280.25 c cleaning 57968 clauses out of 116042 with flag 14336567/1760098 293.73/289.98 c cleaning 59032 clauses out of 118074 with flag 14800965/1820098 303.59/299.72 c cleaning 59933 clauses out of 120043 with flag 15318052/1881099 313.92/309.92 c cleaning 61014 clauses out of 122109 with flag 15890175/1943098 324.27/320.25 c cleaning 62021 clauses out of 124095 with flag 16443008/2006098 334.48/330.38 c cleaning 62986 clauses out of 126074 with flag 16967726/2070098 344.32/340.09 c cleaning 64039 clauses out of 128088 with flag 17451400/2135098 354.08/349.60 c cleaning 65002 clauses out of 130049 with flag 17908401/2201098 364.78/360.22 c cleaning 65939 clauses out of 132047 with flag 18448575/2268098 375.23/370.52 c cleaning 66971 clauses out of 134108 with flag 18956079/2336098 386.38/381.50 c cleaning 68057 clauses out of 136138 with flag 19517991/2405099 397.37/392.50 c cleaning 68932 clauses out of 138080 with flag 20104173/2475098 409.38/404.28 c cleaning 70016 clauses out of 140148 with flag 20702152/2546098 421.76/416.56 c cleaning 71006 clauses out of 142133 with flag 21320933/2618099 434.64/429.24 c cleaning 72064 clauses out of 144127 with flag 21957185/2691099 448.30/442.79 c cleaning 72981 clauses out of 146062 with flag 22619215/2765098 462.56/456.86 c cleaning 73979 clauses out of 148082 with flag 23272444/2840099 475.58/469.77 c cleaning 75023 clauses out of 150102 with flag 23889871/2916098 488.50/482.59 c cleaning 76006 clauses out of 152079 with flag 24528567/2993098 504.38/498.32 c cleaning 76995 clauses out of 154073 with flag 25207052/3071098 521.02/514.81 c cleaning 77996 clauses out of 156078 with flag 26000195/3150098 537.25/530.91 c cleaning 78879 clauses out of 158082 with flag 26770350/3230098 552.90/546.41 c cleaning 80035 clauses out of 160203 with flag 27518367/3311098 569.71/563.17 c cleaning 81081 clauses out of 162169 with flag 28305899/3393099 586.53/579.79 c cleaning 81858 clauses out of 164087 with flag 29031739/3476098 605.16/598.26 c cleaning 82950 clauses out of 166229 with flag 29911609/3560098 621.59/614.59 c cleaning 84008 clauses out of 168279 with flag 30674687/3645098 640.10/632.99 c cleaning 85084 clauses out of 170271 with flag 31583179/3731098 658.12/650.89 c cleaning 86009 clauses out of 172187 with flag 32435389/3818098 676.26/668.89 c cleaning 86958 clauses out of 174178 with flag 33329291/3906098 694.83/687.21 c cleaning 87999 clauses out of 176220 with flag 34230003/3995098 713.90/706.12 c cleaning 89097 clauses out of 178221 with flag 35114087/4085098 729.58/721.66 c cleaning 90026 clauses out of 180124 with flag 35842109/4176098 746.39/738.13 c cleaning 90918 clauses out of 182098 with flag 36611105/4268098 764.08/755.55 c cleaning 92027 clauses out of 184180 with flag 37438075/4361098 781.09/772.39 c cleaning 93073 clauses out of 186153 with flag 38257139/4455098 799.55/790.68 c cleaning 93997 clauses out of 188080 with flag 39184056/4550098 818.45/809.34 c cleaning 94996 clauses out of 190083 with flag 40099189/4646098 835.21/825.87 c cleaning 96015 clauses out of 192087 with flag 40881405/4743098 853.33/843.63 c cleaning 96996 clauses out of 194072 with flag 41721048/4841098 870.96/861.07 c cleaning 97975 clauses out of 196076 with flag 42608682/4940098 890.55/880.31 c cleaning 99000 clauses out of 198101 with flag 43487425/5040098 909.45/899.09 c cleaning 99991 clauses out of 200101 with flag 44414835/5141098 931.27/920.71 c cleaning 100959 clauses out of 202110 with flag 45408162/5243098 951.47/940.76 c cleaning 102034 clauses out of 204151 with flag 46358288/5346098 971.13/960.18 c cleaning 103002 clauses out of 206117 with flag 47300633/5450098 991.41/980.17 c cleaning 103989 clauses out of 208115 with flag 48226346/5555098 1011.65/1000.10 c cleaning 105048 clauses out of 210126 with flag 49135000/5661098 1031.47/1019.69 c cleaning 106037 clauses out of 212080 with flag 50115584/5768100 1051.33/1039.21 c cleaning 106944 clauses out of 214041 with flag 51036524/5876098 1072.95/1060.65 c cleaning 108005 clauses out of 216097 with flag 52014892/5985098 1095.93/1083.30 c cleaning 108968 clauses out of 218093 with flag 53027596/6095099 1117.89/1105.05 c cleaning 110024 clauses out of 220124 with flag 54080497/6206098 1138.49/1125.38 c cleaning 111018 clauses out of 222100 with flag 55057865/6318098 1160.48/1147.19 c cleaning 111968 clauses out of 224082 with flag 56061787/6431098 1182.73/1169.02 c cleaning 113046 clauses out of 226114 with flag 57098311/6545098 1204.46/1190.50 c cleaning 114020 clauses out of 228068 with flag 58102593/6660098 1227.83/1213.43 c cleaning 114950 clauses out of 230048 with flag 59154241/6776098 1251.50/1236.89 c cleaning 115970 clauses out of 232098 with flag 60290614/6893098 1275.05/1260.11 c cleaning 116918 clauses out of 234128 with flag 61436714/7011098 1300.04/1284.96 c cleaning 118058 clauses out of 236211 with flag 62622812/7130099 1325.46/1309.96 c cleaning 119050 clauses out of 238152 with flag 63714160/7250098 1350.69/1334.81 c cleaning 119990 clauses out of 240102 with flag 64824238/7371098 1376.09/1359.93 c cleaning 120965 clauses out of 242112 with flag 65951167/7493098 1401.30/1384.88 c cleaning 121991 clauses out of 244147 with flag 67113541/7616098 1425.33/1408.56 c cleaning 123009 clauses out of 246156 with flag 68098720/7740098 1447.56/1430.40 c cleaning 123949 clauses out of 248148 with flag 69128462/7865099 1469.46/1451.97 c cleaning 125082 clauses out of 250198 with flag 70195155/7991098 1492.03/1474.29 c cleaning 126040 clauses out of 252116 with flag 71143602/8118098 1519.01/1500.90 c cleaning 126948 clauses out of 254076 with flag 72386282/8246098 1545.33/1527.03 c cleaning 127987 clauses out of 256128 with flag 73536088/8375098 1570.19/1551.49 c cleaning 129023 clauses out of 258142 with flag 74612359/8505099 1595.97/1576.84 c cleaning 130035 clauses out of 260121 with flag 75794442/8636101 1623.97/1604.54 c cleaning 130965 clauses out of 262083 with flag 76996417/8768098 1648.64/1628.94 c cleaning 131966 clauses out of 264118 with flag 78125054/8901098 1674.92/1654.90 c cleaning 132958 clauses out of 266152 with flag 79283128/9035098 1700.07/1679.79 c cleaning 134086 clauses out of 268194 with flag 80458120/9170098 1725.55/1704.95 c cleaning 135029 clauses out of 270108 with flag 81616786/9306098 1749.79/1728.75 c cleaning 136015 clauses out of 272079 with flag 82687018/9443098 1778.64/1757.20 c cleaning 136958 clauses out of 274064 with flag 83945597/9581098 1800.06/1778.40 c starts : 36391 1800.06/1778.40 c conflicts : 9690031 1800.06/1778.40 c decisions : 452575497 1800.06/1778.40 c propagations : 952954106 1800.06/1778.40 c inspects : 4131605006 1800.06/1778.40 c shortcuts : 0 1800.06/1778.40 c learnt literals : 0 1800.06/1778.40 c learnt binary clauses : 0 1800.06/1778.40 c learnt ternary clauses : 0 1800.06/1778.40 c learnt constraints : 9690031 1800.06/1778.40 c ignored constraints : 0 1800.06/1778.40 c root simplifications : 0 1800.06/1778.40 c removed literals (reason simplification) : 0 1800.06/1778.40 c reason swapping (by a shorter reason) : 0 1800.06/1778.40 c Calls to reduceDB : 134 1800.06/1778.40 c Number of update (reduction) of LBD : 8424277 1800.06/1778.40 c Imported unit clauses : 0 1800.06/1778.40 c number of reductions to clauses (during analyze) : 0 1800.06/1778.40 c number of learned constraints concerned by reduction : 0 1800.06/1778.40 c number of learning phase by resolution : 0 1800.06/1778.40 c number of learning phase by cutting planes : 0 1800.06/1778.40 c speed (assignments/second) : 535989.2830727783 1800.06/1778.40 c non guided choices 0 1800.06/1778.43 c learnt constraints type 1800.06/1778.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 246039 1800.06/1778.43 s SATISFIABLE 1800.06/1778.43 c Found 3 solution(s) 1800.06/1778.44 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 x8673 x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 x8811 -x8812 -x8813 -x8814 -x8815 -x8816 x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 x8878 x8879 -x8880 -x8881 x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 1800.06/1778.45 c objective function=38 1800.06/1778.45 c Total wall clock time (in seconds): 1778.327
OK 38
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4099989-1466209691/watcher-4099989-1466209691 -o /tmp/evaluation-result-4099989-1466209691/solver-4099989-1466209691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099989-1466209691.opb pid=3352 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.03 2.00 3/194 3355 /proc/meminfo: memFree=30938500/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/3355/stat : 3355 (java) R 3352 3355 2916 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 23019653 23793664 697 33554432000 1073741824 1073778376 140734489115616 140734489104680 249640827443 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 5809 705 520 9 0 128 0 [startup+0.10006 s] /proc/loadavg: 2.12 2.03 2.00 3/194 3355 /proc/meminfo: memFree=30938500/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 4388 0 1 0 7 1 0 0 20 0 18 0 23019653 9787879424 4994 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2389619 4994 2097 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200263 s] /proc/loadavg: 2.12 2.03 2.00 3/194 3355 /proc/meminfo: memFree=30938500/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9558476 CPUtime=0.26 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 5073 0 1 0 25 1 0 0 20 0 18 0 23019653 9787879424 6426 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2389619 6426 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300274 s] /proc/loadavg: 2.12 2.03 2.00 3/194 3355 /proc/meminfo: memFree=30938500/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9558476 CPUtime=0.48 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 7686 0 1 0 46 2 0 0 20 0 18 0 23019653 9787879424 10125 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2389619 10125 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.700241 s] /proc/loadavg: 2.12 2.03 2.00 3/194 3355 /proc/meminfo: memFree=30938500/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9625040 CPUtime=1.59 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 11658 0 1 0 156 3 0 0 20 0 19 0 23019653 9856040960 17132 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2406260 17132 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9625040 [startup+1.50072 s] /proc/loadavg: 2.12 2.03 2.00 3/213 3374 /proc/meminfo: memFree=30862148/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9625040 CPUtime=2.95 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 16910 0 1 0 291 4 0 0 20 0 19 0 23019653 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2406260 22315 2261 9 0 2396937 0 [pid=3355/tid=3357] ppid=3352 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/3355/task/3357/stat : 3357 (java) R 3352 3355 2916 0 -1 4202560 2478 0 1 0 144 2 0 0 20 0 19 0 23019654 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723405353160 140723277903152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3358] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3358/stat : 3358 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723249347240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3359] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3359/stat : 3359 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723248294696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3360] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3360/stat : 3360 (java) S 3352 3355 2916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723247242152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3355/tid=3361] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3361/stat : 3361 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723246189608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3362] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3362/stat : 3362 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723245136040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3363] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3363/stat : 3363 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723244083496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3364] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3364/stat : 3364 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723243030952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3365] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3365/stat : 3365 (java) S 3352 3355 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723241978408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3366] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3366/stat : 3366 (java) S 3352 3355 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23019656 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723229567592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3367] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3367/stat : 3367 (java) S 3352 3355 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723228513912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3368] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3368/stat : 3368 (java) S 3352 3355 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723227461256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3369] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3369/stat : 3369 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723226410000 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3370] ppid=3352 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/3355/task/3370/stat : 3370 (java) S 3352 3355 2916 0 -1 4202560 6284 0 0 0 68 1 0 0 20 0 19 0 23019660 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723225356344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3371] ppid=3352 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/3355/task/3371/stat : 3371 (java) S 3352 3355 2916 0 -1 4202560 6869 0 0 0 76 2 0 0 20 0 19 0 23019660 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723224303800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3372] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3372/stat : 3372 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723223251448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3373] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3373/stat : 3373 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723222199112 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3374] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3374/stat : 3374 (java) S 3352 3355 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23019700 9856040960 22315 33554432000 1073741824 1073778376 140734489115616 140723221144872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 9625040 [startup+3.10074 s] /proc/loadavg: 2.12 2.03 2.00 3/213 3374 /proc/meminfo: memFree=30848868/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9625040 CPUtime=4.61 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 16935 0 1 0 457 4 0 0 20 0 19 0 23019653 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2406260 26425 2265 9 0 2396937 0 [pid=3355/tid=3357] ppid=3352 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/3355/task/3357/stat : 3357 (java) R 3352 3355 2916 0 -1 4202560 2488 0 1 0 304 2 0 0 20 0 19 0 23019654 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723405351400 140723277685069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3358] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3358/stat : 3358 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723249347240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3359] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3359/stat : 3359 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723248294696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3360] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3360/stat : 3360 (java) S 3352 3355 2916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723247242152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3355/tid=3361] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3361/stat : 3361 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723246189608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3362] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3362/stat : 3362 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723245136040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3363] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3363/stat : 3363 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723244083496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3364] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3364/stat : 3364 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723243030952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3365] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3365/stat : 3365 (java) S 3352 3355 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723241978408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3366] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3366/stat : 3366 (java) S 3352 3355 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23019656 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723229567592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3367] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3367/stat : 3367 (java) S 3352 3355 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723228513912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3368] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3368/stat : 3368 (java) S 3352 3355 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723227461256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3369] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3369/stat : 3369 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723226410000 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3370] ppid=3352 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/3355/task/3370/stat : 3370 (java) S 3352 3355 2916 0 -1 4202560 6292 0 0 0 71 1 0 0 20 0 19 0 23019660 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723225356344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3371] ppid=3352 vsize=9625040 CPUtime=0.8 cores=0,2,4,6 /proc/3355/task/3371/stat : 3371 (java) S 3352 3355 2916 0 -1 4202560 6876 0 0 0 78 2 0 0 20 0 19 0 23019660 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723224303800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3372] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3372/stat : 3372 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723223251448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3373] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3373/stat : 3373 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723222199112 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3374] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3374/stat : 3374 (java) S 3352 3355 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23019700 9856040960 26425 33554432000 1073741824 1073778376 140734489115616 140723221144872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 9625040 [startup+6.30077 s] /proc/loadavg: 2.11 2.03 2.00 3/213 3374 /proc/meminfo: memFree=30816736/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9625040 CPUtime=7.84 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 16956 0 1 0 779 5 0 0 20 0 19 0 23019653 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2406260 33766 2266 9 0 2396937 0 [pid=3355/tid=3357] ppid=3352 vsize=9625040 CPUtime=6.24 cores=0,2,4,6 /proc/3355/task/3357/stat : 3357 (java) R 3352 3355 2916 0 -1 4202560 2504 0 1 0 622 2 0 0 20 0 19 0 23019654 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723405344416 140723277749359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3358] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3358/stat : 3358 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723249347240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3359] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3359/stat : 3359 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723248294696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3360] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3360/stat : 3360 (java) S 3352 3355 2916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723247242152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3355/tid=3361] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3361/stat : 3361 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723246189608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3362] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3362/stat : 3362 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723245136040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3363] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3363/stat : 3363 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723244083496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3364] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3364/stat : 3364 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723243030952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3365] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3365/stat : 3365 (java) S 3352 3355 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23019655 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723241978408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3366] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3366/stat : 3366 (java) S 3352 3355 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23019656 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723229567592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3367] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3367/stat : 3367 (java) S 3352 3355 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723228513912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3368] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3368/stat : 3368 (java) S 3352 3355 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723227461256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3369] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3369/stat : 3369 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723226410000 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3370] ppid=3352 vsize=9625040 CPUtime=0.74 cores=0,2,4,6 /proc/3355/task/3370/stat : 3370 (java) S 3352 3355 2916 0 -1 4202560 6296 0 0 0 73 1 0 0 20 0 19 0 23019660 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723225356344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3371] ppid=3352 vsize=9625040 CPUtime=0.81 cores=0,2,4,6 /proc/3355/task/3371/stat : 3371 (java) S 3352 3355 2916 0 -1 4202560 6876 0 0 0 79 2 0 0 20 0 19 0 23019660 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723224303800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3372] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3372/stat : 3372 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723223251448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3373] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3373/stat : 3373 (java) S 3352 3355 2916 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723222199112 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3374] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3374/stat : 3374 (java) S 3352 3355 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23019700 9856040960 33766 33554432000 1073741824 1073778376 140734489115616 140723221144872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.84 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=3355/tid=3374] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3374/stat : 3374 (java) S 3352 3355 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23019700 9856040960 140167 33554432000 1073741824 1073778376 140734489115616 140723221144872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1621.77 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.01 2.07 2.05 3/213 3416 /proc/meminfo: memFree=29728580/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9625040 CPUtime=1682.38 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 37556 0 1 0 168080 158 0 0 20 0 19 0 23019653 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2406260 132965 2288 9 0 2396937 0 [pid=3355/tid=3357] ppid=3352 vsize=9625040 CPUtime=1645.5 cores=0,2,4,6 /proc/3355/task/3357/stat : 3357 (java) R 3352 3355 2916 0 -1 4202560 2875 0 1 0 164520 30 0 0 20 0 19 0 23019654 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723405352176 140723278037268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3358] ppid=3352 vsize=9625040 CPUtime=3.28 cores=0,2,4,6 /proc/3355/task/3358/stat : 3358 (java) S 3352 3355 2916 0 -1 4202560 2015 0 0 0 312 16 0 0 20 0 19 0 23019655 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723249347240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3355/tid=3359] ppid=3352 vsize=9625040 CPUtime=3.19 cores=0,2,4,6 /proc/3355/task/3359/stat : 3359 (java) S 3352 3355 2916 0 -1 4202560 1916 0 0 0 304 15 0 0 20 0 19 0 23019655 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723248294696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3360] ppid=3352 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/3355/task/3360/stat : 3360 (java) S 3352 3355 2916 0 -1 4202560 1682 0 0 0 319 16 0 0 20 0 19 0 23019655 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723247242152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3355/tid=3361] ppid=3352 vsize=9625040 CPUtime=3.14 cores=0,2,4,6 /proc/3355/task/3361/stat : 3361 (java) S 3352 3355 2916 0 -1 4202560 2554 0 0 0 299 15 0 0 20 0 19 0 23019655 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723246189608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3362] ppid=3352 vsize=9625040 CPUtime=3.1 cores=0,2,4,6 /proc/3355/task/3362/stat : 3362 (java) S 3352 3355 2916 0 -1 4202560 2602 0 0 0 291 19 0 0 20 0 19 0 23019655 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723245136040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3363] ppid=3352 vsize=9625040 CPUtime=3.33 cores=0,2,4,6 /proc/3355/task/3363/stat : 3363 (java) S 3352 3355 2916 0 -1 4202560 2538 0 0 0 316 17 0 0 20 0 19 0 23019655 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723244083496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3364] ppid=3352 vsize=9625040 CPUtime=3.36 cores=0,2,4,6 /proc/3355/task/3364/stat : 3364 (java) S 3352 3355 2916 0 -1 4202560 2137 0 0 0 317 19 0 0 20 0 19 0 23019655 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723243030952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3365] ppid=3352 vsize=9625040 CPUtime=3.22 cores=0,2,4,6 /proc/3355/task/3365/stat : 3365 (java) S 3352 3355 2916 0 -1 4202560 3595 0 0 0 307 15 0 0 20 0 19 0 23019655 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723241978408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3366] ppid=3352 vsize=9625040 CPUtime=4.9 cores=0,2,4,6 /proc/3355/task/3366/stat : 3366 (java) S 3352 3355 2916 0 -1 4202560 1106 0 0 0 483 7 0 0 20 0 19 0 23019656 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723229567592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3367] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3367/stat : 3367 (java) S 3352 3355 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723228513912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3368] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3368/stat : 3368 (java) S 3352 3355 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723227461256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3369] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3369/stat : 3369 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723226410000 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3370] ppid=3352 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/3355/task/3370/stat : 3370 (java) S 3352 3355 2916 0 -1 4202560 6301 0 0 0 76 1 0 0 20 0 19 0 23019660 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723225356344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3371] ppid=3352 vsize=9625040 CPUtime=0.81 cores=0,2,4,6 /proc/3355/task/3371/stat : 3371 (java) S 3352 3355 2916 0 -1 4202560 6876 0 0 0 79 2 0 0 20 0 19 0 23019660 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723224303800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3372] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3372/stat : 3372 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723223251448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3373] ppid=3352 vsize=9625040 CPUtime=0.34 cores=0,2,4,6 /proc/3355/task/3373/stat : 3373 (java) S 3352 3355 2916 0 -1 4202560 95 0 0 0 16 18 0 0 20 0 19 0 23019660 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723222199112 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3374] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3374/stat : 3374 (java) S 3352 3355 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23019700 9856040960 132965 33554432000 1073741824 1073778376 140734489115616 140723221144872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1682.38 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.00 2.05 2.04 4/213 3417 /proc/meminfo: memFree=29905480/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9625040 CPUtime=1743.2 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 37601 0 1 0 174161 159 0 0 20 0 19 0 23019653 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2406260 114471 2288 9 0 2396937 0 [pid=3355/tid=3357] ppid=3352 vsize=9625040 CPUtime=1704.76 cores=0,2,4,6 /proc/3355/task/3357/stat : 3357 (java) R 3352 3355 2916 0 -1 4202560 2892 0 1 0 170446 30 0 0 20 0 19 0 23019654 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723405352192 140723277684987 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3358] ppid=3352 vsize=9625040 CPUtime=3.42 cores=0,2,4,6 /proc/3355/task/3358/stat : 3358 (java) S 3352 3355 2916 0 -1 4202560 2015 0 0 0 326 16 0 0 20 0 19 0 23019655 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723249347240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3359] ppid=3352 vsize=9625040 CPUtime=3.37 cores=0,2,4,6 /proc/3355/task/3359/stat : 3359 (java) S 3352 3355 2916 0 -1 4202560 1916 0 0 0 322 15 0 0 20 0 19 0 23019655 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723248294696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3360] ppid=3352 vsize=9625040 CPUtime=3.51 cores=0,2,4,6 /proc/3355/task/3360/stat : 3360 (java) S 3352 3355 2916 0 -1 4202560 1682 0 0 0 335 16 0 0 20 0 19 0 23019655 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723247242152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3355/tid=3361] ppid=3352 vsize=9625040 CPUtime=3.25 cores=0,2,4,6 /proc/3355/task/3361/stat : 3361 (java) S 3352 3355 2916 0 -1 4202560 2554 0 0 0 310 15 0 0 20 0 19 0 23019655 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723246189608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3362] ppid=3352 vsize=9625040 CPUtime=3.28 cores=0,2,4,6 /proc/3355/task/3362/stat : 3362 (java) S 3352 3355 2916 0 -1 4202560 2602 0 0 0 309 19 0 0 20 0 19 0 23019655 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723245136040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3363] ppid=3352 vsize=9625040 CPUtime=3.45 cores=0,2,4,6 /proc/3355/task/3363/stat : 3363 (java) S 3352 3355 2916 0 -1 4202560 2538 0 0 0 328 17 0 0 20 0 19 0 23019655 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723244083496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3364] ppid=3352 vsize=9625040 CPUtime=3.51 cores=0,2,4,6 /proc/3355/task/3364/stat : 3364 (java) S 3352 3355 2916 0 -1 4202560 2137 0 0 0 332 19 0 0 20 0 19 0 23019655 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723243030952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3365] ppid=3352 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/3355/task/3365/stat : 3365 (java) S 3352 3355 2916 0 -1 4202560 3595 0 0 0 320 15 0 0 20 0 19 0 23019655 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723241978408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3366] ppid=3352 vsize=9625040 CPUtime=5.17 cores=0,2,4,6 /proc/3355/task/3366/stat : 3366 (java) S 3352 3355 2916 0 -1 4202560 1131 0 0 0 510 7 0 0 20 0 19 0 23019656 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723229567592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3367] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3367/stat : 3367 (java) S 3352 3355 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723228513912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3368] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3368/stat : 3368 (java) S 3352 3355 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723227461256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3369] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3369/stat : 3369 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723226410000 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3370] ppid=3352 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/3355/task/3370/stat : 3370 (java) S 3352 3355 2916 0 -1 4202560 6301 0 0 0 76 1 0 0 20 0 19 0 23019660 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723225356344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3371] ppid=3352 vsize=9625040 CPUtime=0.81 cores=0,2,4,6 /proc/3355/task/3371/stat : 3371 (java) S 3352 3355 2916 0 -1 4202560 6876 0 0 0 79 2 0 0 20 0 19 0 23019660 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723224303800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3372] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3372/stat : 3372 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723223251448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3373] ppid=3352 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/3355/task/3373/stat : 3373 (java) S 3352 3355 2916 0 -1 4202560 98 0 0 0 17 19 0 0 20 0 19 0 23019660 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723222199112 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3374] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3374/stat : 3374 (java) S 3352 3355 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23019700 9856040960 114471 33554432000 1073741824 1073778376 140734489115616 140723221144872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1743.2 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1778.4 s] /proc/loadavg: 2.00 2.04 2.04 3/213 3485 /proc/meminfo: memFree=31230888/32872528 swapFree=190484/190484 [pid=3355] ppid=3352 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6 /proc/3355/stat : 3355 (java) S 3352 3355 2916 0 -1 4202496 38163 0 1 0 179844 162 0 0 20 0 19 0 23019653 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140734489106752 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3355/statm: 2406260 114609 2288 9 0 2396937 0 [pid=3355/tid=3357] ppid=3352 vsize=9625040 CPUtime=1760.25 cores=0,2,4,6 /proc/3355/task/3357/stat : 3357 (java) R 3352 3355 2916 0 -1 4202560 2905 0 1 0 175993 32 0 0 20 0 19 0 23019654 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723405352224 140723277617672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3358] ppid=3352 vsize=9625040 CPUtime=3.54 cores=0,2,4,6 /proc/3355/task/3358/stat : 3358 (java) S 3352 3355 2916 0 -1 4202560 2222 0 0 0 338 16 0 0 20 0 19 0 23019655 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723249347240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3355/tid=3359] ppid=3352 vsize=9625040 CPUtime=3.51 cores=0,2,4,6 /proc/3355/task/3359/stat : 3359 (java) S 3352 3355 2916 0 -1 4202560 1974 0 0 0 336 15 0 0 20 0 19 0 23019655 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723248294696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3360] ppid=3352 vsize=9625040 CPUtime=3.64 cores=0,2,4,6 /proc/3355/task/3360/stat : 3360 (java) S 3352 3355 2916 0 -1 4202560 1682 0 0 0 348 16 0 0 20 0 19 0 23019655 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723247242152 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3361] ppid=3352 vsize=9625040 CPUtime=3.37 cores=0,2,4,6 /proc/3355/task/3361/stat : 3361 (java) S 3352 3355 2916 0 -1 4202560 2669 0 0 0 322 15 0 0 20 0 19 0 23019655 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723246189608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3362] ppid=3352 vsize=9625040 CPUtime=3.42 cores=0,2,4,6 /proc/3355/task/3362/stat : 3362 (java) S 3352 3355 2916 0 -1 4202560 2602 0 0 0 323 19 0 0 20 0 19 0 23019655 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723245136040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3363] ppid=3352 vsize=9625040 CPUtime=3.59 cores=0,2,4,6 /proc/3355/task/3363/stat : 3363 (java) S 3352 3355 2916 0 -1 4202560 2597 0 0 0 341 18 0 0 20 0 19 0 23019655 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723244083496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3364] ppid=3352 vsize=9625040 CPUtime=3.62 cores=0,2,4,6 /proc/3355/task/3364/stat : 3364 (java) S 3352 3355 2916 0 -1 4202560 2168 0 0 0 342 20 0 0 20 0 19 0 23019655 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723243030952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=3355/tid=3365] ppid=3352 vsize=9625040 CPUtime=3.48 cores=0,2,4,6 /proc/3355/task/3365/stat : 3365 (java) S 3352 3355 2916 0 -1 4202560 3629 0 0 0 333 15 0 0 20 0 19 0 23019655 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723241978408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3366] ppid=3352 vsize=9625040 CPUtime=5.34 cores=0,2,4,6 /proc/3355/task/3366/stat : 3366 (java) S 3352 3355 2916 0 -1 4202560 1174 0 0 0 527 7 0 0 20 0 19 0 23019656 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723229567592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3367] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3367/stat : 3367 (java) S 3352 3355 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723228513912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3368] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3368/stat : 3368 (java) S 3352 3355 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23019657 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723227461256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3369] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3369/stat : 3369 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723226410000 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3370] ppid=3352 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/3355/task/3370/stat : 3370 (java) S 3352 3355 2916 0 -1 4202560 6301 0 0 0 76 1 0 0 20 0 19 0 23019660 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723225356344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=3355/tid=3371] ppid=3352 vsize=9625040 CPUtime=0.81 cores=0,2,4,6 /proc/3355/task/3371/stat : 3371 (java) S 3352 3355 2916 0 -1 4202560 6876 0 0 0 79 2 0 0 20 0 19 0 23019660 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723224303800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3372] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3372/stat : 3372 (java) S 3352 3355 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23019660 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723223251448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=3355/tid=3373] ppid=3352 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/3355/task/3373/stat : 3373 (java) S 3352 3355 2916 0 -1 4202560 100 0 0 0 18 19 0 0 20 0 19 0 23019660 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723222199112 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=3355/tid=3374] ppid=3352 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/3355/task/3374/stat : 3374 (java) S 3352 3355 2916 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23019700 9856040960 114609 33554432000 1073741824 1073778376 140734489115616 140723221144872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3355 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3355 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=9269 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=100680 # CPU time returned by wait4() is 1796.11 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1778.46 CPU time (s): 1800.06 CPU user time (s): 1798.44 CPU system time (s): 1.62 CPU usage (%): 101.215 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.01 system time used= 2.10068 maximum resident set size= 629324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38214 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49307 involuntary context switches= 58071 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.4331 second user time and 10.9743 second system time The end
Begin job on node102 at 2016-06-18 02:28:11 IDJOB=4099989 IDBENCH=1559 IDSOLVER=2546 FILE ID=node102/4099989-1466209691 RUNJOBID= node102-1466206108-2932 PBS_JOBID= 19918170 Free space on /tmp= 71724 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran17x17.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099989-1466209691/watcher-4099989-1466209691 -o /tmp/evaluation-result-4099989-1466209691/solver-4099989-1466209691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099989-1466209691.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eacfeaf84791543db8ee3be1e77f11f6 RANDOM SEED=906963003 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.746 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30938756 kB Buffers: 36872 kB Cached: 75016 kB SwapCached: 1856 kB Active: 963668 kB Inactive: 63332 kB Active(anon): 916268 kB Inactive(anon): 1460 kB Active(file): 47400 kB Inactive(file): 61872 kB Unevictable: 190484 kB Mlocked: 190484 kB SwapTotal: 67108856 kB SwapFree: 67098948 kB Dirty: 8584 kB Writeback: 0 kB AnonPages: 1199504 kB Mapped: 15388 kB Shmem: 0 kB Slab: 568120 kB SReclaimable: 12232 kB SUnreclaim: 555888 kB KernelStack: 1760 kB PageTables: 6312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2216880 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 978944 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71728 MiB End job on node102 at 2016-06-18 02:57:50