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