Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | MSAT (TO) | 1800.08 | 1775.87 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo |
| MD5SUM | 877b894215c8e906897b9f5c7b76fab3 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 10500 |
| Total number of constraints | 205 |
| Number of soft constraints | 74 |
| Number of constraints which are clauses | 105 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 100 |
| Maximum length of a constraint | 105 |
| Top cost | 3754 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 3753 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 106 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-4090621-1466063934.wbo 0.08/0.11 c reading problem ... 0.55/0.33 c ... done. Wall clock time 0.215s. 0.55/0.33 c declared #vars 10500 0.55/0.33 c internal #vars 10574 0.55/0.33 c #constraints 205 0.55/0.33 c constraints type 0.55/0.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 0.55/0.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 57 0.55/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 43 0.55/0.33 c 205 constraints processed. 0.55/0.33 c objective function length is 74 literals 1.81/1.12 c cleaning 2496 clauses out of 5000 with flag 37926/5000 2.75/2.07 c cleaning 4253 clauses out of 8507 with flag 81970/11003 3.98/3.30 c cleaning 5619 clauses out of 11252 with flag 131891/18001 5.59/4.80 c cleaning 6811 clauses out of 13632 with flag 184785/26000 7.41/6.69 c cleaning 7909 clauses out of 15821 with flag 244246/35000 9.66/8.83 c cleaning 8950 clauses out of 17912 with flag 313606/45000 12.15/11.34 c cleaning 9975 clauses out of 19963 with flag 393854/56001 14.95/14.19 c cleaning 10988 clauses out of 21987 with flag 478856/68000 18.69/17.65 c cleaning 11995 clauses out of 24000 with flag 572678/81001 22.59/21.54 c cleaning 12997 clauses out of 26004 with flag 670514/95000 26.79/25.72 c cleaning 13998 clauses out of 28009 with flag 782501/110002 31.68/30.46 c cleaning 14996 clauses out of 30009 with flag 899961/126000 36.68/35.43 c cleaning 16003 clauses out of 32013 with flag 1022870/143000 42.46/41.16 c cleaning 17000 clauses out of 34011 with flag 1162269/161001 49.36/48.06 c cleaning 17998 clauses out of 36012 with flag 1314010/180002 56.88/55.40 c cleaning 19001 clauses out of 38012 with flag 1473769/200000 64.78/63.34 c cleaning 20001 clauses out of 40012 with flag 1646224/221001 73.52/72.00 c cleaning 21002 clauses out of 42011 with flag 1802853/243001 83.88/82.06 c cleaning 22001 clauses out of 44012 with flag 1987913/266004 94.27/92.17 c cleaning 22995 clauses out of 46007 with flag 2180821/290000 105.02/102.79 c cleaning 23995 clauses out of 48012 with flag 2378722/315000 116.94/114.54 c cleaning 25006 clauses out of 50018 with flag 2595326/341001 130.25/127.61 c cleaning 26003 clauses out of 52012 with flag 2820645/368001 136.89/134.30 c SATISFIABLE 136.89/134.30 c OPTIMIZING... 136.89/134.30 c Got one! Elapsed wall clock time (in seconds):134.183 136.89/134.30 o 126 137.02/134.36 c Got one! Elapsed wall clock time (in seconds):134.244 137.02/134.36 o 40 137.24/134.42 c Got one! Elapsed wall clock time (in seconds):134.31 137.24/134.42 o 10 139.59/136.77 c cleaning 23338 clauses out of 46687 with flag 30027/388679 141.73/138.82 c cleaning 14663 clauses out of 29348 with flag 82936/394678 143.43/140.55 c cleaning 10835 clauses out of 21684 with flag 150371/401677 145.47/142.55 c cleaning 9416 clauses out of 18849 with flag 228233/409677 147.67/144.72 c cleaning 9209 clauses out of 18434 with flag 321487/418678 149.97/147.09 c cleaning 9605 clauses out of 19224 with flag 424071/428677 152.59/149.66 c cleaning 10301 clauses out of 20619 with flag 536565/439677 156.13/153.16 c cleaning 11154 clauses out of 22319 with flag 659288/451678 159.99/156.95 c cleaning 12072 clauses out of 24164 with flag 789962/464677 164.42/161.37 c cleaning 13037 clauses out of 26095 with flag 936777/478680 169.45/166.38 c cleaning 14022 clauses out of 28055 with flag 1089608/493677 175.05/171.82 c cleaning 15013 clauses out of 30036 with flag 1250625/509680 180.89/177.67 c cleaning 16001 clauses out of 32021 with flag 1420804/526678 187.76/184.44 c cleaning 17003 clauses out of 34019 with flag 1601385/544677 195.54/192.06 c cleaning 18006 clauses out of 36017 with flag 1797814/563678 203.79/200.22 c cleaning 18998 clauses out of 38011 with flag 2008658/583678 213.14/209.44 c cleaning 20002 clauses out of 40014 with flag 2235499/604679 223.08/219.25 c cleaning 21000 clauses out of 42010 with flag 2475872/626677 234.27/230.38 c cleaning 22002 clauses out of 44013 with flag 2729911/649680 245.95/241.81 c cleaning 22999 clauses out of 46009 with flag 2996317/673678 259.21/254.95 c cleaning 23994 clauses out of 48010 with flag 3262310/698678 273.19/268.72 c cleaning 24997 clauses out of 50015 with flag 3543858/724677 287.72/283.10 c cleaning 26005 clauses out of 52019 with flag 3844178/751678 303.25/298.41 c cleaning 27006 clauses out of 54015 with flag 4147935/779679 318.67/313.61 c cleaning 27998 clauses out of 56007 with flag 4444471/808677 334.58/329.33 c cleaning 29002 clauses out of 58013 with flag 4761480/838681 350.44/344.95 c cleaning 29996 clauses out of 60007 with flag 5110658/869677 366.96/361.14 c cleaning 30999 clauses out of 62011 with flag 5471747/901677 384.89/378.74 c cleaning 31997 clauses out of 64012 with flag 5833503/934677 404.60/398.20 c cleaning 33002 clauses out of 66017 with flag 6232219/968679 425.63/418.88 c cleaning 34002 clauses out of 68015 with flag 6649620/1003679 445.67/438.66 c cleaning 35002 clauses out of 70012 with flag 7062728/1039678 468.45/461.15 c cleaning 36001 clauses out of 72009 with flag 7489721/1076677 492.59/484.96 c cleaning 36998 clauses out of 74010 with flag 7938819/1114679 515.91/507.98 c cleaning 38004 clauses out of 76013 with flag 8398824/1153680 540.40/532.10 c cleaning 39000 clauses out of 78009 with flag 8864157/1193680 567.72/559.13 c cleaning 39996 clauses out of 80006 with flag 9348228/1234677 595.42/586.46 c cleaning 40998 clauses out of 82012 with flag 9830493/1276679 626.28/616.91 c cleaning 41997 clauses out of 84013 with flag 10329322/1319678 658.62/648.87 c cleaning 43003 clauses out of 86021 with flag 10853282/1363683 693.31/683.10 c cleaning 43997 clauses out of 88012 with flag 11374062/1408677 726.09/715.20 c cleaning 45001 clauses out of 90015 with flag 11908117/1454677 729.71/718.87 c Got one! Elapsed wall clock time (in seconds):718.757 729.71/718.87 o 8 730.54/719.63 c cleaning 28628 clauses out of 57269 with flag 34540/1466932 731.64/720.73 c cleaning 17314 clauses out of 34643 with flag 85984/1472934 733.39/722.47 c cleaning 12154 clauses out of 24327 with flag 136601/1479932 735.44/724.44 c cleaning 10075 clauses out of 20175 with flag 196657/1487934 737.77/726.70 c cleaning 9538 clauses out of 19102 with flag 272533/1496936 740.43/729.36 c cleaning 9762 clauses out of 19561 with flag 359851/1506933 743.41/732.29 c cleaning 10384 clauses out of 20800 with flag 456734/1517934 746.88/735.62 c cleaning 11192 clauses out of 22414 with flag 562406/1529932 750.86/739.59 c cleaning 12096 clauses out of 24222 with flag 674885/1542932 755.11/743.74 c cleaning 13052 clauses out of 26126 with flag 797378/1556932 759.35/747.93 c cleaning 14020 clauses out of 28075 with flag 926580/1571933 764.34/752.84 c cleaning 15008 clauses out of 30056 with flag 1077114/1587934 769.48/757.93 c cleaning 16008 clauses out of 32046 with flag 1244399/1604932 775.03/763.35 c cleaning 16997 clauses out of 34039 with flag 1433817/1622933 781.12/769.33 c cleaning 18004 clauses out of 36042 with flag 1638712/1641933 788.78/776.99 c cleaning 19005 clauses out of 38037 with flag 1836567/1661932 797.02/785.01 c cleaning 19997 clauses out of 40032 with flag 2049046/1682932 806.34/794.22 c cleaning 21003 clauses out of 42037 with flag 2277793/1704934 816.20/804.09 c cleaning 22000 clauses out of 44035 with flag 2520219/1727935 826.88/814.60 c cleaning 23002 clauses out of 46032 with flag 2750430/1751932 838.90/826.41 c cleaning 24002 clauses out of 48032 with flag 2972543/1776934 852.01/839.45 c cleaning 24998 clauses out of 50029 with flag 3210439/1802933 866.45/853.70 c cleaning 25999 clauses out of 52031 with flag 3468219/1829933 880.54/867.67 c cleaning 26999 clauses out of 54033 with flag 3709208/1857934 894.34/881.23 c cleaning 28003 clauses out of 56034 with flag 3944447/1886934 908.88/895.55 c cleaning 28993 clauses out of 58029 with flag 4196287/1916932 924.15/910.69 c cleaning 30000 clauses out of 60036 with flag 4459371/1947932 940.84/927.17 c cleaning 31001 clauses out of 62036 with flag 4731681/1979932 956.79/942.95 c cleaning 31996 clauses out of 64035 with flag 5015426/2012932 975.34/961.21 c cleaning 33002 clauses out of 66042 with flag 5314928/2046935 995.23/980.92 c cleaning 34004 clauses out of 68038 with flag 5644115/2081933 1017.04/1002.59 c cleaning 35002 clauses out of 70035 with flag 5971235/2117934 1039.32/1024.54 c cleaning 35997 clauses out of 72031 with flag 6291421/2154932 1066.46/1051.39 c cleaning 36998 clauses out of 74037 with flag 6637663/2192935 1074.27/1059.02 c Got one! Elapsed wall clock time (in seconds):1058.908 1074.27/1059.02 o 4 1075.13/1059.82 c cleaning 30824 clauses out of 61662 with flag 35001/2217558 1075.84/1060.53 c cleaning 18414 clauses out of 36841 with flag 76815/2223561 1076.64/1061.32 c cleaning 12709 clauses out of 25424 with flag 122459/2230558 1077.58/1062.29 c cleaning 10350 clauses out of 20717 with flag 179443/2238560 1078.79/1063.41 c cleaning 9675 clauses out of 19365 with flag 240118/2247558 1080.02/1064.63 c cleaning 9843 clauses out of 19693 with flag 303236/2257561 1081.55/1066.17 c cleaning 10418 clauses out of 20847 with flag 378043/2268558 1083.68/1068.28 c cleaning 11209 clauses out of 22432 with flag 471837/2280561 1086.11/1070.61 c cleaning 12102 clauses out of 24220 with flag 579082/2293558 1088.89/1073.32 c cleaning 13054 clauses out of 26119 with flag 697403/2307559 1092.14/1076.54 c cleaning 14031 clauses out of 28069 with flag 821526/2322563 1095.94/1080.22 c cleaning 15007 clauses out of 30033 with flag 949894/2338558 1100.20/1084.40 c cleaning 16010 clauses out of 32027 with flag 1080750/2355559 1104.91/1089.09 c cleaning 17002 clauses out of 34019 with flag 1217910/2373561 1110.39/1094.42 c cleaning 18005 clauses out of 36014 with flag 1377136/2392558 1116.60/1100.57 c cleaning 18999 clauses out of 38009 with flag 1551691/2412558 1122.27/1106.12 c cleaning 19999 clauses out of 40012 with flag 1731041/2433560 1128.41/1112.17 c cleaning 21001 clauses out of 42012 with flag 1917102/2455559 1135.69/1119.30 c cleaning 21999 clauses out of 44010 with flag 2111611/2478558 1143.32/1126.94 c cleaning 23003 clauses out of 46011 with flag 2324517/2502558 1152.43/1135.93 c cleaning 23997 clauses out of 48009 with flag 2568078/2527559 1159.46/1142.82 c cleaning 24990 clauses out of 50012 with flag 2799274/2553559 1167.41/1150.67 c cleaning 25991 clauses out of 52021 with flag 3069866/2580558 1176.95/1160.07 c cleaning 26997 clauses out of 54030 with flag 3373838/2608558 1188.12/1171.02 c cleaning 27998 clauses out of 56033 with flag 3678567/2637558 1199.79/1182.55 c cleaning 29000 clauses out of 58035 with flag 3987309/2667558 1212.02/1194.67 c cleaning 29994 clauses out of 60036 with flag 4348699/2698559 1224.74/1207.29 c cleaning 30997 clauses out of 62041 with flag 4672450/2730558 1239.41/1221.71 c cleaning 32002 clauses out of 64045 with flag 5021798/2763559 1254.74/1236.80 c cleaning 32998 clauses out of 66042 with flag 5406888/2797558 1270.50/1252.43 c cleaning 34002 clauses out of 68045 with flag 5750575/2832559 1286.42/1268.26 c cleaning 35004 clauses out of 70047 with flag 6181333/2868563 1303.95/1285.41 c cleaning 35996 clauses out of 72038 with flag 6658989/2905558 1321.67/1302.91 c cleaning 36999 clauses out of 74044 with flag 7114712/2943560 1340.35/1321.44 c cleaning 37999 clauses out of 76045 with flag 7547873/2982560 1362.90/1343.70 c cleaning 38999 clauses out of 78045 with flag 8053081/3022559 1385.90/1366.52 c cleaning 40000 clauses out of 80045 with flag 8550819/3063558 1410.39/1390.78 c cleaning 40999 clauses out of 82045 with flag 9092716/3105558 1436.67/1416.74 c cleaning 41998 clauses out of 84046 with flag 9651934/3148558 1463.37/1443.14 c cleaning 43001 clauses out of 86049 with flag 10155107/3192559 1490.31/1469.83 c cleaning 44002 clauses out of 88047 with flag 10698159/3237558 1518.92/1498.14 c cleaning 45001 clauses out of 90046 with flag 11260857/3283559 1546.49/1525.31 c cleaning 45997 clauses out of 92044 with flag 11811405/3330558 1579.71/1558.20 c cleaning 47000 clauses out of 94048 with flag 12428109/3378559 1614.93/1593.06 c cleaning 47998 clauses out of 96048 with flag 13039866/3427559 1649.19/1626.95 c cleaning 49001 clauses out of 98049 with flag 13691442/3477558 1684.09/1661.34 c cleaning 50000 clauses out of 100048 with flag 14346351/3528558 1722.65/1699.50 c cleaning 51001 clauses out of 102049 with flag 15082934/3580559 1762.06/1738.39 c cleaning 51998 clauses out of 104049 with flag 15740892/3633560 1800.08/1775.80 c starts : 54 1800.08/1775.80 c conflicts : 3683000 1800.08/1775.80 c decisions : 4329132 1800.08/1775.80 c propagations : 66214889 1800.08/1775.80 c inspects : 25857611649 1800.08/1775.80 c shortcuts : 0 1800.08/1775.80 c learnt literals : 0 1800.08/1775.80 c learnt binary clauses : 0 1800.08/1775.80 c learnt ternary clauses : 0 1800.08/1775.80 c learnt constraints : 3683000 1800.08/1775.80 c ignored constraints : 0 1800.08/1775.80 c root simplifications : 0 1800.08/1775.80 c removed literals (reason simplification) : 0 1800.08/1775.80 c reason swapping (by a shorter reason) : 0 1800.08/1775.80 c Calls to reduceDB : 148 1800.08/1775.80 c Number of update (reduction) of LBD : 1743226 1800.08/1775.80 c Imported unit clauses : 0 1800.08/1775.80 c number of reductions to clauses (during analyze) : 0 1800.08/1775.80 c number of learned constraints concerned by reduction : 0 1800.08/1775.80 c number of learning phase by resolution : 0 1800.08/1775.80 c number of learning phase by cutting planes : 0 1800.08/1775.80 c speed (assignments/second) : 37294.417121383485 1800.08/1775.80 c non guided choices 75478 1800.08/1775.83 c learnt constraints type 1800.08/1775.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 101492 1800.08/1775.83 s SATISFIABLE 1800.08/1775.83 c Found 5 solution(s) 1800.08/1775.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 x10500 1800.08/1775.85 c objective function=4 1800.08/1775.85 c Total wall clock time (in seconds): 1775.739
OK 4
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-4090621-1466063934/watcher-4090621-1466063934 -o /tmp/evaluation-result-4090621-1466063934/solver-4090621-1466063934 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466062130-6850 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090621-1466063934.wbo pid=7168 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.16 1.84 3/168 7171 /proc/meminfo: memFree=30666952/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/7171/stat : 7171 (java) R 7168 7171 6833 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 8440386 278528 33 33554432000 1073741824 1073778376 140735816140768 140735501364056 227503336629 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 68 33 25 9 0 25 0 [startup+0.10006 s] /proc/loadavg: 2.23 2.16 1.84 3/168 7171 /proc/meminfo: memFree=30666952/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 4457 0 1 0 7 1 0 0 20 0 18 0 8440386 9787879424 5568 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2389619 5568 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200217 s] /proc/loadavg: 2.23 2.16 1.84 3/168 7171 /proc/meminfo: memFree=30666952/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 5033 0 1 0 26 2 0 0 20 0 18 0 8440386 9787879424 7051 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2389619 7051 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300245 s] /proc/loadavg: 2.23 2.16 1.84 3/168 7171 /proc/meminfo: memFree=30666952/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9558476 CPUtime=0.55 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 7338 0 1 0 53 2 0 0 20 0 18 0 8440386 9787879424 10505 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2389619 10505 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9558476 [startup+0.700224 s] /proc/loadavg: 2.23 2.16 1.84 3/168 7171 /proc/meminfo: memFree=30666952/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9625040 CPUtime=1.33 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 10556 0 1 0 130 3 0 0 20 0 19 0 8440386 9856040960 15582 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2406260 15582 2254 9 0 2396937 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 9625040 [startup+1.50084 s] /proc/loadavg: 2.23 2.16 1.84 3/211 7223 /proc/meminfo: memFree=30568788/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9625040 CPUtime=2.23 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 11389 0 1 0 220 3 0 0 20 0 19 0 8440386 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2406260 19836 2262 9 0 2396937 0 [pid=7171/tid=7173] ppid=7168 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/7171/task/7173/stat : 7173 (java) R 7168 7171 6833 0 -1 4202560 2480 0 1 0 144 2 0 0 20 0 19 0 8440387 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270606623256 140270546862969 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7176] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7176/stat : 7176 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270450195112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7177] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7177/stat : 7177 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270449142568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7178] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7178/stat : 7178 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270448090024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7179] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7179/stat : 7179 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270447037480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7180] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7180/stat : 7180 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270445983912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7181] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7181/stat : 7181 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270444931368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7182] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7182/stat : 7182 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270443878824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7183] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7183/stat : 7183 (java) S 7168 7171 6833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270442826280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7184] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7184/stat : 7184 (java) S 7168 7171 6833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8440389 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270430628456 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7185] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7185/stat : 7185 (java) S 7168 7171 6833 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270429574776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7186] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7186/stat : 7186 (java) S 7168 7171 6833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270428522120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7187] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7187/stat : 7187 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270427470864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7188] ppid=7168 vsize=9625040 CPUtime=0.39 cores=1,3,5,7 /proc/7171/task/7188/stat : 7188 (java) S 7168 7171 6833 0 -1 4202560 3447 0 0 0 39 0 0 0 20 0 19 0 8440392 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270426417208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7189] ppid=7168 vsize=9625040 CPUtime=0.34 cores=1,3,5,7 /proc/7171/task/7189/stat : 7189 (java) S 7168 7171 6833 0 -1 4202560 4183 0 0 0 34 0 0 0 20 0 19 0 8440392 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270425364664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7190] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7190/stat : 7190 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270424312312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7191] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7191/stat : 7191 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270423259976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7223] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7223/stat : 7223 (java) S 7168 7171 6833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440421 9856040960 19836 33554432000 1073741824 1073778376 140735816140768 140270421390632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 9625040 [startup+3.10083 s] /proc/loadavg: 2.23 2.16 1.84 3/211 7223 /proc/meminfo: memFree=30536828/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9625040 CPUtime=3.88 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 11414 0 1 0 384 4 0 0 20 0 19 0 8440386 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2406260 26503 2265 9 0 2396937 0 [pid=7171/tid=7173] ppid=7168 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/7171/task/7173/stat : 7173 (java) R 7168 7171 6833 0 -1 4202560 2494 0 1 0 304 2 0 0 20 0 19 0 8440387 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270606622840 140270547016865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7176] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7176/stat : 7176 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270450195112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7177] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7177/stat : 7177 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270449142568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7178] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7178/stat : 7178 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270448090024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7179] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7179/stat : 7179 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270447037480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7180] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7180/stat : 7180 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270445983912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7181] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7181/stat : 7181 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270444931368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7182] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7182/stat : 7182 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270443878824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7183] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7183/stat : 7183 (java) S 7168 7171 6833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270442826280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7184] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7184/stat : 7184 (java) S 7168 7171 6833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8440389 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270430628456 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7185] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7185/stat : 7185 (java) S 7168 7171 6833 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270429574776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7186] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7186/stat : 7186 (java) S 7168 7171 6833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270428522120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7187] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7187/stat : 7187 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270427470864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7188] ppid=7168 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/7171/task/7188/stat : 7188 (java) S 7168 7171 6833 0 -1 4202560 3455 0 0 0 41 0 0 0 20 0 19 0 8440392 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270426417208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7189] ppid=7168 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/7171/task/7189/stat : 7189 (java) S 7168 7171 6833 0 -1 4202560 4186 0 0 0 35 0 0 0 20 0 19 0 8440392 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270425364664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7190] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7190/stat : 7190 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270424312312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7191] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7191/stat : 7191 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270423259976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7223] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7223/stat : 7223 (java) S 7168 7171 6833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440421 9856040960 26503 33554432000 1073741824 1073778376 140735816140768 140270421390632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.88 Current children cumulated vsize (KiB) 9625040 [startup+6.30092 s] /proc/loadavg: 2.21 2.16 1.84 5/211 7223 /proc/meminfo: memFree=30462980/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9625040 CPUtime=7.1 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 11444 0 1 0 706 4 0 0 20 0 19 0 8440386 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2406260 38252 2265 9 0 2396937 0 [pid=7171/tid=7173] ppid=7168 vsize=9625040 CPUtime=6.25 cores=1,3,5,7 /proc/7171/task/7173/stat : 7173 (java) R 7168 7171 6833 0 -1 4202560 2519 0 1 0 623 2 0 0 20 0 19 0 8440387 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270606623016 140270546914247 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7176] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7176/stat : 7176 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270450195112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7177] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7177/stat : 7177 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270449142568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7178] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7178/stat : 7178 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270448090024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7179] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7179/stat : 7179 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270447037480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7180] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7180/stat : 7180 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270445983912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7181] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7181/stat : 7181 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270444931368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7182] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7182/stat : 7182 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270443878824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7183] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7183/stat : 7183 (java) S 7168 7171 6833 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440388 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270442826280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7184] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7184/stat : 7184 (java) S 7168 7171 6833 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8440389 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270430628456 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7185] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7185/stat : 7185 (java) S 7168 7171 6833 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270429574776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7186] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7186/stat : 7186 (java) S 7168 7171 6833 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270428522120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7187] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7187/stat : 7187 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270427470864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7188] ppid=7168 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/7171/task/7188/stat : 7188 (java) S 7168 7171 6833 0 -1 4202560 3455 0 0 0 42 0 0 0 20 0 19 0 8440392 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270426417208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7189] ppid=7168 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/7171/task/7189/stat : 7189 (java) S 7168 7171 6833 0 -1 4202560 4191 0 0 0 38 0 0 0 20 0 19 0 8440392 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270425364664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7190] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7190/stat : 7190 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270424312312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7191] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7191/stat : 7191 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270423259976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7223] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7223/stat : 7223 (java) S 7168 7171 6833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440421 9856040960 38252 33554432000 1073741824 1073778376 140735816140768 140270421390632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.1 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=7171/tid=7223] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7223/stat : 7223 (java) S 7168 7171 6833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440421 9856040960 113060 33554432000 1073741824 1073778376 140735816140768 140270421390632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1624.36 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.13 2.16 2.09 4/211 7287 /proc/meminfo: memFree=29829576/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9625040 CPUtime=1685.13 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 33156 0 1 0 168254 259 0 0 20 0 19 0 8440386 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2406260 117855 2287 9 0 2396937 0 [pid=7171/tid=7173] ppid=7168 vsize=9625040 CPUtime=1643.41 cores=1,3,5,7 /proc/7171/task/7173/stat : 7173 (java) R 7168 7171 6833 0 -1 4202560 2905 0 1 0 164310 31 0 0 20 0 19 0 8440387 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270606621920 140270546955121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7176] ppid=7168 vsize=9625040 CPUtime=3.86 cores=1,3,5,7 /proc/7171/task/7176/stat : 7176 (java) S 7168 7171 6833 0 -1 4202560 1766 0 0 0 358 28 0 0 20 0 19 0 8440388 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270450195112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7177] ppid=7168 vsize=9625040 CPUtime=3.79 cores=1,3,5,7 /proc/7171/task/7177/stat : 7177 (java) S 7168 7171 6833 0 -1 4202560 3304 0 0 0 349 30 0 0 20 0 19 0 8440388 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270449142568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7178] ppid=7168 vsize=9625040 CPUtime=3.81 cores=1,3,5,7 /proc/7171/task/7178/stat : 7178 (java) S 7168 7171 6833 0 -1 4202560 2065 0 0 0 354 27 0 0 20 0 19 0 8440388 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270448090024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7179] ppid=7168 vsize=9625040 CPUtime=3.65 cores=1,3,5,7 /proc/7171/task/7179/stat : 7179 (java) S 7168 7171 6833 0 -1 4202560 2807 0 0 0 338 27 0 0 20 0 19 0 8440388 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270447037480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7180] ppid=7168 vsize=9625040 CPUtime=3.74 cores=1,3,5,7 /proc/7171/task/7180/stat : 7180 (java) S 7168 7171 6833 0 -1 4202560 1729 0 0 0 347 27 0 0 20 0 19 0 8440388 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270445983912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7181] ppid=7168 vsize=9625040 CPUtime=3.87 cores=1,3,5,7 /proc/7171/task/7181/stat : 7181 (java) S 7168 7171 6833 0 -1 4202560 3165 0 0 0 358 29 0 0 20 0 19 0 8440388 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270444931368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7182] ppid=7168 vsize=9625040 CPUtime=3.69 cores=1,3,5,7 /proc/7171/task/7182/stat : 7182 (java) S 7168 7171 6833 0 -1 4202560 2379 0 0 0 342 27 0 0 20 0 19 0 8440388 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270443878824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7183] ppid=7168 vsize=9625040 CPUtime=3.82 cores=1,3,5,7 /proc/7171/task/7183/stat : 7183 (java) S 7168 7171 6833 0 -1 4202560 1626 0 0 0 356 26 0 0 20 0 19 0 8440388 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270442826280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7184] ppid=7168 vsize=9625040 CPUtime=5.8 cores=1,3,5,7 /proc/7171/task/7184/stat : 7184 (java) S 7168 7171 6833 0 -1 4202560 2107 0 0 0 573 7 0 0 20 0 19 0 8440389 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270430628456 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7185] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7185/stat : 7185 (java) S 7168 7171 6833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270429574776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7186] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7186/stat : 7186 (java) S 7168 7171 6833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270428522120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7187] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7187/stat : 7187 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270427470864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7188] ppid=7168 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/7171/task/7188/stat : 7188 (java) S 7168 7171 6833 0 -1 4202560 3716 0 0 0 51 0 0 0 20 0 19 0 8440392 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270426417208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7189] ppid=7168 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/7171/task/7189/stat : 7189 (java) S 7168 7171 6833 0 -1 4202560 4228 0 0 0 53 0 0 0 20 0 19 0 8440392 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270425364664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7190] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7190/stat : 7190 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270424312312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7191] ppid=7168 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/7171/task/7191/stat : 7191 (java) S 7168 7171 6833 0 -1 4202560 95 0 0 0 27 28 0 0 20 0 19 0 8440392 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270423259976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7223] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7223/stat : 7223 (java) S 7168 7171 6833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440421 9856040960 117855 33554432000 1073741824 1073778376 140735816140768 140270421390632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1685.13 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.26 2.19 2.10 4/211 7288 /proc/meminfo: memFree=29786408/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9625040 CPUtime=1745.91 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 34832 0 1 0 174317 274 0 0 20 0 19 0 8440386 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2406260 130724 2287 9 0 2396937 0 [pid=7171/tid=7173] ppid=7168 vsize=9625040 CPUtime=1702.59 cores=1,3,5,7 /proc/7171/task/7173/stat : 7173 (java) R 7168 7171 6833 0 -1 4202560 2924 0 1 0 170227 32 0 0 20 0 19 0 8440387 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270606621936 140270546945173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7176] ppid=7168 vsize=9625040 CPUtime=3.97 cores=1,3,5,7 /proc/7171/task/7176/stat : 7176 (java) S 7168 7171 6833 0 -1 4202560 1832 0 0 0 367 30 0 0 20 0 19 0 8440388 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270450195112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7177] ppid=7168 vsize=9625040 CPUtime=3.94 cores=1,3,5,7 /proc/7171/task/7177/stat : 7177 (java) S 7168 7171 6833 0 -1 4202560 3570 0 0 0 362 32 0 0 20 0 19 0 8440388 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270449142568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7178] ppid=7168 vsize=9625040 CPUtime=3.94 cores=1,3,5,7 /proc/7171/task/7178/stat : 7178 (java) S 7168 7171 6833 0 -1 4202560 2120 0 0 0 364 30 0 0 20 0 19 0 8440388 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270448090024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7179] ppid=7168 vsize=9625040 CPUtime=3.79 cores=1,3,5,7 /proc/7171/task/7179/stat : 7179 (java) S 7168 7171 6833 0 -1 4202560 2944 0 0 0 351 28 0 0 20 0 19 0 8440388 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270447037480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7180] ppid=7168 vsize=9625040 CPUtime=3.89 cores=1,3,5,7 /proc/7171/task/7180/stat : 7180 (java) S 7168 7171 6833 0 -1 4202560 1918 0 0 0 360 29 0 0 20 0 19 0 8440388 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270445983912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7181] ppid=7168 vsize=9625040 CPUtime=3.99 cores=1,3,5,7 /proc/7171/task/7181/stat : 7181 (java) S 7168 7171 6833 0 -1 4202560 3662 0 0 0 369 30 0 0 20 0 19 0 8440388 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270444931368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=7171/tid=7182] ppid=7168 vsize=9625040 CPUtime=3.87 cores=1,3,5,7 /proc/7171/task/7182/stat : 7182 (java) S 7168 7171 6833 0 -1 4202560 2540 0 0 0 357 30 0 0 20 0 19 0 8440388 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270443878824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7183] ppid=7168 vsize=9625040 CPUtime=3.98 cores=1,3,5,7 /proc/7171/task/7183/stat : 7183 (java) S 7168 7171 6833 0 -1 4202560 1787 0 0 0 370 28 0 0 20 0 19 0 8440388 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270442826280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7184] ppid=7168 vsize=9625040 CPUtime=6.1 cores=1,3,5,7 /proc/7171/task/7184/stat : 7184 (java) S 7168 7171 6833 0 -1 4202560 2228 0 0 0 603 7 0 0 20 0 19 0 8440389 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270430628456 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7185] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7185/stat : 7185 (java) S 7168 7171 6833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270429574776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7186] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7186/stat : 7186 (java) S 7168 7171 6833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270428522120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7187] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7187/stat : 7187 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270427470864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7188] ppid=7168 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/7171/task/7188/stat : 7188 (java) S 7168 7171 6833 0 -1 4202560 3716 0 0 0 51 0 0 0 20 0 19 0 8440392 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270426417208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7189] ppid=7168 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/7171/task/7189/stat : 7189 (java) S 7168 7171 6833 0 -1 4202560 4228 0 0 0 53 0 0 0 20 0 19 0 8440392 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270425364664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7190] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7190/stat : 7190 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270424312312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7191] ppid=7168 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/7171/task/7191/stat : 7191 (java) S 7168 7171 6833 0 -1 4202560 99 0 0 0 29 29 0 0 20 0 19 0 8440392 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270423259976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7223] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7223/stat : 7223 (java) S 7168 7171 6833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440421 9856040960 130724 33554432000 1073741824 1073778376 140735816140768 140270421390632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1745.91 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1775.8 s] /proc/loadavg: 2.46 2.27 2.13 3/211 7290 /proc/meminfo: memFree=29828936/32872528 swapFree=1315980/1463148 [pid=7171] ppid=7168 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/7171/stat : 7171 (java) S 7168 7171 6833 0 -1 4202496 36222 0 1 0 179725 283 0 0 20 0 19 0 8440386 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140735816131904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7171/statm: 2406260 131301 2287 9 0 2396937 0 [pid=7171/tid=7173] ppid=7168 vsize=9625040 CPUtime=1755.43 cores=1,3,5,7 /proc/7171/task/7173/stat : 7173 (java) R 7168 7171 6833 0 -1 4202560 2942 0 1 0 175509 34 0 0 20 0 19 0 8440387 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270606621920 140270546955121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7176] ppid=7168 vsize=9625040 CPUtime=4.12 cores=1,3,5,7 /proc/7171/task/7176/stat : 7176 (java) S 7168 7171 6833 0 -1 4202560 2173 0 0 0 381 31 0 0 20 0 19 0 8440388 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270450195112 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7177] ppid=7168 vsize=9625040 CPUtime=4.03 cores=1,3,5,7 /proc/7171/task/7177/stat : 7177 (java) S 7168 7171 6833 0 -1 4202560 3585 0 0 0 371 32 0 0 20 0 19 0 8440388 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270449142568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7178] ppid=7168 vsize=9625040 CPUtime=4.05 cores=1,3,5,7 /proc/7171/task/7178/stat : 7178 (java) S 7168 7171 6833 0 -1 4202560 2396 0 0 0 374 31 0 0 20 0 19 0 8440388 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270448090024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7179] ppid=7168 vsize=9625040 CPUtime=3.92 cores=1,3,5,7 /proc/7171/task/7179/stat : 7179 (java) S 7168 7171 6833 0 -1 4202560 3231 0 0 0 363 29 0 0 20 0 19 0 8440388 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270447037480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7180] ppid=7168 vsize=9625040 CPUtime=4.01 cores=1,3,5,7 /proc/7171/task/7180/stat : 7180 (java) S 7168 7171 6833 0 -1 4202560 2203 0 0 0 371 30 0 0 20 0 19 0 8440388 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270445983912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7181] ppid=7168 vsize=9625040 CPUtime=4.11 cores=1,3,5,7 /proc/7171/task/7181/stat : 7181 (java) S 7168 7171 6833 0 -1 4202560 3673 0 0 0 380 31 0 0 20 0 19 0 8440388 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270444931368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7182] ppid=7168 vsize=9625040 CPUtime=3.97 cores=1,3,5,7 /proc/7171/task/7182/stat : 7182 (java) S 7168 7171 6833 0 -1 4202560 2549 0 0 0 367 30 0 0 20 0 19 0 8440388 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270443878824 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7183] ppid=7168 vsize=9625040 CPUtime=4.11 cores=1,3,5,7 /proc/7171/task/7183/stat : 7183 (java) S 7168 7171 6833 0 -1 4202560 1812 0 0 0 381 30 0 0 20 0 19 0 8440388 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270442826280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7184] ppid=7168 vsize=9625040 CPUtime=6.32 cores=1,3,5,7 /proc/7171/task/7184/stat : 7184 (java) S 7168 7171 6833 0 -1 4202560 2348 0 0 0 625 7 0 0 20 0 19 0 8440389 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270430628456 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7185] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7185/stat : 7185 (java) S 7168 7171 6833 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270429574776 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7186] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7186/stat : 7186 (java) S 7168 7171 6833 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8440390 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270428522120 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7187] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7187/stat : 7187 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270427470864 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=7171/tid=7188] ppid=7168 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/7171/task/7188/stat : 7188 (java) S 7168 7171 6833 0 -1 4202560 3716 0 0 0 51 0 0 0 20 0 19 0 8440392 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270426417208 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7189] ppid=7168 vsize=9625040 CPUtime=0.53 cores=1,3,5,7 /proc/7171/task/7189/stat : 7189 (java) S 7168 7171 6833 0 -1 4202560 4228 0 0 0 53 0 0 0 20 0 19 0 8440392 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270425364664 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=7171/tid=7190] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7190/stat : 7190 (java) S 7168 7171 6833 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440392 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270424312312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7191] ppid=7168 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/7171/task/7191/stat : 7191 (java) S 7168 7171 6833 0 -1 4202560 102 0 0 0 30 30 0 0 20 0 19 0 8440392 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270423259976 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=7171/tid=7223] ppid=7168 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/7171/task/7223/stat : 7223 (java) S 7168 7171 6833 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8440421 9856040960 131301 33554432000 1073741824 1073778376 140735816140768 140270421390632 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7171 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 7171 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=827448 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=294499 # CPU time returned by wait4() is 1796.12 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1775.87 CPU time (s): 1800.08 CPU user time (s): 1797.25 CPU system time (s): 2.83 CPU usage (%): 101.363 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.83 system time used= 3.2945 maximum resident set size= 855476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36269 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50793 involuntary context switches= 59453 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.77951 second user time and 13.5959 second system time The end
Begin job on node121 at 2016-06-16 09:58:55 IDJOB=4090621 IDBENCH=78710 IDSOLVER=2551 FILE ID=node121/4090621-1466063934 RUNJOBID= node121-1466062130-6850 PBS_JOBID= 19904017 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090621-1466063934/watcher-4090621-1466063934 -o /tmp/evaluation-result-4090621-1466063934/solver-4090621-1466063934 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466062130-6850 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090621-1466063934.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 877b894215c8e906897b9f5c7b76fab3 RANDOM SEED=2086466038 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 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: 30666952 kB Buffers: 4240 kB Cached: 36072 kB SwapCached: 2492 kB Active: 23124 kB Inactive: 20212 kB Active(anon): 4068 kB Inactive(anon): 1720 kB Active(file): 19056 kB Inactive(file): 18492 kB Unevictable: 1463148 kB Mlocked: 1315980 kB SwapTotal: 67108856 kB SwapFree: 67099708 kB Dirty: 700 kB Writeback: 4 kB AnonPages: 1469340 kB Mapped: 6956 kB Shmem: 0 kB Slab: 564384 kB SReclaimable: 8316 kB SUnreclaim: 556068 kB KernelStack: 1384 kB PageTables: 6368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1547812 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 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= 71732 MiB End job on node121 at 2016-06-16 10:28:31