Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 73853 | 1802.26 | 1767.63 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay33.lin.opb |
| MD5SUM | 88343adc473661524edc0508df895744 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 72340 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 11720 |
| Total number of constraints | 33295 |
| Number of constraints which are clauses | 22103 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11191 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 11717 |
| Biggest coefficient in the objective function | 86090 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 730956 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 86090 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 730956 |
| 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.08/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.08/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.10 c See www.sat4j.org for details. 0.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Glucose 2.1 dynamic restart strategy 0.08/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-4118443-1467229508.opb 0.08/0.13 c reading problem ... 0.08/0.13 c objective function found 1.06/0.60 c ... done. Wall clock time 0.477s. 1.06/0.60 c declared #vars 11720 1.06/0.60 c #constraints 33296 1.06/0.60 c constraints type 1.06/0.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 22103 1.06/0.60 c org.sat4j.specs.Constr$1 => 1 1.06/0.60 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 1.06/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 11191 1.06/0.60 c 33296 constraints processed. 1.06/0.60 c objective function length is 11717 literals 1.34/0.75 c SATISFIABLE 1.34/0.75 c OPTIMIZING... 1.34/0.75 c Got one! Elapsed wall clock time (in seconds):0.621 1.34/0.75 o 74285 1.57/0.88 c Got one! Elapsed wall clock time (in seconds):0.749 1.57/0.88 o 74282 1.83/0.93 c Got one! Elapsed wall clock time (in seconds):0.804 1.83/0.93 o 74267 2.04/1.02 c Got one! Elapsed wall clock time (in seconds):0.894 2.04/1.02 o 74249 2.16/1.12 c Got one! Elapsed wall clock time (in seconds):0.991 2.16/1.12 o 74240 2.16/1.19 c Got one! Elapsed wall clock time (in seconds):1.066 2.16/1.19 o 74237 4.66/3.53 c Got one! Elapsed wall clock time (in seconds):3.404 4.66/3.53 o 74232 5.06/3.94 c Got one! Elapsed wall clock time (in seconds):3.814 5.06/3.94 o 74229 5.06/3.96 c Got one! Elapsed wall clock time (in seconds):3.829 5.06/3.96 o 74194 5.06/3.97 c Got one! Elapsed wall clock time (in seconds):3.845 5.06/3.97 o 74191 5.18/4.02 c Got one! Elapsed wall clock time (in seconds):3.897 5.18/4.02 o 74173 5.18/4.07 c Got one! Elapsed wall clock time (in seconds):3.944 5.18/4.07 o 74161 8.45/7.05 c cleaning 3009 clauses out of 6019 with flag 6317/6019 13.04/11.54 c Got one! Elapsed wall clock time (in seconds):11.416 13.04/11.54 o 74158 14.05/12.54 c Got one! Elapsed wall clock time (in seconds):12.412 14.05/12.54 o 74155 14.05/12.55 c Got one! Elapsed wall clock time (in seconds):12.428 14.05/12.55 o 74149 14.05/12.59 c Got one! Elapsed wall clock time (in seconds):12.461 14.05/12.59 o 74131 14.14/12.63 c Got one! Elapsed wall clock time (in seconds):12.507 14.14/12.63 o 74119 15.15/13.67 c cleaning 4809 clauses out of 9624 with flag 2036/12633 21.63/19.71 c cleaning 5407 clauses out of 10815 with flag 14411/18633 28.86/26.79 c cleaning 6195 clauses out of 12408 with flag 29153/25633 37.09/34.93 c cleaning 7106 clauses out of 14213 with flag 46569/33633 46.85/44.15 c cleaning 8050 clauses out of 16108 with flag 64779/42634 56.76/54.06 c cleaning 9023 clauses out of 18057 with flag 84821/52633 64.45/61.33 c Got one! Elapsed wall clock time (in seconds):61.206 64.45/61.33 o 74104 64.55/61.46 c Got one! Elapsed wall clock time (in seconds):61.337 64.55/61.46 o 74094 65.25/62.16 c Got one! Elapsed wall clock time (in seconds):62.038 65.25/62.16 o 74090 65.35/62.29 c Got one! Elapsed wall clock time (in seconds):62.167 65.35/62.29 o 74082 65.45/62.31 c Got one! Elapsed wall clock time (in seconds):62.186 65.45/62.31 o 74070 66.65/63.51 c Got one! Elapsed wall clock time (in seconds):63.388 66.65/63.51 o 74058 66.65/63.53 c Got one! Elapsed wall clock time (in seconds):63.404 66.65/63.53 o 74048 66.75/63.61 c Got one! Elapsed wall clock time (in seconds):63.485 66.75/63.61 o 74035 66.75/63.63 c Got one! Elapsed wall clock time (in seconds):63.501 66.75/63.63 o 74030 66.75/63.66 c Got one! Elapsed wall clock time (in seconds):63.533 66.75/63.66 o 74018 67.16/64.01 c Got one! Elapsed wall clock time (in seconds):63.879 67.16/64.01 o 74014 67.16/64.05 c Got one! Elapsed wall clock time (in seconds):63.926 67.16/64.05 o 74006 67.26/64.11 c Got one! Elapsed wall clock time (in seconds):63.981 67.26/64.11 o 73994 71.36/68.23 c cleaning 11420 clauses out of 22850 with flag 8291/66449 74.46/71.35 c Got one! Elapsed wall clock time (in seconds):71.226 74.46/71.35 o 73985 76.56/73.40 c cleaning 8317 clauses out of 16639 with flag 4097/71658 82.37/79.27 c cleaning 7158 clauses out of 14322 with flag 16344/77658 90.36/86.41 c cleaning 7072 clauses out of 14162 with flag 30597/84656 98.36/94.45 c cleaning 7543 clauses out of 15091 with flag 47247/92657 107.16/103.21 c cleaning 8273 clauses out of 16548 with flag 66271/101657 118.64/113.72 c cleaning 9134 clauses out of 18274 with flag 87987/111656 129.64/124.74 c cleaning 10065 clauses out of 20141 with flag 111548/122657 141.74/136.86 c cleaning 11031 clauses out of 22075 with flag 138259/134656 156.79/150.61 c cleaning 12018 clauses out of 24044 with flag 167276/147656 171.29/165.18 c cleaning 13007 clauses out of 26027 with flag 198167/161657 187.18/181.04 c cleaning 13998 clauses out of 28019 with flag 230815/176656 204.93/198.16 c cleaning 15002 clauses out of 30021 with flag 266187/192656 223.02/216.27 c cleaning 15999 clauses out of 32019 with flag 302810/209656 243.92/236.19 c cleaning 16999 clauses out of 34021 with flag 343909/227657 265.15/256.91 c cleaning 17995 clauses out of 36021 with flag 386182/246656 286.85/278.69 c cleaning 19001 clauses out of 38026 with flag 431825/266656 310.25/301.48 c cleaning 20007 clauses out of 40026 with flag 480413/287657 334.48/324.60 c cleaning 20998 clauses out of 42018 with flag 527767/309656 357.97/348.04 c cleaning 22001 clauses out of 44020 with flag 576508/332656 382.43/372.20 c cleaning 23001 clauses out of 46019 with flag 627119/356656 408.44/397.79 c cleaning 23999 clauses out of 48018 with flag 679220/381656 437.93/426.23 c cleaning 25000 clauses out of 50020 with flag 733814/407657 465.13/453.40 c cleaning 26003 clauses out of 52021 with flag 789602/434658 494.93/482.93 c cleaning 26994 clauses out of 54017 with flag 847949/462657 525.02/512.52 c cleaning 28001 clauses out of 56024 with flag 909049/491658 557.31/544.01 c cleaning 28999 clauses out of 58021 with flag 974335/521656 580.40/566.76 c Got one! Elapsed wall clock time (in seconds):566.633 580.40/566.76 o 73980 585.50/571.85 c cleaning 27809 clauses out of 55633 with flag 10057/548267 591.10/577.48 c cleaning 16900 clauses out of 33825 with flag 22082/554268 597.60/583.90 c cleaning 11956 clauses out of 23924 with flag 36351/561267 605.72/591.77 c cleaning 9975 clauses out of 19969 with flag 52738/569268 614.22/600.24 c cleaning 9488 clauses out of 18993 with flag 71759/578267 623.33/609.36 c cleaning 9745 clauses out of 19505 with flag 92141/588267 633.86/619.70 c cleaning 10376 clauses out of 20760 with flag 114443/599267 645.06/630.90 c cleaning 11184 clauses out of 22385 with flag 138793/611268 657.46/643.05 c cleaning 12094 clauses out of 24201 with flag 165234/624268 670.36/655.95 c cleaning 13045 clauses out of 26107 with flag 193317/638268 685.02/670.21 c cleaning 14021 clauses out of 28061 with flag 223547/653267 700.43/685.65 c cleaning 15012 clauses out of 30041 with flag 256104/669268 717.13/702.03 c cleaning 16006 clauses out of 32028 with flag 290518/686267 734.64/719.50 c cleaning 17005 clauses out of 34023 with flag 326563/704268 754.02/738.73 c cleaning 18002 clauses out of 36018 with flag 364881/723268 774.60/759.09 c cleaning 18998 clauses out of 38015 with flag 405302/743267 796.47/780.60 c cleaning 20001 clauses out of 40017 with flag 448087/764267 818.88/802.61 c cleaning 21002 clauses out of 42016 with flag 493866/786267 842.45/825.70 c cleaning 22000 clauses out of 44015 with flag 542559/809268 866.77/849.54 c cleaning 22992 clauses out of 46014 with flag 592028/833267 868.78/851.60 c Got one! Elapsed wall clock time (in seconds):851.47 868.78/851.60 o 73978 871.77/854.53 c cleaning 14118 clauses out of 28253 with flag 6212/838498 877.37/860.12 c cleaning 10059 clauses out of 20134 with flag 18297/844497 879.37/862.12 c Got one! Elapsed wall clock time (in seconds):861.995 879.37/862.12 o 73975 880.27/863.06 c Got one! Elapsed wall clock time (in seconds):862.929 880.27/863.06 o 73966 880.70/863.36 c Got one! Elapsed wall clock time (in seconds):863.234 880.70/863.36 o 73964 880.70/863.39 c Got one! Elapsed wall clock time (in seconds):863.263 880.70/863.39 o 73956 880.80/863.41 c Got one! Elapsed wall clock time (in seconds):863.279 880.80/863.41 o 73944 880.80/863.47 c Got one! Elapsed wall clock time (in seconds):863.342 880.80/863.47 o 73938 881.80/864.46 c Got one! Elapsed wall clock time (in seconds):864.337 881.80/864.46 o 73929 881.90/864.59 c Got one! Elapsed wall clock time (in seconds):864.459 881.90/864.59 o 73918 883.80/866.43 c cleaning 8345 clauses out of 16706 with flag 4045/851128 885.41/868.06 c Got one! Elapsed wall clock time (in seconds):867.93 885.41/868.06 o 73917 889.20/871.83 c cleaning 7072 clauses out of 14168 with flag 8378/856935 891.40/874.02 c Got one! Elapsed wall clock time (in seconds):873.893 891.40/874.02 o 73906 892.20/874.85 c Got one! Elapsed wall clock time (in seconds):874.725 892.20/874.85 o 73898 892.80/875.45 c Got one! Elapsed wall clock time (in seconds):875.32 892.80/875.45 o 73886 895.60/878.23 c cleaning 6997 clauses out of 14012 with flag 6181/863851 901.32/883.85 c cleaning 6498 clauses out of 13014 with flag 18225/869850 907.72/890.27 c cleaning 6748 clauses out of 13516 with flag 32768/876850 914.93/897.47 c cleaning 7374 clauses out of 14767 with flag 49139/884849 923.32/905.75 c cleaning 8186 clauses out of 16393 with flag 67218/893849 932.52/914.95 c cleaning 9094 clauses out of 18208 with flag 87873/903850 942.78/925.05 c cleaning 10048 clauses out of 20113 with flag 109907/914849 953.89/936.19 c cleaning 11023 clauses out of 22065 with flag 133975/926849 966.50/948.64 c cleaning 12012 clauses out of 24043 with flag 160007/939850 981.32/963.22 c cleaning 13002 clauses out of 26030 with flag 188096/953849 996.52/978.18 c Got one! Elapsed wall clock time (in seconds):978.05 996.52/978.18 o 73883 1001.52/983.15 c cleaning 16468 clauses out of 32956 with flag 10410/973777 1003.92/985.58 c Got one! Elapsed wall clock time (in seconds):985.456 1003.92/985.58 o 73878 1005.23/986.85 c Got one! Elapsed wall clock time (in seconds):986.725 1005.23/986.85 o 73866 1007.12/988.76 c cleaning 11203 clauses out of 22426 with flag 4015/979715 1008.72/990.37 c Got one! Elapsed wall clock time (in seconds):990.247 1008.72/990.37 o 73853 1012.66/994.13 c cleaning 8477 clauses out of 16980 with flag 8079/985472 1018.16/999.62 c cleaning 7239 clauses out of 14502 with flag 20384/991471 1024.46/1005.92 c cleaning 7119 clauses out of 14264 with flag 34569/998472 1031.77/1013.18 c cleaning 7558 clauses out of 15145 with flag 50773/1006472 1039.97/1021.36 c cleaning 8289 clauses out of 16587 with flag 68803/1015472 1049.29/1030.59 c cleaning 9141 clauses out of 18297 with flag 88917/1025471 1059.94/1040.95 c cleaning 10068 clauses out of 20157 with flag 111398/1036472 1071.64/1052.62 c cleaning 11033 clauses out of 22088 with flag 136800/1048471 1084.58/1065.46 c cleaning 12016 clauses out of 24055 with flag 163395/1061471 1098.28/1078.99 c cleaning 13013 clauses out of 26040 with flag 191746/1075472 1112.93/1093.34 c cleaning 14009 clauses out of 28026 with flag 223377/1090471 1128.39/1108.59 c cleaning 14998 clauses out of 30019 with flag 256060/1106473 1145.69/1125.62 c cleaning 16004 clauses out of 32020 with flag 295354/1123472 1166.11/1145.84 c cleaning 16999 clauses out of 34016 with flag 335747/1141472 1187.88/1167.27 c cleaning 18000 clauses out of 36016 with flag 378847/1160471 1209.21/1188.32 c cleaning 18995 clauses out of 38016 with flag 421249/1180471 1230.58/1209.27 c cleaning 19995 clauses out of 40021 with flag 463825/1201471 1253.70/1231.75 c cleaning 21000 clauses out of 42027 with flag 510354/1223472 1279.58/1256.82 c cleaning 22001 clauses out of 44027 with flag 560528/1246472 1307.41/1283.80 c cleaning 23002 clauses out of 46025 with flag 611302/1270471 1335.85/1311.52 c cleaning 24000 clauses out of 48023 with flag 663971/1295471 1365.12/1340.40 c cleaning 25004 clauses out of 50025 with flag 719293/1321473 1394.21/1368.92 c cleaning 26003 clauses out of 52019 with flag 781554/1348471 1424.23/1398.54 c cleaning 27000 clauses out of 54016 with flag 844611/1376471 1456.32/1429.87 c cleaning 27998 clauses out of 56018 with flag 908457/1405473 1491.25/1464.01 c cleaning 28999 clauses out of 58018 with flag 972651/1435471 1525.89/1498.38 c cleaning 29996 clauses out of 60021 with flag 1039690/1466473 1560.38/1531.94 c cleaning 31001 clauses out of 62023 with flag 1108992/1498471 1595.69/1566.33 c cleaning 31999 clauses out of 64022 with flag 1180974/1531471 1632.33/1602.48 c cleaning 33003 clauses out of 66024 with flag 1256861/1565472 1672.20/1641.53 c cleaning 33997 clauses out of 68021 with flag 1336360/1600472 1713.88/1681.94 c cleaning 34998 clauses out of 70023 with flag 1420371/1636471 1757.84/1724.91 c cleaning 36004 clauses out of 72026 with flag 1508653/1673472 1802.01/1767.55 c starts : 50 1802.01/1767.55 c conflicts : 1708600 1802.01/1767.55 c decisions : 1735932 1802.01/1767.55 c propagations : 37733723 1802.01/1767.55 c inspects : 3450402147 1802.01/1767.55 c shortcuts : 0 1802.01/1767.55 c learnt literals : 0 1802.01/1767.55 c learnt binary clauses : 1 1802.01/1767.55 c learnt ternary clauses : 114 1802.01/1767.55 c learnt constraints : 1708600 1802.01/1767.55 c ignored constraints : 0 1802.01/1767.55 c root simplifications : 0 1802.01/1767.55 c removed literals (reason simplification) : 0 1802.01/1767.55 c reason swapping (by a shorter reason) : 0 1802.01/1767.55 c Calls to reduceDB : 103 1802.01/1767.55 c Number of update (reduction) of LBD : 1187 1802.01/1767.55 c Imported unit clauses : 0 1802.01/1767.55 c number of reductions to clauses (during analyze) : 0 1802.01/1767.55 c number of learned constraints concerned by reduction : 0 1802.01/1767.55 c number of learning phase by resolution : 0 1802.01/1767.55 c number of learning phase by cutting planes : 0 1802.01/1767.55 c speed (assignments/second) : 21355.98723634495 1802.01/1767.55 c non guided choices 0 1802.01/1767.57 c learnt constraints type 1802.01/1767.57 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1802.01/1767.57 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 71149 1802.01/1767.57 s SATISFIABLE 1802.01/1767.57 c Found 49 solution(s) 1802.01/1767.58 v x1 -x2 x3 x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 x66 -x67 x68 x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 x255 -x256 x257 -x258 x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 x340 x341 x342 -x343 -x344 x345 x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 x377 -x378 -x379 x380 x381 x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 x427 x428 x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 x439 x440 x441 x442 -x443 x444 -x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 x503 x504 x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 x516 x517 x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 x531 x532 x533 x534 x535 x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 x814 x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 x1287 x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 -x5121 x5122 x5123 x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 x5806 x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 x7105 x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 x7638 -x7639 x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 x7669 -x7670 -x7671 x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 x7743 -x7744 -x7745 -x7746 x7747 -x7748 -x7749 x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 x7798 -x7799 -x7800 x7801 x7802 -x7803 -x7804 x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 x7905 -x7906 x7907 x7908 x7909 x7910 x7911 x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 x8172 -x8173 x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 x8200 -x8201 -x8202 x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 x8313 x8314 x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 x8406 x8407 x8408 x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 x9195 x9196 x9197 x9198 x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 x9435 x9436 x9437 -x9438 x9439 x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 x9459 -x9460 x9461 x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 x9471 -x9472 -x9473 x9474 x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 x9483 -x9484 x9485 x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 x9493 x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 x9509 x9510 x9511 x9512 -x9513 -x9514 -x9515 -x9516 -x9517 x9518 -x9519 -x9520 x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 x9579 x9580 -x9581 -x9582 -x9583 x9584 x9585 x9586 x9587 x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 x9609 x9610 x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 x9628 x9629 x9630 x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 x9646 -x9647 x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 x9910 x9911 x9912 x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 x10089 -x10090 x10091 x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 x10112 x10113 x10114 x10115 -x10116 -x10117 -x10118 -x10119 -x10120 x10121 x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 x10174 x10175 -x10176 -x10177 -x10178 x10179 x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 x10198 -x10199 x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 x10215 x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 x10422 x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 x10633 x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 x10666 x10667 -x10668 x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 x10821 x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 x10836 x10837 -x10838 x10839 -x10840 -x10841 -x10842 -x10843 -x10844 x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 x10854 -x10855 x10856 -x10857 -x10858 -x10859 -x10860 -x10861 x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 x11001 x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 x11017 x11018 -x11019 x11020 x11021 x11022 -x11023 -x11024 -x11025 x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 x11036 -x11037 x11038 x11039 x11040 -x11041 -x11042 -x11043 x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 x11137 -x11138 x11139 x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 x11150 -x11151 x11152 x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11221 -x11222 -x11223 -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272 -x11273 -x11274 -x11275 -x11276 -x11277 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11309 -x11310 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11322 -x11323 -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339 -x11340 -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11365 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11374 -x11375 -x11376 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11387 -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11408 -x11409 -x11410 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11422 -x11423 -x11424 -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473 -x11474 -x11475 -x11476 -x11477 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11488 -x11489 -x11490 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11499 -x11500 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507 -x11508 -x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11555 -x11556 -x11557 -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11566 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11588 -x11589 -x11590 -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607 -x11608 -x11609 -x11610 -x11611 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 x11619 x11620 x11621 -x11622 -x11623 -x11624 -x11625 -x11626 -x11627 -x11628 -x11629 x11630 x11631 x11632 -x11633 -x11634 x11635 x11636 -x11637 -x11638 x11639 x11640 -x11641 x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 x11673 x11674 x11675 x11676 -x11677 -x11678 x11679 x11680 x11681 -x11682 -x11683 x11684 x11685 -x11686 -x11687 -x11688 x11689 -x11690 -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706 -x11707 -x11708 -x11709 -x11710 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 1802.01/1767.59 c objective function=73853 1802.01/1767.59 c Total wall clock time (in seconds): 1767.468
OK 73853
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-4118443-1467229508/watcher-4118443-1467229508 -o /tmp/evaluation-result-4118443-1467229508/solver-4118443-1467229508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3606 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118443-1467229508.opb pid=6294 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.56 2.38 2.29 3/194 6297 /proc/meminfo: memFree=22325316/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/6297/stat : 6297 (java) D 6294 6297 3589 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 3909282 9515008 175 33554432000 1073741824 1073778376 140735042252496 140735042235224 226084340624 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0 /proc/6297/statm: 2323 175 133 9 0 71 0 [startup+0.100157 s] /proc/loadavg: 2.56 2.38 2.29 3/194 6297 /proc/meminfo: memFree=22325316/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 4106 0 1 0 7 1 0 0 20 0 18 0 3909282 9787879424 4722 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2389619 4723 2052 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200286 s] /proc/loadavg: 2.56 2.38 2.29 3/194 6297 /proc/meminfo: memFree=22325316/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9558476 CPUtime=0.26 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 5035 0 1 0 25 1 0 0 20 0 18 0 3909282 9787879424 7046 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2389619 7046 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300274 s] /proc/loadavg: 2.56 2.38 2.29 3/194 6297 /proc/meminfo: memFree=22325316/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9558476 CPUtime=0.47 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 5980 0 1 0 45 2 0 0 20 0 18 0 3909282 9787879424 8911 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2389619 8911 2230 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700224 s] /proc/loadavg: 2.56 2.38 2.29 3/194 6297 /proc/meminfo: memFree=22325316/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9625040 CPUtime=1.34 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 9305 0 1 0 131 3 0 0 20 0 19 0 3909282 9856040960 29468 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2406260 29468 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 9625040 [startup+1.50074 s] /proc/loadavg: 2.51 2.38 2.28 3/213 6316 /proc/meminfo: memFree=22197204/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9625040 CPUtime=2.59 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 9894 0 1 0 255 4 0 0 20 0 19 0 3909282 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2406260 38723 2265 9 0 2396937 0 [pid=6297/tid=6299] ppid=6294 vsize=9625040 CPUtime=1.45 cores=0,2,4,6 /proc/6297/task/6299/stat : 6299 (java) R 6294 6297 3589 0 -1 4202560 2556 0 1 0 142 3 0 0 20 0 19 0 3909283 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140394087133488 140394027707765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6300] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6300/stat : 6300 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393930505128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6301] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6301/stat : 6301 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393929452584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6302] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6302/stat : 6302 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393928399528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6303] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6303/stat : 6303 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393927346984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6304] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6304/stat : 6304 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393926293928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6305] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6305/stat : 6305 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393925241384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6306] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6306/stat : 6306 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393924188328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6307] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6307/stat : 6307 (java) S 6294 6297 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393923135784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6308] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6308/stat : 6308 (java) S 6294 6297 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393910938472 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6309] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6309/stat : 6309 (java) S 6294 6297 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393909884792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6310] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6310/stat : 6310 (java) S 6294 6297 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393908831624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6311] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6311/stat : 6311 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393907780368 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6312] ppid=6294 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/6297/task/6312/stat : 6312 (java) S 6294 6297 3589 0 -1 4202560 2815 0 0 0 53 0 0 0 20 0 19 0 3909289 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393906727224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6313] ppid=6294 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/6297/task/6313/stat : 6313 (java) S 6294 6297 3589 0 -1 4202560 3245 0 0 0 56 0 0 0 20 0 19 0 3909289 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393905674680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6314] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6314/stat : 6314 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393904621816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6315] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6315/stat : 6315 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393903569480 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6316] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6316/stat : 6316 (java) S 6294 6297 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3909348 9856040960 38723 33554432000 1073741824 1073778376 140736159538576 140393902515752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.59 Current children cumulated vsize (KiB) 9625040 [startup+3.10077 s] /proc/loadavg: 2.51 2.38 2.28 3/213 6316 /proc/meminfo: memFree=22138992/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9625040 CPUtime=4.26 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 10052 0 1 0 416 10 0 0 20 0 19 0 3909282 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2406260 48537 2278 9 0 2396937 0 [pid=6297/tid=6299] ppid=6294 vsize=9625040 CPUtime=3.02 cores=0,2,4,6 /proc/6297/task/6299/stat : 6299 (java) R 6294 6297 3589 0 -1 4202560 2565 0 1 0 299 3 0 0 20 0 19 0 3909283 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140394087139696 140394027684553 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6300] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6300/stat : 6300 (java) S 6294 6297 3589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393930505128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6301] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6301/stat : 6301 (java) S 6294 6297 3589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393929452584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6302] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6302/stat : 6302 (java) S 6294 6297 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393928399528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6303] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6303/stat : 6303 (java) S 6294 6297 3589 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393927346984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6304] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6304/stat : 6304 (java) S 6294 6297 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393926293928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6305] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6305/stat : 6305 (java) S 6294 6297 3589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393925241384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6306] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6306/stat : 6306 (java) S 6294 6297 3589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393924188328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6307] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6307/stat : 6307 (java) S 6294 6297 3589 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 3909284 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393923135784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6308] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6308/stat : 6308 (java) S 6294 6297 3589 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393910938472 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6309] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6309/stat : 6309 (java) S 6294 6297 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393909884792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6310] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6310/stat : 6310 (java) S 6294 6297 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393908831624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6311] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6311/stat : 6311 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393907780368 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6312] ppid=6294 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/6297/task/6312/stat : 6312 (java) S 6294 6297 3589 0 -1 4202560 2815 0 0 0 53 0 0 0 20 0 19 0 3909289 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393906727224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6313] ppid=6294 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/6297/task/6313/stat : 6313 (java) S 6294 6297 3589 0 -1 4202560 3245 0 0 0 56 0 0 0 20 0 19 0 3909289 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393905674680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6314] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6314/stat : 6314 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393904621816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6315] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6315/stat : 6315 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393903569480 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6316] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6316/stat : 6316 (java) S 6294 6297 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3909348 9856040960 48537 33554432000 1073741824 1073778376 140736159538576 140393902515752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.26 Current children cumulated vsize (KiB) 9625040 [startup+6.30078 s] /proc/loadavg: 2.47 2.37 2.28 11/213 6316 /proc/meminfo: memFree=22114044/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9625040 CPUtime=7.75 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 11449 0 1 0 749 26 0 0 20 0 19 0 3909282 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2406260 80522 2283 9 0 2396937 0 [pid=6297/tid=6299] ppid=6294 vsize=9625040 CPUtime=6.13 cores=0,2,4,6 /proc/6297/task/6299/stat : 6299 (java) R 6294 6297 3589 0 -1 4202560 2568 0 1 0 610 3 0 0 20 0 19 0 3909283 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140394087140240 140394027702856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6300] ppid=6294 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/6297/task/6300/stat : 6300 (java) S 6294 6297 3589 0 -1 4202560 151 0 0 0 1 3 0 0 20 0 19 0 3909284 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393930505128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6301] ppid=6294 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/6297/task/6301/stat : 6301 (java) S 6294 6297 3589 0 -1 4202560 138 0 0 0 0 2 0 0 20 0 19 0 3909284 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393929452584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6302] ppid=6294 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/6297/task/6302/stat : 6302 (java) S 6294 6297 3589 0 -1 4202560 41 0 0 0 1 2 0 0 20 0 19 0 3909284 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393928399528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6303] ppid=6294 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/6297/task/6303/stat : 6303 (java) S 6294 6297 3589 0 -1 4202560 37 0 0 0 0 2 0 0 20 0 19 0 3909284 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393927346984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6304] ppid=6294 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/6297/task/6304/stat : 6304 (java) S 6294 6297 3589 0 -1 4202560 34 0 0 0 0 2 0 0 20 0 19 0 3909284 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393926293928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6305] ppid=6294 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/6297/task/6305/stat : 6305 (java) S 6294 6297 3589 0 -1 4202560 64 0 0 0 1 2 0 0 20 0 19 0 3909284 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393925241384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6306] ppid=6294 vsize=9625040 CPUtime=0.08 cores=0,2,4,6 /proc/6297/task/6306/stat : 6306 (java) S 6294 6297 3589 0 -1 4202560 180 0 0 0 3 5 0 0 20 0 19 0 3909284 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393924188328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6307] ppid=6294 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/6297/task/6307/stat : 6307 (java) S 6294 6297 3589 0 -1 4202560 50 0 0 0 1 3 0 0 20 0 19 0 3909284 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393923135784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6308] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6308/stat : 6308 (java) S 6294 6297 3589 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393910938472 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6309] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6309/stat : 6309 (java) S 6294 6297 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393909884792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6310] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6310/stat : 6310 (java) S 6294 6297 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393908831624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6311] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6311/stat : 6311 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393907780368 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6312] ppid=6294 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/6297/task/6312/stat : 6312 (java) S 6294 6297 3589 0 -1 4202560 2815 0 0 0 53 0 0 0 20 0 19 0 3909289 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393906727224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6313] ppid=6294 vsize=9625040 CPUtime=0.62 cores=0,2,4,6 /proc/6297/task/6313/stat : 6313 (java) S 6294 6297 3589 0 -1 4202560 4033 0 0 0 62 0 0 0 20 0 19 0 3909289 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393905674680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6314] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6314/stat : 6314 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393904621816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6315] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6315/stat : 6315 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393903569480 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6316] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6316/stat : 6316 (java) S 6294 6297 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3909348 9856040960 80522 33554432000 1073741824 1073778376 140736159538576 140393902515752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.75 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=6297/tid=6314] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6314/stat : 6314 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 1078081 33554432000 1073741824 1073778376 140736159538576 140393904621816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6315] ppid=6294 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/6297/task/6315/stat : 6315 (java) S 6294 6297 3589 0 -1 4202560 99 0 0 0 18 20 0 0 20 0 19 0 3909289 9856040960 1078081 33554432000 1073741824 1073778376 140736159538576 140393903569480 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6316] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6316/stat : 6316 (java) S 6294 6297 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3909348 9856040960 1078081 33554432000 1073741824 1073778376 140736159538576 140393902515752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1755.23 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1766.6 s] /proc/loadavg: 2.36 2.37 2.29 3/213 6448 /proc/meminfo: memFree=21394980/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 31850 0 1 0 179288 715 0 0 20 0 19 0 3909282 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2406260 1112909 2296 9 0 2396937 0 [pid=6297/tid=6299] ppid=6294 vsize=9625040 CPUtime=1746.56 cores=0,2,4,6 /proc/6297/task/6299/stat : 6299 (java) R 6294 6297 3589 0 -1 4202560 3538 0 1 0 174617 39 0 0 20 0 19 0 3909283 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140394087140592 140394027786017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6300] ppid=6294 vsize=9625040 CPUtime=5.55 cores=0,2,4,6 /proc/6297/task/6300/stat : 6300 (java) S 6294 6297 3589 0 -1 4202560 1771 0 0 0 480 75 0 0 20 0 19 0 3909284 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393930505128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6301] ppid=6294 vsize=9625040 CPUtime=5.38 cores=0,2,4,6 /proc/6297/task/6301/stat : 6301 (java) S 6294 6297 3589 0 -1 4202560 1761 0 0 0 448 90 0 0 20 0 19 0 3909284 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393929452584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6302] ppid=6294 vsize=9625040 CPUtime=5.53 cores=0,2,4,6 /proc/6297/task/6302/stat : 6302 (java) S 6294 6297 3589 0 -1 4202560 1529 0 0 0 469 84 0 0 20 0 19 0 3909284 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393928399528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6303] ppid=6294 vsize=9625040 CPUtime=5.68 cores=0,2,4,6 /proc/6297/task/6303/stat : 6303 (java) S 6294 6297 3589 0 -1 4202560 1664 0 0 0 485 83 0 0 20 0 19 0 3909284 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393927346984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6304] ppid=6294 vsize=9625040 CPUtime=5.56 cores=0,2,4,6 /proc/6297/task/6304/stat : 6304 (java) S 6294 6297 3589 0 -1 4202560 1534 0 0 0 472 84 0 0 20 0 19 0 3909284 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393926293928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6305] ppid=6294 vsize=9625040 CPUtime=5.29 cores=0,2,4,6 /proc/6297/task/6305/stat : 6305 (java) S 6294 6297 3589 0 -1 4202560 1719 0 0 0 439 90 0 0 20 0 19 0 3909284 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393925241384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6306] ppid=6294 vsize=9625040 CPUtime=5.1 cores=0,2,4,6 /proc/6297/task/6306/stat : 6306 (java) S 6294 6297 3589 0 -1 4202560 1853 0 0 0 414 96 0 0 20 0 19 0 3909284 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393924188328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6307] ppid=6294 vsize=9625040 CPUtime=5.2 cores=0,2,4,6 /proc/6297/task/6307/stat : 6307 (java) S 6294 6297 3589 0 -1 4202560 1419 0 0 0 443 77 0 0 20 0 19 0 3909284 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393923135784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6308] ppid=6294 vsize=9625040 CPUtime=4.19 cores=0,2,4,6 /proc/6297/task/6308/stat : 6308 (java) S 6294 6297 3589 0 -1 4202560 6480 0 0 0 416 3 0 0 20 0 19 0 3909286 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393910938472 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6309] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6309/stat : 6309 (java) S 6294 6297 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393909884792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6310] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6310/stat : 6310 (java) S 6294 6297 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3909286 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393908831624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6311] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6311/stat : 6311 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393907780368 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6312] ppid=6294 vsize=9625040 CPUtime=0.62 cores=0,2,4,6 /proc/6297/task/6312/stat : 6312 (java) S 6294 6297 3589 0 -1 4202560 3167 0 0 0 62 0 0 0 20 0 19 0 3909289 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393906727224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6313] ppid=6294 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/6297/task/6313/stat : 6313 (java) S 6294 6297 3589 0 -1 4202560 4050 0 0 0 70 0 0 0 20 0 19 0 3909289 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393905674680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6314] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6314/stat : 6314 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3909289 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393904621816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6315] ppid=6294 vsize=9625040 CPUtime=0.38 cores=0,2,4,6 /proc/6297/task/6315/stat : 6315 (java) S 6294 6297 3589 0 -1 4202560 101 0 0 0 18 20 0 0 20 0 19 0 3909289 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393903569480 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6316] ppid=6294 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6316/stat : 6316 (java) S 6294 6297 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3909348 9856040960 1112909 33554432000 1073741824 1073778376 140736159538576 140393902515752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6297 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1767.2 s] /proc/loadavg: 2.36 2.37 2.29 3/213 6448 /proc/meminfo: memFree=21394980/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9691604 CPUtime=1801.71 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 32718 0 1 0 179404 767 0 0 20 0 20 0 3909282 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2422901 1225635 2296 9 0 2413578 0 [pid=6297/tid=6299] ppid=6294 vsize=9691604 CPUtime=1746.57 cores=0,2,4,6 /proc/6297/task/6299/stat : 6299 (java) S 6294 6297 3589 0 -1 4202560 3538 0 1 0 174618 39 0 0 20 0 20 0 3909283 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140394087139864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6300] ppid=6294 vsize=9691604 CPUtime=5.67 cores=0,2,4,6 /proc/6297/task/6300/stat : 6300 (java) S 6294 6297 3589 0 -1 4202560 1849 0 0 0 486 81 0 0 20 0 20 0 3909284 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393930505128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6301] ppid=6294 vsize=9691604 CPUtime=5.5 cores=0,2,4,6 /proc/6297/task/6301/stat : 6301 (java) S 6294 6297 3589 0 -1 4202560 1825 0 0 0 456 94 0 0 20 0 20 0 3909284 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393929452584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6302] ppid=6294 vsize=9691604 CPUtime=5.73 cores=0,2,4,6 /proc/6297/task/6302/stat : 6302 (java) S 6294 6297 3589 0 -1 4202560 1590 0 0 0 487 86 0 0 20 0 20 0 3909284 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393928399528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6303] ppid=6294 vsize=9691604 CPUtime=5.86 cores=0,2,4,6 /proc/6297/task/6303/stat : 6303 (java) S 6294 6297 3589 0 -1 4202560 1782 0 0 0 495 91 0 0 20 0 20 0 3909284 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393927346984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6304] ppid=6294 vsize=9691604 CPUtime=5.75 cores=0,2,4,6 /proc/6297/task/6304/stat : 6304 (java) S 6294 6297 3589 0 -1 4202560 1635 0 0 0 484 91 0 0 20 0 20 0 3909284 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393926293928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6305] ppid=6294 vsize=9691604 CPUtime=5.47 cores=0,2,4,6 /proc/6297/task/6305/stat : 6305 (java) S 6294 6297 3589 0 -1 4202560 1844 0 0 0 450 97 0 0 20 0 20 0 3909284 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393925241384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6306] ppid=6294 vsize=9691604 CPUtime=5.39 cores=0,2,4,6 /proc/6297/task/6306/stat : 6306 (java) S 6294 6297 3589 0 -1 4202560 2041 0 0 0 431 108 0 0 20 0 20 0 3909284 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393924188328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6307] ppid=6294 vsize=9691604 CPUtime=5.38 cores=0,2,4,6 /proc/6297/task/6307/stat : 6307 (java) S 6294 6297 3589 0 -1 4202560 1506 0 0 0 456 82 0 0 20 0 20 0 3909284 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393923135784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6308] ppid=6294 vsize=9691604 CPUtime=4.41 cores=0,2,4,6 /proc/6297/task/6308/stat : 6308 (java) R 6294 6297 3589 0 -1 4202560 6508 0 0 0 438 3 0 0 20 0 20 0 3909286 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393910937224 226084012332 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6309] ppid=6294 vsize=9691604 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6309/stat : 6309 (java) S 6294 6297 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 3909286 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393909884792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6310] ppid=6294 vsize=9691604 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6310/stat : 6310 (java) S 6294 6297 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 3909286 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393908831624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6311] ppid=6294 vsize=9691604 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6311/stat : 6311 (java) S 6294 6297 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 3909289 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393907780368 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6312] ppid=6294 vsize=9691604 CPUtime=0.62 cores=0,2,4,6 /proc/6297/task/6312/stat : 6312 (java) S 6294 6297 3589 0 -1 4202560 3167 0 0 0 62 0 0 0 20 0 20 0 3909289 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393906727224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6313] ppid=6294 vsize=9691604 CPUtime=0.7 cores=0,2,4,6 /proc/6297/task/6313/stat : 6313 (java) S 6294 6297 3589 0 -1 4202560 4050 0 0 0 70 0 0 0 20 0 20 0 3909289 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393905674680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6314] ppid=6294 vsize=9691604 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6314/stat : 6314 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3909289 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393904621816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6315] ppid=6294 vsize=9691604 CPUtime=0.38 cores=0,2,4,6 /proc/6297/task/6315/stat : 6315 (java) S 6294 6297 3589 0 -1 4202560 101 0 0 0 18 20 0 0 20 0 20 0 3909289 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393903569480 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6316] ppid=6294 vsize=9691604 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6316/stat : 6316 (java) S 6294 6297 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 3909348 9924202496 1225635 33554432000 1073741824 1073778376 140736159538576 140393902515752 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1801.71 Current children cumulated vsize (KiB) 9691604 [startup+1767.6 s] /proc/loadavg: 2.36 2.37 2.29 3/213 6448 /proc/meminfo: memFree=21394980/32872528 swapFree=1588980/1719796 [pid=6297] ppid=6294 vsize=9758168 CPUtime=1802.26 cores=0,2,4,6 /proc/6297/stat : 6297 (java) S 6294 6297 3589 0 -1 4202496 32921 0 1 0 179454 772 0 0 20 0 18 0 3909282 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140736159529712 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/6297/statm: 2439542 1225828 2298 9 0 2430219 0 [pid=6297/tid=6299] ppid=6294 vsize=9758168 CPUtime=1746.62 cores=0,2,4,6 /proc/6297/task/6299/stat : 6299 (java) S 6294 6297 3589 0 -1 4202560 3540 0 1 0 174623 39 0 0 20 0 18 0 3909283 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140394087140120 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6300] ppid=6294 vsize=9758168 CPUtime=5.67 cores=0,2,4,6 /proc/6297/task/6300/stat : 6300 (java) S 6294 6297 3589 0 -1 4202560 1849 0 0 0 486 81 0 0 20 0 18 0 3909284 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393930505128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6301] ppid=6294 vsize=9758168 CPUtime=5.5 cores=0,2,4,6 /proc/6297/task/6301/stat : 6301 (java) S 6294 6297 3589 0 -1 4202560 1825 0 0 0 456 94 0 0 20 0 18 0 3909284 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393929452584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6302] ppid=6294 vsize=9758168 CPUtime=5.73 cores=0,2,4,6 /proc/6297/task/6302/stat : 6302 (java) S 6294 6297 3589 0 -1 4202560 1590 0 0 0 487 86 0 0 20 0 18 0 3909284 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393928399528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6303] ppid=6294 vsize=9758168 CPUtime=5.86 cores=0,2,4,6 /proc/6297/task/6303/stat : 6303 (java) S 6294 6297 3589 0 -1 4202560 1782 0 0 0 495 91 0 0 20 0 18 0 3909284 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393927346984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6304] ppid=6294 vsize=9758168 CPUtime=5.75 cores=0,2,4,6 /proc/6297/task/6304/stat : 6304 (java) S 6294 6297 3589 0 -1 4202560 1635 0 0 0 484 91 0 0 20 0 18 0 3909284 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393926293928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6305] ppid=6294 vsize=9758168 CPUtime=5.47 cores=0,2,4,6 /proc/6297/task/6305/stat : 6305 (java) S 6294 6297 3589 0 -1 4202560 1844 0 0 0 450 97 0 0 20 0 18 0 3909284 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393925241384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6306] ppid=6294 vsize=9758168 CPUtime=5.39 cores=0,2,4,6 /proc/6297/task/6306/stat : 6306 (java) S 6294 6297 3589 0 -1 4202560 2041 0 0 0 431 108 0 0 20 0 18 0 3909284 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393924188328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=6297/tid=6307] ppid=6294 vsize=9758168 CPUtime=5.38 cores=0,2,4,6 /proc/6297/task/6307/stat : 6307 (java) S 6294 6297 3589 0 -1 4202560 1506 0 0 0 456 82 0 0 20 0 18 0 3909284 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393923135784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=6297/tid=6308] ppid=6294 vsize=9758168 CPUtime=4.76 cores=0,2,4,6 /proc/6297/task/6308/stat : 6308 (java) S 6294 6297 3589 0 -1 4202560 6690 0 0 0 473 3 0 0 20 0 18 0 3909286 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393910938024 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6309] ppid=6294 vsize=9758168 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6309/stat : 6309 (java) S 6294 6297 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 3909286 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393909884792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6310] ppid=6294 vsize=9758168 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6310/stat : 6310 (java) S 6294 6297 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 3909286 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393908831624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6311] ppid=6294 vsize=9758168 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6311/stat : 6311 (java) S 6294 6297 3589 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 3909289 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393907779400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6312] ppid=6294 vsize=9758168 CPUtime=0.65 cores=0,2,4,6 /proc/6297/task/6312/stat : 6312 (java) S 6294 6297 3589 0 -1 4202560 3169 0 0 0 65 0 0 0 20 0 18 0 3909289 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393906703656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=6297/tid=6313] ppid=6294 vsize=9758168 CPUtime=0.71 cores=0,2,4,6 /proc/6297/task/6313/stat : 6313 (java) S 6294 6297 3589 0 -1 4202560 4050 0 0 0 71 0 0 0 20 0 18 0 3909289 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393905651656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=6297/tid=6314] ppid=6294 vsize=9758168 CPUtime=0 cores=0,2,4,6 /proc/6297/task/6314/stat : 6314 (java) S 6294 6297 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3909289 9992364032 1225828 33554432000 1073741824 1073778376 140736159538576 140393904621816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1802.26 Current children cumulated vsize (KiB) 9758168 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6297 and gives # childrusage.ru_utime.tv_sec=1790 # childrusage.ru_utime.tv_usec=108862 # childrusage.ru_stime.tv_sec=8 # childrusage.ru_stime.tv_usec=83771 # CPU time returned by wait4() is 1798.19 # while last known CPU time is 1802.26 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1767.63 CPU time (s): 1802.26 CPU user time (s): 1794.54 CPU system time (s): 7.72 CPU usage (%): 101.959 Max. virtual memory (cumulated for all children) (KiB): 9758168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.11 system time used= 8.08377 maximum resident set size= 4903328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32921 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39919 involuntary context switches= 26132 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.3751 second user time and 16.5315 second system time The end
Begin job on node120 at 2016-06-29 21:45:08 IDJOB=4118443 IDBENCH=111494 IDSOLVER=2546 FILE ID=node120/4118443-1467229508 RUNJOBID= node120-1467209132-3606 PBS_JOBID= 19997582 Free space on /tmp= 71668 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay33.lin.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118443-1467229508/watcher-4118443-1467229508 -o /tmp/evaluation-result-4118443-1467229508/solver-4118443-1467229508 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3606 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118443-1467229508.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 88343adc473661524edc0508df895744 RANDOM SEED=1277428988 node120.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.669 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.33 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.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 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.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 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.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 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: 22325472 kB Buffers: 65780 kB Cached: 4102856 kB SwapCached: 0 kB Active: 4011184 kB Inactive: 4081684 kB Active(anon): 3926940 kB Inactive(anon): 0 kB Active(file): 84244 kB Inactive(file): 4081684 kB Unevictable: 1719796 kB Mlocked: 1588980 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 5744352 kB Mapped: 22208 kB Shmem: 204 kB Slab: 586328 kB SReclaimable: 30460 kB SUnreclaim: 555868 kB KernelStack: 1608 kB PageTables: 15520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 6035504 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4085760 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= 71668 MiB End job on node120 at 2016-06-29 22:14:35