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) | 24 | 1800.03 | 1796.26 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb |
| MD5SUM | 03e4654091c3b4f8fc0f424cad1d26d5 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | |
| Total number of constraints | |
| Number of constraints which are clauses | |
| Number of constraints which are cardinality constraints (but not clauses) | |
| Number of constraints which are nor clauses,nor cardinality constraints | |
| Minimum length of a constraint | |
| Maximum length of a constraint | |
| Number of terms in the objective function | |
| Biggest coefficient in the objective function | |
| Number of bits for the biggest coefficient in the objective function | |
| Sum of the numbers in the objective function | |
| Number of bits of the sum of numbers in the objective function | |
| Biggest number in a constraint | |
| Number of bits of the biggest number in a constraint | |
| Biggest sum of numbers in a constraint | |
| Number of bits of the biggest sum of numbers | |
| Number of products (including duplicates) | |
| Sum of products size (including duplicates) | |
| Number of different products | |
| Sum of products size |
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.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization by upper bound 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Glucose 2.1 dynamic restart strategy 0.07/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.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-4119820-1467278264.opb 0.07/0.12 c reading problem ... 0.07/0.12 c objective function found 0.55/0.38 c ... done. Wall clock time 0.259s. 0.55/0.38 c declared #vars 8928 0.55/0.38 c #constraints 622 0.55/0.38 c constraints type 0.55/0.38 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 278 0.55/0.38 c org.sat4j.minisat.constraints.card.MinWatchCard => 278 0.55/0.38 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66 0.55/0.38 c 622 constraints processed. 0.55/0.38 c objective function length is 32 literals 1.52/0.73 c SATISFIABLE 1.52/0.73 c OPTIMIZING... 1.52/0.73 c Got one! Elapsed wall clock time (in seconds):0.613 1.52/0.73 o 31 1.72/0.87 c Got one! Elapsed wall clock time (in seconds):0.752 1.72/0.87 o 30 1.94/0.94 c Got one! Elapsed wall clock time (in seconds):0.817 1.94/0.94 o 29 1.94/0.98 c Got one! Elapsed wall clock time (in seconds):0.854 1.94/0.98 o 28 2.36/1.20 c cleaning 3772 clauses out of 7548 with flag 7605/7548 2.88/1.74 c cleaning 4874 clauses out of 9775 with flag 27058/13547 3.59/2.45 c cleaning 5940 clauses out of 11904 with flag 50106/20550 4.54/3.37 c cleaning 6966 clauses out of 13961 with flag 81518/28547 5.65/4.48 c cleaning 7983 clauses out of 15994 with flag 116424/37546 6.95/5.74 c cleaning 8991 clauses out of 18011 with flag 156980/47546 8.34/7.19 c cleaning 9996 clauses out of 20021 with flag 195758/58547 10.30/9.02 c cleaning 10994 clauses out of 22024 with flag 244644/70546 12.30/11.02 c cleaning 12000 clauses out of 24031 with flag 296760/83547 14.69/13.42 c cleaning 13000 clauses out of 26030 with flag 350763/97546 17.49/16.25 c cleaning 14000 clauses out of 28033 with flag 411202/112549 20.59/19.31 c cleaning 14999 clauses out of 30030 with flag 474155/128546 24.09/22.86 c cleaning 16004 clauses out of 32031 with flag 549097/145546 27.99/26.73 c cleaning 16997 clauses out of 34027 with flag 623965/163546 32.20/30.98 c cleaning 17999 clauses out of 36030 with flag 690316/182546 32.89/31.61 c Got one! Elapsed wall clock time (in seconds):31.488 32.89/31.61 o 27 33.03/31.76 c cleaning 11957 clauses out of 23936 with flag 4492/188451 33.43/32.13 c cleaning 8982 clauses out of 17980 with flag 24032/194452 33.93/32.62 c cleaning 7977 clauses out of 15999 with flag 45106/201453 34.44/33.11 c cleaning 7999 clauses out of 16020 with flag 63816/209451 35.24/33.96 c cleaning 8498 clauses out of 17021 with flag 82761/218451 36.34/35.06 c cleaning 9248 clauses out of 18523 with flag 103881/228451 37.65/36.37 c cleaning 10125 clauses out of 20275 with flag 127497/239451 39.34/38.07 c cleaning 11060 clauses out of 22150 with flag 153191/251451 41.24/39.95 c cleaning 12031 clauses out of 24090 with flag 181158/264451 43.25/41.99 c cleaning 13017 clauses out of 26059 with flag 211491/278451 45.84/44.57 c cleaning 14007 clauses out of 28042 with flag 243779/293451 49.04/47.71 c cleaning 15006 clauses out of 30037 with flag 277571/309453 52.57/51.28 c cleaning 15999 clauses out of 32029 with flag 313725/326451 56.76/55.42 c cleaning 16998 clauses out of 34030 with flag 352014/344451 61.36/60.09 c cleaning 18001 clauses out of 36032 with flag 392677/363451 66.66/65.37 c cleaning 19001 clauses out of 38031 with flag 435272/383451 72.46/71.12 c cleaning 19997 clauses out of 40031 with flag 480185/404452 78.47/77.12 c cleaning 21003 clauses out of 42034 with flag 527818/426452 85.16/83.89 c cleaning 22005 clauses out of 44030 with flag 577166/449451 92.59/91.20 c cleaning 22998 clauses out of 46026 with flag 628133/473452 100.41/99.04 c cleaning 23994 clauses out of 48027 with flag 681197/498451 108.80/107.44 c cleaning 25005 clauses out of 50034 with flag 736673/524452 117.70/116.30 c cleaning 25999 clauses out of 52028 with flag 793834/551451 127.30/125.97 c cleaning 27001 clauses out of 54030 with flag 854103/579452 137.63/136.21 c cleaning 27996 clauses out of 56028 with flag 915682/608451 149.03/147.67 c cleaning 29001 clauses out of 58033 with flag 979256/638452 149.53/148.16 c Got one! Elapsed wall clock time (in seconds):148.038 149.53/148.16 o 26 149.63/148.21 c Got one! Elapsed wall clock time (in seconds):148.09 149.63/148.21 o 25 149.83/148.42 c cleaning 17314 clauses out of 34643 with flag 6580/644063 150.23/148.88 c cleaning 11654 clauses out of 23328 with flag 19362/650062 150.83/149.46 c cleaning 9326 clauses out of 18673 with flag 34149/657061 151.63/150.23 c cleaning 8662 clauses out of 17347 with flag 51081/665061 152.53/151.20 c cleaning 8830 clauses out of 17685 with flag 70125/674061 153.73/152.33 c cleaning 9415 clauses out of 18857 with flag 91448/684063 155.13/153.71 c cleaning 10207 clauses out of 20441 with flag 114774/695062 156.83/155.44 c cleaning 11105 clauses out of 22234 with flag 140334/707062 158.80/157.35 c cleaning 12054 clauses out of 24128 with flag 168047/720061 161.10/159.64 c cleaning 13028 clauses out of 26076 with flag 197665/734063 163.70/162.29 c cleaning 14011 clauses out of 28046 with flag 229587/749061 166.90/165.40 c cleaning 15007 clauses out of 30035 with flag 263633/765061 170.30/168.84 c cleaning 16000 clauses out of 32028 with flag 299992/782061 173.99/172.59 c cleaning 17003 clauses out of 34029 with flag 338444/800062 178.19/176.74 c cleaning 18004 clauses out of 36027 with flag 378938/819063 182.60/181.19 c cleaning 19002 clauses out of 38021 with flag 422121/839061 187.57/186.03 c cleaning 19995 clauses out of 40020 with flag 467250/860062 192.77/191.29 c cleaning 20998 clauses out of 42024 with flag 514593/882061 198.77/197.23 c cleaning 22000 clauses out of 44027 with flag 563937/905062 205.17/203.69 c cleaning 22998 clauses out of 46026 with flag 615340/929061 212.06/210.52 c cleaning 24004 clauses out of 48028 with flag 669701/954061 219.97/218.47 c cleaning 24999 clauses out of 50026 with flag 725418/980063 228.24/226.70 c cleaning 26000 clauses out of 52025 with flag 783070/1007061 237.14/235.51 c cleaning 26998 clauses out of 54025 with flag 843274/1035061 240.83/239.21 c cleaning 28003 clauses out of 56031 with flag 904977/1064065 246.95/245.35 c cleaning 29000 clauses out of 58024 with flag 967675/1094061 253.82/252.14 c cleaning 30001 clauses out of 60024 with flag 1031547/1125061 260.23/258.54 c cleaning 31002 clauses out of 62023 with flag 1099300/1157061 267.42/265.74 c cleaning 31997 clauses out of 64022 with flag 1168797/1190062 275.32/273.67 c cleaning 32999 clauses out of 66024 with flag 1240384/1224061 284.08/282.36 c cleaning 34000 clauses out of 68029 with flag 1314161/1259065 293.39/291.63 c cleaning 35000 clauses out of 70025 with flag 1390127/1295061 303.88/302.19 c cleaning 36001 clauses out of 72027 with flag 1468260/1332063 315.24/313.41 c cleaning 37003 clauses out of 74025 with flag 1548505/1370062 327.35/325.54 c cleaning 37997 clauses out of 76021 with flag 1630496/1409061 339.74/337.90 c cleaning 38996 clauses out of 78024 with flag 1715478/1449061 353.73/351.81 c cleaning 40000 clauses out of 80029 with flag 1801724/1490062 368.63/366.74 c cleaning 40997 clauses out of 82028 with flag 1889964/1532061 383.33/381.44 c cleaning 42002 clauses out of 84031 with flag 1981457/1575061 399.40/397.44 c cleaning 43001 clauses out of 86029 with flag 2075584/1619061 416.81/414.83 c cleaning 43999 clauses out of 88030 with flag 2171895/1664063 436.18/434.12 c cleaning 45002 clauses out of 90029 with flag 2270634/1710061 441.98/439.95 c cleaning 46005 clauses out of 92030 with flag 2392868/1757064 445.68/443.63 c Got one! Elapsed wall clock time (in seconds):443.513 445.68/443.63 o 24 446.18/444.10 c cleaning 39733 clauses out of 79465 with flag 10021/1790504 447.08/445.02 c cleaning 22869 clauses out of 45737 with flag 22049/1796509 448.38/446.35 c cleaning 14931 clauses out of 29861 with flag 36127/1803502 450.38/448.37 c cleaning 11465 clauses out of 22930 with flag 52190/1811502 452.21/450.20 c cleaning 10232 clauses out of 20464 with flag 70241/1820501 454.22/452.19 c cleaning 10107 clauses out of 20231 with flag 90291/1830500 456.52/454.42 c cleaning 10557 clauses out of 21122 with flag 112333/1841498 459.11/457.02 c cleaning 11284 clauses out of 22567 with flag 136383/1853500 461.41/459.34 c cleaning 12138 clauses out of 24289 with flag 162535/1866506 464.32/462.26 c cleaning 13070 clauses out of 26144 with flag 190608/1880499 467.81/465.74 c cleaning 14041 clauses out of 28082 with flag 220695/1895507 471.82/469.73 c cleaning 15016 clauses out of 30032 with flag 252738/1911498 475.51/473.47 c cleaning 16010 clauses out of 32020 with flag 286899/1928502 480.31/478.27 c cleaning 17004 clauses out of 34008 with flag 322988/1946500 484.91/482.85 c cleaning 17995 clauses out of 36005 with flag 361137/1965501 490.21/488.19 c cleaning 19008 clauses out of 38016 with flag 401274/1985507 495.41/493.33 c cleaning 20004 clauses out of 40007 with flag 443452/2006506 501.21/499.18 c cleaning 20991 clauses out of 41996 with flag 487612/2028499 507.70/505.61 c cleaning 21996 clauses out of 44005 with flag 533822/2051499 514.51/512.41 c cleaning 23009 clauses out of 46017 with flag 582068/2075507 521.71/519.65 c cleaning 24000 clauses out of 48001 with flag 632362/2100500 528.56/526.34 c cleaning 24992 clauses out of 49999 with flag 684911/2126498 536.85/534.36 c cleaning 25996 clauses out of 52008 with flag 739268/2153499 544.66/542.02 c cleaning 26999 clauses out of 54012 with flag 795823/2181499 552.56/549.96 c cleaning 28005 clauses out of 56012 with flag 854387/2210498 562.66/560.04 c cleaning 29001 clauses out of 58007 with flag 914798/2240498 573.36/570.73 c cleaning 30001 clauses out of 60008 with flag 977269/2271500 584.76/582.10 c cleaning 31002 clauses out of 62006 with flag 1041591/2303499 596.57/593.98 c cleaning 32004 clauses out of 64007 with flag 1108047/2336502 609.97/607.39 c cleaning 33000 clauses out of 66002 with flag 1176373/2370501 623.27/620.64 c cleaning 34001 clauses out of 68001 with flag 1246804/2405500 638.38/635.72 c cleaning 34996 clauses out of 70002 with flag 1319224/2441502 654.18/651.58 c cleaning 35998 clauses out of 72003 with flag 1393533/2478499 669.68/667.02 c cleaning 36997 clauses out of 74005 with flag 1469991/2516499 688.39/685.73 c cleaning 38004 clauses out of 76008 with flag 1548422/2555499 707.59/704.91 c cleaning 39001 clauses out of 78010 with flag 1628764/2595505 726.09/723.44 c cleaning 39999 clauses out of 80003 with flag 1711136/2636499 744.29/741.62 c cleaning 41001 clauses out of 82004 with flag 1795714/2678499 770.30/767.60 c cleaning 42001 clauses out of 84002 with flag 1882025/2721498 794.40/791.78 c cleaning 42995 clauses out of 86004 with flag 1970380/2765501 819.31/816.68 c cleaning 44000 clauses out of 88010 with flag 2060715/2810502 842.22/839.58 c cleaning 45004 clauses out of 90009 with flag 2153167/2856501 867.12/864.49 c cleaning 45997 clauses out of 92004 with flag 2247592/2903500 892.33/889.61 c cleaning 47000 clauses out of 94005 with flag 2343743/2951498 917.64/914.91 c cleaning 48003 clauses out of 96005 with flag 2441900/3000498 942.67/939.96 c cleaning 48990 clauses out of 98002 with flag 2542092/3050498 968.07/965.33 c cleaning 50000 clauses out of 100012 with flag 2644285/3101498 993.48/990.79 c cleaning 51002 clauses out of 102011 with flag 2748672/3153498 1023.28/1020.21 c cleaning 51995 clauses out of 104009 with flag 2854923/3206498 1057.16/1053.79 c cleaning 53000 clauses out of 106014 with flag 2963134/3260498 1093.16/1089.72 c cleaning 54006 clauses out of 108014 with flag 3073355/3315498 1131.09/1127.69 c cleaning 55006 clauses out of 110012 with flag 3185543/3371502 1174.00/1170.57 c cleaning 56001 clauses out of 112006 with flag 3299721/3428502 1221.31/1217.84 c cleaning 56999 clauses out of 114001 with flag 3415937/3486498 1269.52/1266.07 c cleaning 58000 clauses out of 116003 with flag 3534186/3545499 1311.34/1307.75 c cleaning 58992 clauses out of 118003 with flag 3654608/3605499 1347.25/1343.62 c cleaning 60004 clauses out of 120014 with flag 3777535/3666502 1385.65/1382.09 c cleaning 61003 clauses out of 122006 with flag 3902314/3728498 1427.05/1423.44 c cleaning 62003 clauses out of 124008 with flag 4029049/3791503 1470.76/1467.10 c cleaning 62992 clauses out of 126001 with flag 4157690/3855499 1516.76/1513.13 c cleaning 63999 clauses out of 128011 with flag 4288371/3920501 1562.27/1558.68 c cleaning 65006 clauses out of 130012 with flag 4420952/3986501 1611.89/1608.26 c cleaning 65999 clauses out of 132005 with flag 4555561/4053500 1662.49/1658.88 c cleaning 67001 clauses out of 134004 with flag 4692069/4121498 1713.23/1709.45 c cleaning 67997 clauses out of 136005 with flag 4831001/4190501 1766.83/1763.02 c cleaning 69000 clauses out of 138008 with flag 4972155/4260501 1800.03/1796.20 c starts : 134 1800.03/1796.20 c conflicts : 4313911 1800.03/1796.20 c decisions : 4773306 1800.03/1796.20 c propagations : 267594032 1800.03/1796.20 c inspects : 34411478627 1800.03/1796.20 c shortcuts : 0 1800.03/1796.20 c learnt literals : 2 1800.03/1796.20 c learnt binary clauses : 2 1800.03/1796.20 c learnt ternary clauses : 4 1800.03/1796.20 c learnt constraints : 4313909 1800.03/1796.20 c ignored constraints : 0 1800.03/1796.20 c root simplifications : 0 1800.03/1796.20 c removed literals (reason simplification) : 0 1800.03/1796.20 c reason swapping (by a shorter reason) : 0 1800.03/1796.20 c Calls to reduceDB : 150 1800.03/1796.20 c Number of update (reduction) of LBD : 134693 1800.03/1796.20 c Imported unit clauses : 0 1800.03/1796.20 c number of reductions to clauses (during analyze) : 0 1800.03/1796.20 c number of learned constraints concerned by reduction : 0 1800.03/1796.20 c number of learning phase by resolution : 0 1800.03/1796.20 c number of learning phase by cutting planes : 0 1800.03/1796.20 c speed (assignments/second) : 149010.0489360802 1800.03/1796.20 c non guided choices 177734 1800.03/1796.23 c learnt constraints type 1800.03/1796.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2 1800.03/1796.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 122417 1800.03/1796.23 s SATISFIABLE 1800.03/1796.23 c Found 8 solution(s) 1800.03/1796.24 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 1800.03/1796.25 c objective function=24 1800.03/1796.25 c Total wall clock time (in seconds): 1796.127
OK 24
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-4119820-1467278264/watcher-4119820-1467278264 -o /tmp/evaluation-result-4119820-1467278264/solver-4119820-1467278264 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467278264-9490 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119820-1467278264.opb pid=9506 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.13 2.16 2.11 3/172 9509 /proc/meminfo: memFree=30589204/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=3568 CPUtime=0 cores=0,2,4,6 /proc/9509/stat : 9509 (java) R 9506 9509 8538 0 -1 4202496 173 0 0 0 0 0 0 0 20 0 1 0 6855632 3653632 48 33554432000 1073741824 1073778376 140735606676544 140735606673672 271778409815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9509/statm: 892 49 38 9 0 30 0 [startup+0.100059 s] /proc/loadavg: 2.13 2.16 2.11 3/172 9509 /proc/meminfo: memFree=30589204/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 4337 0 1 0 6 1 0 0 20 0 18 0 6855632 9787879424 5456 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2389619 5460 2097 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 2.13 2.16 2.11 3/172 9509 /proc/meminfo: memFree=30589204/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9558476 CPUtime=0.25 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 5138 0 1 0 24 1 0 0 20 0 18 0 6855632 9787879424 7166 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2389619 7166 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.30023 s] /proc/loadavg: 2.13 2.16 2.11 3/172 9509 /proc/meminfo: memFree=30589204/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9558476 CPUtime=0.55 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 8960 0 1 0 53 2 0 0 20 0 18 0 6855632 9787879424 11431 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2389619 11431 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9558476 [startup+0.700181 s] /proc/loadavg: 2.13 2.16 2.11 3/172 9509 /proc/meminfo: memFree=30589204/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9625040 CPUtime=1.52 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 13521 0 1 0 149 3 0 0 20 0 19 0 6855632 9856040960 23321 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2406260 23321 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 9625040 [startup+1.50078 s] /proc/loadavg: 2.13 2.16 2.11 3/213 9557 /proc/meminfo: memFree=30394020/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9625040 CPUtime=2.68 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 13558 0 1 0 264 4 0 0 20 0 19 0 6855632 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2406260 26933 2265 9 0 2396937 0 [pid=9509/tid=9513] ppid=9506 vsize=9625040 CPUtime=1.45 cores=0,2,4,6 /proc/9509/task/9513/stat : 9513 (java) R 9506 9509 8538 0 -1 4202560 2438 0 1 0 143 2 0 0 20 0 19 0 6855634 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689072488472 140688918885999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9518] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9518/stat : 9518 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689044941224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9519] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9519/stat : 9519 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689043888680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9520] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9520/stat : 9520 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689042835624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9521] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9521/stat : 9521 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689041783080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9522] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9522/stat : 9522 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689040731048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9523] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9523/stat : 9523 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689039678504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9524] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9524/stat : 9524 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689038625448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9525] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9525/stat : 9525 (java) S 9506 9509 8538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140689037572904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9532] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9532/stat : 9532 (java) S 9506 9509 8538 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6855636 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688425453928 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9533] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9533/stat : 9533 (java) S 9506 9509 8538 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688424400248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9534] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9534/stat : 9534 (java) S 9506 9509 8538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688423347080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9546] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9546/stat : 9546 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688422295824 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9547] ppid=9506 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/9509/task/9547/stat : 9547 (java) S 9506 9509 8538 0 -1 4202560 3638 0 0 0 48 0 0 0 20 0 19 0 6855639 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688421243704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9548] ppid=9506 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/9509/task/9548/stat : 9548 (java) S 9506 9509 8538 0 -1 4202560 6205 0 0 0 70 1 0 0 20 0 19 0 6855639 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688420191160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9549] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9549/stat : 9549 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688419138296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9550] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9550/stat : 9550 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688418085960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9556] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9556/stat : 9556 (java) S 9506 9509 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855672 9856040960 26933 33554432000 1073741824 1073778376 140735398447664 140688417031208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 9625040 [startup+3.10079 s] /proc/loadavg: 2.13 2.16 2.11 3/213 9557 /proc/meminfo: memFree=30364216/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9625040 CPUtime=4.33 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 13567 0 1 0 429 4 0 0 20 0 19 0 6855632 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2406260 31029 2265 9 0 2396937 0 [pid=9509/tid=9513] ppid=9506 vsize=9625040 CPUtime=3.04 cores=0,2,4,6 /proc/9509/task/9513/stat : 9513 (java) R 9506 9509 8538 0 -1 4202560 2447 0 1 0 302 2 0 0 20 0 19 0 6855634 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689072479968 140688918976789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9518] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9518/stat : 9518 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689044941224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9519] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9519/stat : 9519 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689043888680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9520] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9520/stat : 9520 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689042835624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9521] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9521/stat : 9521 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689041783080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9522] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9522/stat : 9522 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689040731048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9523] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9523/stat : 9523 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689039678504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9524] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9524/stat : 9524 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689038625448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9525] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9525/stat : 9525 (java) S 9506 9509 8538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140689037572904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9532] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9532/stat : 9532 (java) S 9506 9509 8538 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6855636 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688425453928 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9533] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9533/stat : 9533 (java) S 9506 9509 8538 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688424400248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9534] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9534/stat : 9534 (java) S 9506 9509 8538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688423347080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9546] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9546/stat : 9546 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688422295824 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9547] ppid=9506 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/9509/task/9547/stat : 9547 (java) S 9506 9509 8538 0 -1 4202560 3638 0 0 0 49 0 0 0 20 0 19 0 6855639 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688421243704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9548] ppid=9506 vsize=9625040 CPUtime=0.76 cores=0,2,4,6 /proc/9509/task/9548/stat : 9548 (java) S 9506 9509 8538 0 -1 4202560 6205 0 0 0 74 2 0 0 20 0 19 0 6855639 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688420191160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9549] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9549/stat : 9549 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688419138296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9550] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9550/stat : 9550 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688418085960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9556] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9556/stat : 9556 (java) S 9506 9509 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855672 9856040960 31029 33554432000 1073741824 1073778376 140735398447664 140688417031208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 9625040 [startup+6.30079 s] /proc/loadavg: 2.12 2.16 2.10 3/213 9557 /proc/meminfo: memFree=30292264/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9625040 CPUtime=7.54 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 13583 0 1 0 750 4 0 0 20 0 19 0 6855632 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2406260 38029 2266 9 0 2396937 0 [pid=9509/tid=9513] ppid=9506 vsize=9625040 CPUtime=6.23 cores=0,2,4,6 /proc/9509/task/9513/stat : 9513 (java) R 9506 9509 8538 0 -1 4202560 2462 0 1 0 621 2 0 0 20 0 19 0 6855634 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689072479952 140688918970587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9518] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9518/stat : 9518 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689044941224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9519] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9519/stat : 9519 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689043888680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9520] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9520/stat : 9520 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689042835624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9521] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9521/stat : 9521 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689041783080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9522] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9522/stat : 9522 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689040731048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9523] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9523/stat : 9523 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689039678504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9524] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9524/stat : 9524 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689038625448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9525] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9525/stat : 9525 (java) S 9506 9509 8538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6855635 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140689037572904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9532] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9532/stat : 9532 (java) S 9506 9509 8538 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6855636 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688425453928 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9533] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9533/stat : 9533 (java) S 9506 9509 8538 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688424400248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9534] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9534/stat : 9534 (java) S 9506 9509 8538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688423347080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9546] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9546/stat : 9546 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688422295824 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9547] ppid=9506 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/9509/task/9547/stat : 9547 (java) S 9506 9509 8538 0 -1 4202560 3638 0 0 0 49 0 0 0 20 0 19 0 6855639 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688421243704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9548] ppid=9506 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/9509/task/9548/stat : 9548 (java) S 9506 9509 8538 0 -1 4202560 6205 0 0 0 76 2 0 0 20 0 19 0 6855639 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688420191160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9549] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9549/stat : 9549 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688419138296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9550] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9550/stat : 9550 (java) S 9506 9509 8538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688418085960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9556] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9556/stat : 9556 (java) S 9506 9509 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855672 9856040960 38029 33554432000 1073741824 1073778376 140735398447664 140688417031208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.54 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=9509/tid=9556] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9556/stat : 9556 (java) S 9506 9509 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855672 9856040960 95957 33554432000 1073741824 1073778376 140735398447664 140688417031208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1665.98 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.27 2.20 2.18 3/213 9600 /proc/meminfo: memFree=29862640/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9625040 CPUtime=1726.12 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 31763 0 1 0 172559 53 0 0 20 0 19 0 6855632 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2406260 100901 2280 9 0 2396937 0 [pid=9509/tid=9513] ppid=9506 vsize=9625040 CPUtime=1717.33 cores=0,2,4,6 /proc/9509/task/9513/stat : 9513 (java) R 9506 9509 8538 0 -1 4202560 2501 0 1 0 171704 29 0 0 20 0 19 0 6855634 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689072479952 140688918976384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9518] ppid=9506 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/9509/task/9518/stat : 9518 (java) S 9506 9509 8538 0 -1 4202560 256 0 0 0 15 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689044941224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9519] ppid=9506 vsize=9625040 CPUtime=0.14 cores=0,2,4,6 /proc/9509/task/9519/stat : 9519 (java) S 9506 9509 8538 0 -1 4202560 140 0 0 0 12 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689043888680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9520] ppid=9506 vsize=9625040 CPUtime=0.2 cores=0,2,4,6 /proc/9509/task/9520/stat : 9520 (java) S 9506 9509 8538 0 -1 4202560 222 0 0 0 18 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689042835624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9521] ppid=9506 vsize=9625040 CPUtime=0.24 cores=0,2,4,6 /proc/9509/task/9521/stat : 9521 (java) S 9506 9509 8538 0 -1 4202560 446 0 0 0 20 4 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689041783080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9522] ppid=9506 vsize=9625040 CPUtime=0.16 cores=0,2,4,6 /proc/9509/task/9522/stat : 9522 (java) S 9506 9509 8538 0 -1 4202560 283 0 0 0 13 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689040731048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9523] ppid=9506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6 /proc/9509/task/9523/stat : 9523 (java) S 9506 9509 8538 0 -1 4202560 71 0 0 0 11 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689039678504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9524] ppid=9506 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/9509/task/9524/stat : 9524 (java) S 9506 9509 8538 0 -1 4202560 131 0 0 0 17 4 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689038625448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9525] ppid=9506 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/9509/task/9525/stat : 9525 (java) S 9506 9509 8538 0 -1 4202560 324 0 0 0 14 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689037572904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9532] ppid=9506 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/9509/task/9532/stat : 9532 (java) S 9506 9509 8538 0 -1 4202560 55 0 0 0 0 2 0 0 20 0 19 0 6855636 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688425453928 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9533] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9533/stat : 9533 (java) S 9506 9509 8538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688424400248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9534] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9534/stat : 9534 (java) S 9506 9509 8538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688423347080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9546] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9546/stat : 9546 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688422295824 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9547] ppid=9506 vsize=9625040 CPUtime=1.78 cores=0,2,4,6 /proc/9509/task/9547/stat : 9547 (java) S 9506 9509 8538 0 -1 4202560 19761 0 0 0 175 3 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688421243704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9548] ppid=9506 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/9509/task/9548/stat : 9548 (java) S 9506 9509 8538 0 -1 4202560 6209 0 0 0 80 2 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688420191160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9549] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9549/stat : 9549 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688419138296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9550] ppid=9506 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/9509/task/9550/stat : 9550 (java) S 9506 9509 8538 0 -1 4202560 100 0 0 0 28 29 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688418085960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9556] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9556/stat : 9556 (java) S 9506 9509 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855672 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688417031208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1726.12 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.21 2.19 2.18 3/213 9601 /proc/meminfo: memFree=29884912/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9625040 CPUtime=1786.13 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 31767 0 1 0 178559 54 0 0 20 0 19 0 6855632 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2406260 100901 2280 9 0 2396937 0 [pid=9509/tid=9513] ppid=9506 vsize=9625040 CPUtime=1777.18 cores=0,2,4,6 /proc/9509/task/9513/stat : 9513 (java) R 9506 9509 8538 0 -1 4202560 2501 0 1 0 177688 30 0 0 20 0 19 0 6855634 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689072479952 140688918970587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9518] ppid=9506 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/9509/task/9518/stat : 9518 (java) S 9506 9509 8538 0 -1 4202560 256 0 0 0 15 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689044941224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9519] ppid=9506 vsize=9625040 CPUtime=0.14 cores=0,2,4,6 /proc/9509/task/9519/stat : 9519 (java) S 9506 9509 8538 0 -1 4202560 140 0 0 0 12 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689043888680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9520] ppid=9506 vsize=9625040 CPUtime=0.2 cores=0,2,4,6 /proc/9509/task/9520/stat : 9520 (java) S 9506 9509 8538 0 -1 4202560 222 0 0 0 18 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689042835624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9521] ppid=9506 vsize=9625040 CPUtime=0.24 cores=0,2,4,6 /proc/9509/task/9521/stat : 9521 (java) S 9506 9509 8538 0 -1 4202560 446 0 0 0 20 4 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689041783080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9522] ppid=9506 vsize=9625040 CPUtime=0.16 cores=0,2,4,6 /proc/9509/task/9522/stat : 9522 (java) S 9506 9509 8538 0 -1 4202560 283 0 0 0 13 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689040731048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9523] ppid=9506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6 /proc/9509/task/9523/stat : 9523 (java) S 9506 9509 8538 0 -1 4202560 71 0 0 0 11 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689039678504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9524] ppid=9506 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/9509/task/9524/stat : 9524 (java) S 9506 9509 8538 0 -1 4202560 131 0 0 0 17 4 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689038625448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9525] ppid=9506 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/9509/task/9525/stat : 9525 (java) S 9506 9509 8538 0 -1 4202560 324 0 0 0 14 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689037572904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9532] ppid=9506 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/9509/task/9532/stat : 9532 (java) S 9506 9509 8538 0 -1 4202560 55 0 0 0 0 2 0 0 20 0 19 0 6855636 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688425453928 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9533] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9533/stat : 9533 (java) S 9506 9509 8538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688424400248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9534] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9534/stat : 9534 (java) S 9506 9509 8538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688423347080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9546] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9546/stat : 9546 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688422295824 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9547] ppid=9506 vsize=9625040 CPUtime=1.78 cores=0,2,4,6 /proc/9509/task/9547/stat : 9547 (java) S 9506 9509 8538 0 -1 4202560 19761 0 0 0 175 3 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688421243704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9548] ppid=9506 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/9509/task/9548/stat : 9548 (java) S 9506 9509 8538 0 -1 4202560 6209 0 0 0 80 2 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688420191160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9549] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9549/stat : 9549 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688419138296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9550] ppid=9506 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/9509/task/9550/stat : 9550 (java) S 9506 9509 8538 0 -1 4202560 104 0 0 0 29 30 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688418085960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9556] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9556/stat : 9556 (java) S 9506 9509 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855672 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688417031208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1786.13 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.2 s] /proc/loadavg: 2.17 2.18 2.18 2/188 9634 /proc/meminfo: memFree=30191916/32872528 swapFree=1101680/1183440 [pid=9509] ppid=9506 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/9509/stat : 9509 (java) S 9506 9509 8538 0 -1 4202496 31767 0 1 0 179949 54 0 0 20 0 19 0 6855632 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140735398438800 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9509/statm: 2406260 100901 2280 9 0 2396937 0 [pid=9509/tid=9513] ppid=9506 vsize=9625040 CPUtime=1791.04 cores=0,2,4,6 /proc/9509/task/9513/stat : 9513 (java) R 9506 9509 8538 0 -1 4202560 2501 0 1 0 179074 30 0 0 20 0 19 0 6855634 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689072479952 140688918970587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9509/tid=9518] ppid=9506 vsize=9625040 CPUtime=0.18 cores=0,2,4,6 /proc/9509/task/9518/stat : 9518 (java) S 9506 9509 8538 0 -1 4202560 256 0 0 0 15 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689044941224 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9519] ppid=9506 vsize=9625040 CPUtime=0.14 cores=0,2,4,6 /proc/9509/task/9519/stat : 9519 (java) S 9506 9509 8538 0 -1 4202560 140 0 0 0 12 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689043888680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9520] ppid=9506 vsize=9625040 CPUtime=0.2 cores=0,2,4,6 /proc/9509/task/9520/stat : 9520 (java) S 9506 9509 8538 0 -1 4202560 222 0 0 0 18 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689042835624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9521] ppid=9506 vsize=9625040 CPUtime=0.24 cores=0,2,4,6 /proc/9509/task/9521/stat : 9521 (java) S 9506 9509 8538 0 -1 4202560 446 0 0 0 20 4 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689041783080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9522] ppid=9506 vsize=9625040 CPUtime=0.16 cores=0,2,4,6 /proc/9509/task/9522/stat : 9522 (java) S 9506 9509 8538 0 -1 4202560 283 0 0 0 13 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689040731048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9523] ppid=9506 vsize=9625040 CPUtime=0.13 cores=0,2,4,6 /proc/9509/task/9523/stat : 9523 (java) S 9506 9509 8538 0 -1 4202560 71 0 0 0 11 2 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689039678504 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9524] ppid=9506 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/9509/task/9524/stat : 9524 (java) S 9506 9509 8538 0 -1 4202560 131 0 0 0 17 4 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689038625448 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9525] ppid=9506 vsize=9625040 CPUtime=0.17 cores=0,2,4,6 /proc/9509/task/9525/stat : 9525 (java) S 9506 9509 8538 0 -1 4202560 324 0 0 0 14 3 0 0 20 0 19 0 6855635 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140689037572904 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9532] ppid=9506 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/9509/task/9532/stat : 9532 (java) S 9506 9509 8538 0 -1 4202560 55 0 0 0 0 2 0 0 20 0 19 0 6855636 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688425453928 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9533] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9533/stat : 9533 (java) S 9506 9509 8538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688424400248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9534] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9534/stat : 9534 (java) S 9506 9509 8538 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6855637 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688423347080 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9546] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9546/stat : 9546 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688422295824 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9547] ppid=9506 vsize=9625040 CPUtime=1.78 cores=0,2,4,6 /proc/9509/task/9547/stat : 9547 (java) S 9506 9509 8538 0 -1 4202560 19761 0 0 0 175 3 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688421243704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9509/tid=9548] ppid=9506 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/9509/task/9548/stat : 9548 (java) S 9506 9509 8538 0 -1 4202560 6209 0 0 0 80 2 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688420191160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9549] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9549/stat : 9549 (java) S 9506 9509 8538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688419138296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9509/tid=9550] ppid=9506 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/9509/task/9550/stat : 9550 (java) S 9506 9509 8538 0 -1 4202560 104 0 0 0 30 30 0 0 20 0 19 0 6855639 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688418085960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9509/tid=9556] ppid=9506 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9509/task/9556/stat : 9556 (java) S 9506 9509 8538 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6855672 9856040960 100901 33554432000 1073741824 1073778376 140735398447664 140688417031208 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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 9509 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 9509 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=28114 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=42841 # CPU time returned by wait4() is 1796.07 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1796.26 CPU time (s): 1800.03 CPU user time (s): 1799.49 CPU system time (s): 0.54 CPU usage (%): 100.21 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.03 system time used= 1.04284 maximum resident set size= 408544 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31813 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1328 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38585 involuntary context switches= 9617 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.7574 second user time and 11.4913 second system time The end
Begin job on node115 at 2016-06-30 11:17:44 IDJOB=4119820 IDBENCH=111809 IDSOLVER=2546 FILE ID=node115/4119820-1467278264 RUNJOBID= node115-1467278264-9490 PBS_JOBID= 20004494 Free space on /tmp= 71664 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119820-1467278264/watcher-4119820-1467278264 -o /tmp/evaluation-result-4119820-1467278264/solver-4119820-1467278264 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467278264-9490 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119820-1467278264.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 03e4654091c3b4f8fc0f424cad1d26d5 RANDOM SEED=35138148 node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.087 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30591004 kB Buffers: 149728 kB Cached: 194036 kB SwapCached: 0 kB Active: 145868 kB Inactive: 212608 kB Active(anon): 10548 kB Inactive(anon): 6612 kB Active(file): 135320 kB Inactive(file): 205996 kB Unevictable: 1183440 kB Mlocked: 1101680 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1180 kB Writeback: 0 kB AnonPages: 1388244 kB Mapped: 13832 kB Shmem: 204 kB Slab: 605640 kB SReclaimable: 49708 kB SUnreclaim: 555932 kB KernelStack: 1416 kB PageTables: 6332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1284032 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 276480 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= 71664 MiB End job on node115 at 2016-06-30 11:47:41