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 | OPT | 2252617 | 603.74 | 601.32 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_0_mh_ic.opb |
| MD5SUM | b32f126aecba6bfb006545c8818dc00d |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2252617 |
| Best CPU time to get the best result obtained on this benchmark | 603.74 |
| 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 | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 68417929 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3962242471 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 68417929 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3962242471 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.08/0.11 c --- End Solver configuration --- 0.08/0.11 c solving HOME/instance-4085073-1465328109.opb 0.08/0.11 c reading problem ... 0.08/0.12 c objective function found 0.71/0.46 c ... done. Wall clock time 0.35s. 0.71/0.46 c declared #vars 9765 0.71/0.46 c #constraints 21931 0.71/0.46 c constraints type 0.71/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.71/0.46 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.71/0.46 c org.sat4j.specs.Constr$1 => 4 0.71/0.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.71/0.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.71/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.71/0.46 c 21931 constraints processed. 0.71/0.46 c objective function length is 4005 literals 1.14/0.67 c SATISFIABLE 1.14/0.67 c OPTIMIZING... 1.14/0.67 c Got one! Elapsed wall clock time (in seconds):0.558 1.14/0.67 o 2713129 3.41/2.31 c cleaning 2589 clauses out of 5184 with flag 35893/5189 5.18/4.09 c cleaning 4293 clauses out of 8595 with flag 88879/11189 7.08/5.96 c cleaning 5650 clauses out of 11304 with flag 146748/18191 9.59/8.43 c cleaning 6821 clauses out of 13646 with flag 198530/26189 12.42/11.24 c cleaning 7914 clauses out of 15827 with flag 254205/35191 13.62/12.42 c Got one! Elapsed wall clock time (in seconds):12.304 13.62/12.42 o 2702056 13.62/12.45 c Got one! Elapsed wall clock time (in seconds):12.332 13.62/12.45 o 2687359 14.14/12.81 c cleaning 6465 clauses out of 12955 with flag 5989/40233 15.94/14.62 c cleaning 6241 clauses out of 12489 with flag 45180/46232 18.04/16.74 c cleaning 6616 clauses out of 13248 with flag 86054/53232 20.34/19.01 c cleaning 7305 clauses out of 14631 with flag 141860/61232 22.83/21.59 c cleaning 8152 clauses out of 16326 with flag 208892/70232 25.54/24.22 c cleaning 9075 clauses out of 18174 with flag 296034/80232 28.84/27.54 c cleaning 10045 clauses out of 20100 with flag 359482/91233 32.15/30.90 c cleaning 11023 clauses out of 22055 with flag 428253/103233 35.94/34.62 c cleaning 12010 clauses out of 24031 with flag 529416/116232 39.64/38.38 c cleaning 13003 clauses out of 26022 with flag 638218/130233 40.64/39.36 c Got one! Elapsed wall clock time (in seconds):39.25 40.64/39.36 o 2633962 41.19/39.88 c cleaning 9230 clauses out of 18462 with flag 12651/135676 41.89/40.53 c Got one! Elapsed wall clock time (in seconds):40.413 41.89/40.53 o 2571270 41.89/40.55 c Got one! Elapsed wall clock time (in seconds):40.433 41.89/40.55 o 2493827 42.82/41.43 c cleaning 7136 clauses out of 14281 with flag 14845/140725 44.52/43.19 c cleaning 6530 clauses out of 13144 with flag 51174/146724 46.62/45.21 c cleaning 6801 clauses out of 13614 with flag 93082/153724 48.83/47.48 c cleaning 7405 clauses out of 14819 with flag 147603/161730 51.53/50.14 c cleaning 8184 clauses out of 16408 with flag 210298/170724 54.23/52.85 c cleaning 9110 clauses out of 18224 with flag 290082/180724 57.63/56.21 c cleaning 10047 clauses out of 20115 with flag 360316/191725 61.02/59.68 c cleaning 11028 clauses out of 22068 with flag 448355/203725 64.32/62.99 c cleaning 12013 clauses out of 24039 with flag 544378/216724 68.42/67.09 c cleaning 12999 clauses out of 26026 with flag 648425/230724 72.93/71.57 c cleaning 13998 clauses out of 28027 with flag 774252/245724 77.74/76.36 c cleaning 15010 clauses out of 30029 with flag 912655/261724 82.65/81.27 c cleaning 16006 clauses out of 32018 with flag 1051518/278724 85.25/83.88 c Got one! Elapsed wall clock time (in seconds):83.768 85.25/83.88 o 2477932 86.85/85.48 c cleaning 15510 clauses out of 31049 with flag 37148/293761 88.55/87.19 c cleaning 10767 clauses out of 21540 with flag 80400/299762 90.66/89.26 c cleaning 8876 clauses out of 17772 with flag 135358/306761 92.86/91.43 c cleaning 8436 clauses out of 16896 with flag 200113/314761 95.45/94.03 c cleaning 8727 clauses out of 17461 with flag 267130/323763 98.36/96.97 c cleaning 9357 clauses out of 18732 with flag 348298/333761 101.66/100.24 c cleaning 10177 clauses out of 20375 with flag 438539/344761 104.96/103.56 c cleaning 11094 clauses out of 22199 with flag 537566/356762 108.75/107.35 c cleaning 12051 clauses out of 24106 with flag 644243/369763 112.56/111.19 c cleaning 13019 clauses out of 26053 with flag 764846/383761 116.75/115.34 c cleaning 14008 clauses out of 28035 with flag 904344/398762 120.68/119.27 c cleaning 15009 clauses out of 30026 with flag 1032386/414761 125.28/123.87 c cleaning 15987 clauses out of 32016 with flag 1170241/431762 130.68/129.24 c cleaning 17010 clauses out of 34028 with flag 1304124/449761 136.29/134.83 c cleaning 17988 clauses out of 36019 with flag 1460244/468762 142.09/140.62 c cleaning 19012 clauses out of 38030 with flag 1635442/488761 148.09/146.65 c cleaning 19984 clauses out of 40018 with flag 1801015/509761 154.69/153.21 c cleaning 21012 clauses out of 42034 with flag 1983537/531762 161.19/159.77 c cleaning 22002 clauses out of 44021 with flag 2163862/554761 168.49/167.04 c cleaning 22996 clauses out of 46020 with flag 2363878/578762 176.09/174.61 c cleaning 24000 clauses out of 48023 with flag 2591175/603761 184.28/182.73 c cleaning 25009 clauses out of 50023 with flag 2795034/629761 192.67/191.13 c cleaning 25998 clauses out of 52014 with flag 3019172/656761 201.78/200.23 c cleaning 27004 clauses out of 54016 with flag 3253844/684761 210.60/209.08 c cleaning 27994 clauses out of 56013 with flag 3498626/713762 219.59/218.03 c cleaning 29004 clauses out of 58018 with flag 3748174/743761 229.31/227.75 c cleaning 30001 clauses out of 60014 with flag 4004316/774761 239.58/237.92 c cleaning 30997 clauses out of 62013 with flag 4276485/806761 249.77/248.15 c cleaning 31995 clauses out of 64016 with flag 4549172/839761 259.97/258.39 c cleaning 32990 clauses out of 66021 with flag 4876439/873761 271.27/269.69 c cleaning 34003 clauses out of 68030 with flag 5156700/908761 282.69/280.97 c cleaning 35000 clauses out of 70029 with flag 5465923/944763 294.79/293.02 c cleaning 36011 clauses out of 72027 with flag 5776013/981761 306.89/305.11 c cleaning 36999 clauses out of 74016 with flag 6070854/1019761 317.69/315.91 c Got one! Elapsed wall clock time (in seconds):315.8 317.69/315.91 o 2470323 319.49/317.77 c cleaning 38675 clauses out of 77370 with flag 46142/1060114 321.39/319.62 c cleaning 22323 clauses out of 44694 with flag 102355/1066113 323.48/321.64 c cleaning 14671 clauses out of 29371 with flag 162424/1073113 325.58/323.78 c cleaning 11333 clauses out of 22700 with flag 239399/1081113 328.08/326.29 c cleaning 10167 clauses out of 20367 with flag 316256/1090113 330.79/328.99 c cleaning 10083 clauses out of 20202 with flag 400716/1100115 333.78/331.93 c cleaning 10553 clauses out of 21118 with flag 506600/1111114 337.08/335.21 c cleaning 11273 clauses out of 22566 with flag 614102/1123115 340.69/338.86 c cleaning 12137 clauses out of 24293 with flag 718213/1136115 344.38/342.58 c cleaning 13072 clauses out of 26156 with flag 807273/1150115 348.28/346.43 c cleaning 14032 clauses out of 28082 with flag 907142/1165113 352.68/350.83 c cleaning 15018 clauses out of 30051 with flag 1019520/1181114 357.28/355.46 c cleaning 16014 clauses out of 32032 with flag 1149108/1198113 357.58/355.79 c Got one! Elapsed wall clock time (in seconds):355.678 357.58/355.79 o 2457917 358.91/357.04 c cleaning 10640 clauses out of 21314 with flag 36379/1203409 360.83/358.82 c cleaning 8311 clauses out of 16675 with flag 78240/1209410 362.73/360.72 c cleaning 7655 clauses out of 15363 with flag 105981/1216409 364.93/362.95 c cleaning 7835 clauses out of 15708 with flag 137043/1224409 367.63/365.65 c cleaning 8427 clauses out of 16873 with flag 181715/1233409 370.63/368.69 c cleaning 9217 clauses out of 18447 with flag 231724/1243410 373.73/371.80 c cleaning 10114 clauses out of 20230 with flag 283941/1254410 377.13/375.18 c cleaning 11055 clauses out of 22115 with flag 336996/1266409 380.93/378.93 c cleaning 12018 clauses out of 24060 with flag 392416/1279409 385.03/383.04 c cleaning 13015 clauses out of 26042 with flag 458558/1293409 389.33/387.32 c cleaning 13996 clauses out of 28027 with flag 531435/1308409 393.92/391.91 c cleaning 15008 clauses out of 30032 with flag 606525/1324410 399.03/397.01 c cleaning 15990 clauses out of 32023 with flag 676957/1341409 404.34/402.21 c cleaning 17013 clauses out of 34034 with flag 753939/1359410 409.83/407.75 c cleaning 18001 clauses out of 36021 with flag 836798/1378410 415.84/413.73 c cleaning 19008 clauses out of 38020 with flag 925895/1398410 422.53/420.46 c cleaning 19993 clauses out of 40012 with flag 1035486/1419410 429.03/426.92 c cleaning 20993 clauses out of 42018 with flag 1136146/1441409 435.94/433.78 c cleaning 22014 clauses out of 44027 with flag 1249714/1464411 442.74/440.51 c cleaning 22999 clauses out of 46011 with flag 1356402/1488409 444.04/441.89 c Got one! Elapsed wall clock time (in seconds):441.777 444.04/441.89 o 2439820 444.45/442.21 c cleaning 14448 clauses out of 28941 with flag 5144/1494338 446.15/443.93 c cleaning 10229 clauses out of 20493 with flag 38192/1500338 447.95/445.76 c cleaning 8618 clauses out of 17269 with flag 72674/1507343 450.15/447.97 c cleaning 8292 clauses out of 16647 with flag 105387/1515339 452.55/450.33 c cleaning 8676 clauses out of 17354 with flag 140033/1524338 455.15/452.96 c cleaning 9334 clauses out of 18678 with flag 177263/1534338 458.05/455.89 c cleaning 10161 clauses out of 20343 with flag 223217/1545338 461.51/459.25 c cleaning 11085 clauses out of 22182 with flag 272378/1557338 465.31/463.01 c cleaning 12046 clauses out of 24097 with flag 329611/1570338 469.21/466.96 c cleaning 13023 clauses out of 26051 with flag 387704/1584338 473.21/470.93 c cleaning 14007 clauses out of 28027 with flag 445611/1599338 477.10/474.86 c cleaning 15008 clauses out of 30022 with flag 507770/1615340 481.91/479.69 c cleaning 16004 clauses out of 32014 with flag 577510/1632341 487.20/484.96 c cleaning 16997 clauses out of 34008 with flag 658833/1650339 492.75/490.41 c cleaning 17993 clauses out of 36009 with flag 747278/1669338 498.65/496.37 c cleaning 19008 clauses out of 38017 with flag 829534/1689339 504.25/501.93 c cleaning 20000 clauses out of 40007 with flag 905890/1710338 506.26/503.99 c Got one! Elapsed wall clock time (in seconds):503.878 506.26/503.99 o 2435635 507.65/505.39 c Got one! Elapsed wall clock time (in seconds):505.272 507.65/505.39 o 2406673 508.05/505.73 c cleaning 16352 clauses out of 32732 with flag 4348/1723063 509.65/507.32 c cleaning 11178 clauses out of 22379 with flag 28604/1729062 511.45/509.13 c cleaning 9087 clauses out of 18201 with flag 59393/1736062 513.45/511.11 c cleaning 8542 clauses out of 17114 with flag 88416/1744063 515.65/513.32 c cleaning 8779 clauses out of 17571 with flag 122775/1753062 518.26/515.96 c cleaning 9385 clauses out of 18796 with flag 161007/1763066 521.25/518.97 c cleaning 10200 clauses out of 20408 with flag 204182/1774063 524.45/522.18 c cleaning 11095 clauses out of 22207 with flag 249068/1786062 528.09/525.76 c cleaning 12041 clauses out of 24112 with flag 296082/1799062 531.79/529.46 c cleaning 13029 clauses out of 26071 with flag 348992/1813062 535.59/533.24 c cleaning 14005 clauses out of 28042 with flag 404790/1828062 539.79/537.41 c cleaning 15016 clauses out of 30038 with flag 465753/1844064 544.59/542.30 c cleaning 16005 clauses out of 32022 with flag 529454/1861064 548.10/545.74 c Got one! Elapsed wall clock time (in seconds):545.627 548.10/545.74 o 2385735 548.10/545.80 c Got one! Elapsed wall clock time (in seconds):545.682 548.10/545.80 o 2385566 549.69/547.31 c cleaning 16903 clauses out of 33814 with flag 21675/1878861 551.30/548.95 c cleaning 11446 clauses out of 22910 with flag 46695/1884860 552.99/550.66 c cleaning 9211 clauses out of 18464 with flag 72894/1891860 555.09/552.79 c cleaning 8613 clauses out of 17253 with flag 103326/1899860 557.49/555.19 c cleaning 8810 clauses out of 17641 with flag 136763/1908861 560.23/557.89 c cleaning 9408 clauses out of 18830 with flag 172590/1918860 563.23/560.82 c cleaning 10206 clauses out of 20422 with flag 213081/1929860 566.13/563.75 c cleaning 11098 clauses out of 22216 with flag 255895/1941860 569.53/567.17 c cleaning 12055 clauses out of 24118 with flag 303403/1954861 573.54/571.19 c cleaning 13025 clauses out of 26063 with flag 357459/1968861 574.84/572.45 c Got one! Elapsed wall clock time (in seconds):572.34 574.84/572.45 o 2378979 575.14/572.73 c cleaning 9293 clauses out of 18613 with flag 4285/1974436 575.44/573.09 c Got one! Elapsed wall clock time (in seconds):572.974 575.44/573.09 o 2332964 576.54/574.19 c cleaning 7579 clauses out of 15183 with flag 15814/1980299 578.04/575.68 c cleaning 6789 clauses out of 13604 with flag 35314/1986299 579.94/577.52 c cleaning 6909 clauses out of 13818 with flag 59874/1993302 581.93/579.55 c cleaning 7449 clauses out of 14904 with flag 86037/2001298 584.14/581.70 c cleaning 8223 clauses out of 16456 with flag 117926/2010299 586.65/584.20 c cleaning 9108 clauses out of 18233 with flag 151837/2020300 589.34/586.98 c cleaning 10058 clauses out of 20123 with flag 187809/2031299 592.34/589.99 c cleaning 11032 clauses out of 22064 with flag 229426/2043300 594.04/591.64 c Got one! Elapsed wall clock time (in seconds):591.528 594.04/591.64 o 2314483 594.94/592.53 c Got one! Elapsed wall clock time (in seconds):592.414 594.94/592.53 o 2307919 595.24/592.85 c Got one! Elapsed wall clock time (in seconds):592.735 595.24/592.85 o 2252617 595.54/593.15 c cleaning 11451 clauses out of 22918 with flag 3426/2055188 597.04/594.66 c cleaning 8725 clauses out of 17465 with flag 23475/2061187 598.75/596.38 c cleaning 7857 clauses out of 15739 with flag 46489/2068187 600.54/598.19 c cleaning 7932 clauses out of 15882 with flag 70912/2076188 602.64/600.21 c cleaning 8467 clauses out of 16947 with flag 98603/2085187 603.64/601.29 c starts : 2656 603.64/601.29 c conflicts : 2090164 603.64/601.29 c decisions : 5432564 603.64/601.29 c propagations : 728161592 603.64/601.29 c inspects : 3480392631 603.64/601.29 c shortcuts : 0 603.64/601.29 c learnt literals : 57 603.64/601.29 c learnt binary clauses : 165 603.64/601.29 c learnt ternary clauses : 224 603.64/601.29 c learnt constraints : 2090106 603.64/601.29 c ignored constraints : 0 603.64/601.29 c root simplifications : 0 603.64/601.29 c removed literals (reason simplification) : 0 603.64/601.29 c reason swapping (by a shorter reason) : 0 603.64/601.29 c Calls to reduceDB : 150 603.64/601.29 c Number of update (reduction) of LBD : 837395 603.64/601.29 c Imported unit clauses : 0 603.64/601.29 c number of reductions to clauses (during analyze) : 0 603.64/601.29 c number of learned constraints concerned by reduction : 0 603.64/601.29 c number of learning phase by resolution : 0 603.64/601.29 c number of learning phase by cutting planes : 0 603.64/601.29 c speed (assignments/second) : 1211972.5502532427 603.64/601.29 c non guided choices 4405 603.64/601.29 c learnt constraints type 603.64/601.29 s OPTIMUM FOUND 603.64/601.29 c Found 19 solution(s) 603.74/601.30 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 603.74/601.31 c objective function=2252617 603.74/601.31 c Total wall clock time (in seconds): 601.198
OK 2252617
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-4085073-1465328109/watcher-4085073-1465328109 -o /tmp/evaluation-result-4085073-1465328109/solver-4085073-1465328109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465303265-32463 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085073-1465328109.opb pid=2659 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 3/196 2662 /proc/meminfo: memFree=29280536/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/2662/stat : 2662 (java) D 2659 2662 32446 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 114742964 9515008 185 33554432000 1073741824 1073778376 140736116318464 140736116309688 206408674743 0 0 4096 0 18446744072100756772 0 0 17 3 0 0 0 0 0 /proc/2662/statm: 2323 185 142 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 2.00 2.01 2.00 3/196 2662 /proc/meminfo: memFree=29280536/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 4435 0 1 0 7 1 0 0 20 0 18 0 114742964 9787879424 6061 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2389619 6061 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200215 s] /proc/loadavg: 2.00 2.01 2.00 3/196 2662 /proc/meminfo: memFree=29280536/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9558476 CPUtime=0.3 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 5100 0 1 0 28 2 0 0 20 0 18 0 114742964 9787879424 7023 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2389619 7023 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.300224 s] /proc/loadavg: 2.00 2.01 2.00 3/196 2662 /proc/meminfo: memFree=29280536/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9558476 CPUtime=0.51 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 5882 0 1 0 49 2 0 0 20 0 18 0 114742964 9787879424 9999 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2389619 9999 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.700154 s] /proc/loadavg: 2.00 2.01 2.00 3/196 2662 /proc/meminfo: memFree=29280536/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9625804 CPUtime=1.41 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 9988 0 1 0 137 4 0 0 20 0 19 0 114742964 9856823296 24057 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2406451 24084 2264 9 0 2397128 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 9625804 [startup+1.5008 s] /proc/loadavg: 2.00 2.01 2.00 3/215 2681 /proc/meminfo: memFree=29183664/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9625040 CPUtime=2.5 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 13727 0 1 0 245 5 0 0 20 0 19 0 114742964 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2406260 26639 2265 9 0 2396937 0 [pid=2662/tid=2664] ppid=2659 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/2662/task/2664/stat : 2664 (java) R 2659 2662 32446 0 -1 4202560 2474 0 1 0 142 3 0 0 20 0 19 0 114742965 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515424346600 140515364845680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2665] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2665/stat : 2665 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515363076392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2666] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2666/stat : 2666 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515362023592 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2667] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2667/stat : 2667 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515360971304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2668] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2668/stat : 2668 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515359918504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2669] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2669/stat : 2669 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515263331112 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2670] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2670/stat : 2670 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515262278312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2671] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2671/stat : 2671 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515261226024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2672] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2672/stat : 2672 (java) S 2659 2662 32446 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515260173224 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2673] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2673/stat : 2673 (java) S 2659 2662 32446 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 114742967 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515247974632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2674] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2674/stat : 2674 (java) S 2659 2662 32446 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515246920696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2675] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2675/stat : 2675 (java) S 2659 2662 32446 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515245868296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2676] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2676/stat : 2676 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515244816784 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2677] ppid=2659 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/2662/task/2677/stat : 2677 (java) S 2659 2662 32446 0 -1 4202560 5047 0 0 0 54 1 0 0 20 0 19 0 114742970 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515243764408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2678] ppid=2659 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/2662/task/2678/stat : 2678 (java) S 2659 2662 32446 0 -1 4202560 4929 0 0 0 45 0 0 0 20 0 19 0 114742970 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515242711608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2679] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2679/stat : 2679 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515241659512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2680] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2680/stat : 2680 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515240606920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2681] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2681/stat : 2681 (java) S 2659 2662 32446 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114743013 9856040960 26639 33554432000 1073741824 1073778376 140736815235856 140515239551912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.5 Current children cumulated vsize (KiB) 9625040 [startup+3.10079 s] /proc/loadavg: 2.00 2.01 2.00 4/215 2681 /proc/meminfo: memFree=29180560/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9625040 CPUtime=4.24 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 13777 0 1 0 419 5 0 0 20 0 19 0 114742964 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2406260 27708 2272 9 0 2396937 0 [pid=2662/tid=2664] ppid=2659 vsize=9625040 CPUtime=3.04 cores=1,3,5,7 /proc/2662/task/2664/stat : 2664 (java) R 2659 2662 32446 0 -1 4202560 2478 0 1 0 301 3 0 0 20 0 19 0 114742965 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515424344448 140515364844913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2665] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2665/stat : 2665 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515363076392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2666] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2666/stat : 2666 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515362023592 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2667] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2667/stat : 2667 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515360971304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2668] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2668/stat : 2668 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515359918504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2669] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2669/stat : 2669 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515263331112 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2670] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2670/stat : 2670 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515262278312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2671] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2671/stat : 2671 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515261226024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2672] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2672/stat : 2672 (java) S 2659 2662 32446 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515260173224 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2673] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2673/stat : 2673 (java) S 2659 2662 32446 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114742967 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515247974632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2674] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2674/stat : 2674 (java) S 2659 2662 32446 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515246920696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2675] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2675/stat : 2675 (java) S 2659 2662 32446 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515245868296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2676] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2676/stat : 2676 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515244816784 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2677] ppid=2659 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/2662/task/2677/stat : 2677 (java) S 2659 2662 32446 0 -1 4202560 5075 0 0 0 65 1 0 0 20 0 19 0 114742970 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515243764408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2678] ppid=2659 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/2662/task/2678/stat : 2678 (java) S 2659 2662 32446 0 -1 4202560 4946 0 0 0 48 0 0 0 20 0 19 0 114742970 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515242711608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2679] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2679/stat : 2679 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515241659512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2680] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2680/stat : 2680 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515240606920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2681] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2681/stat : 2681 (java) S 2659 2662 32446 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114743013 9856040960 27708 33554432000 1073741824 1073778376 140736815235856 140515239551912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.24 Current children cumulated vsize (KiB) 9625040 [startup+6.3008 s] /proc/loadavg: 2.00 2.01 2.00 3/215 2681 /proc/meminfo: memFree=29170240/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9625040 CPUtime=7.49 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 13783 0 1 0 744 5 0 0 20 0 19 0 114742964 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2406260 29729 2272 9 0 2396937 0 [pid=2662/tid=2664] ppid=2659 vsize=9625040 CPUtime=6.24 cores=1,3,5,7 /proc/2662/task/2664/stat : 2664 (java) R 2659 2662 32446 0 -1 4202560 2484 0 1 0 621 3 0 0 20 0 19 0 114742965 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515424337616 140515364995675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2665] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2665/stat : 2665 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515363076392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2666] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2666/stat : 2666 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515362023592 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2667] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2667/stat : 2667 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515360971304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2668] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2668/stat : 2668 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515359918504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2669] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2669/stat : 2669 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515263331112 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2670] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2670/stat : 2670 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515262278312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2671] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2671/stat : 2671 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515261226024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2672] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2672/stat : 2672 (java) S 2659 2662 32446 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114742966 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515260173224 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2673] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2673/stat : 2673 (java) S 2659 2662 32446 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114742967 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515247974632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2674] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2674/stat : 2674 (java) S 2659 2662 32446 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515246920696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2675] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2675/stat : 2675 (java) S 2659 2662 32446 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515245868296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2676] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2676/stat : 2676 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515244816784 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2677] ppid=2659 vsize=9625040 CPUtime=0.68 cores=1,3,5,7 /proc/2662/task/2677/stat : 2677 (java) S 2659 2662 32446 0 -1 4202560 5075 0 0 0 67 1 0 0 20 0 19 0 114742970 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515243764408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2678] ppid=2659 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/2662/task/2678/stat : 2678 (java) S 2659 2662 32446 0 -1 4202560 4946 0 0 0 51 0 0 0 20 0 19 0 114742970 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515242711608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2679] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2679/stat : 2679 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515241659512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2680] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2680/stat : 2680 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515240606920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2681] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2681/stat : 2681 (java) S 2659 2662 32446 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114743013 9856040960 29729 33554432000 1073741824 1073778376 140736815235856 140515239551912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.49 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=2662/tid=2673] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2673/stat : 2673 (java) S 2659 2662 32446 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 19 0 114742967 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515247974632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2674] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2674/stat : 2674 (java) S 2659 2662 32446 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515246920696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2675] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2675/stat : 2675 (java) S 2659 2662 32446 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515245868296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2676] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2676/stat : 2676 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515244816784 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2677] ppid=2659 vsize=9625040 CPUtime=0.83 cores=1,3,5,7 /proc/2662/task/2677/stat : 2677 (java) S 2659 2662 32446 0 -1 4202560 5085 0 0 0 82 1 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515243764408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2678] ppid=2659 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/2662/task/2678/stat : 2678 (java) S 2659 2662 32446 0 -1 4202560 4947 0 0 0 64 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515242711608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2679] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2679/stat : 2679 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515241659512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2680] ppid=2659 vsize=9625040 CPUtime=0.09 cores=1,3,5,7 /proc/2662/task/2680/stat : 2680 (java) S 2659 2662 32446 0 -1 4202560 35 0 0 0 3 6 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515240606920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2681] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2681/stat : 2681 (java) S 2659 2662 32446 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114743013 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515239551912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 602.44 Current children cumulated vsize (KiB) 9625040 [startup+600.801 s] /proc/loadavg: 2.01 2.02 2.00 3/215 2761 /proc/meminfo: memFree=30314388/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9625040 CPUtime=603.24 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 15694 0 1 0 60282 42 0 0 20 0 19 0 114742964 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2406260 109537 2288 9 0 2396937 0 [pid=2662/tid=2664] ppid=2659 vsize=9625040 CPUtime=598.79 cores=1,3,5,7 /proc/2662/task/2664/stat : 2664 (java) R 2659 2662 32446 0 -1 4202560 2530 0 1 0 59865 14 0 0 20 0 19 0 114742965 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515424337664 140515364842225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2665] ppid=2659 vsize=9625040 CPUtime=0.13 cores=1,3,5,7 /proc/2662/task/2665/stat : 2665 (java) S 2659 2662 32446 0 -1 4202560 146 0 0 0 11 2 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515363076392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2666] ppid=2659 vsize=9625040 CPUtime=0.13 cores=1,3,5,7 /proc/2662/task/2666/stat : 2666 (java) S 2659 2662 32446 0 -1 4202560 160 0 0 0 10 3 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515362023592 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2667] ppid=2659 vsize=9625040 CPUtime=0.15 cores=1,3,5,7 /proc/2662/task/2667/stat : 2667 (java) S 2659 2662 32446 0 -1 4202560 142 0 0 0 11 4 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515360971304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2668] ppid=2659 vsize=9625040 CPUtime=0.2 cores=1,3,5,7 /proc/2662/task/2668/stat : 2668 (java) S 2659 2662 32446 0 -1 4202560 246 0 0 0 16 4 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515359918504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2669] ppid=2659 vsize=9625040 CPUtime=0.16 cores=1,3,5,7 /proc/2662/task/2669/stat : 2669 (java) S 2659 2662 32446 0 -1 4202560 253 0 0 0 11 5 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515263331112 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2670] ppid=2659 vsize=9625040 CPUtime=0.19 cores=1,3,5,7 /proc/2662/task/2670/stat : 2670 (java) S 2659 2662 32446 0 -1 4202560 183 0 0 0 14 5 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515262278312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2671] ppid=2659 vsize=9625040 CPUtime=0.12 cores=1,3,5,7 /proc/2662/task/2671/stat : 2671 (java) S 2659 2662 32446 0 -1 4202560 295 0 0 0 9 3 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515261226024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2672] ppid=2659 vsize=9625040 CPUtime=0.19 cores=1,3,5,7 /proc/2662/task/2672/stat : 2672 (java) S 2659 2662 32446 0 -1 4202560 325 0 0 0 14 5 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515260173224 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2673] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2673/stat : 2673 (java) S 2659 2662 32446 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 19 0 114742967 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515247974632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2674] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2674/stat : 2674 (java) S 2659 2662 32446 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515246920696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2675] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2675/stat : 2675 (java) S 2659 2662 32446 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515245868296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2676] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2676/stat : 2676 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515244816784 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2677] ppid=2659 vsize=9625040 CPUtime=0.83 cores=1,3,5,7 /proc/2662/task/2677/stat : 2677 (java) S 2659 2662 32446 0 -1 4202560 5085 0 0 0 82 1 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515243764408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2678] ppid=2659 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/2662/task/2678/stat : 2678 (java) S 2659 2662 32446 0 -1 4202560 4947 0 0 0 64 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515242711608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2679] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2679/stat : 2679 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515241659512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2680] ppid=2659 vsize=9625040 CPUtime=0.09 cores=1,3,5,7 /proc/2662/task/2680/stat : 2680 (java) S 2659 2662 32446 0 -1 4202560 35 0 0 0 3 6 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515240606920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2681] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2681/stat : 2681 (java) S 2659 2662 32446 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114743013 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515239551912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 603.24 Current children cumulated vsize (KiB) 9625040 [startup+601.201 s] /proc/loadavg: 2.01 2.02 2.00 3/215 2761 /proc/meminfo: memFree=30314388/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9625040 CPUtime=603.64 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 15694 0 1 0 60322 42 0 0 20 0 19 0 114742964 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2406260 109537 2288 9 0 2396937 0 [pid=2662/tid=2664] ppid=2659 vsize=9625040 CPUtime=599.19 cores=1,3,5,7 /proc/2662/task/2664/stat : 2664 (java) R 2659 2662 32446 0 -1 4202560 2530 0 1 0 59905 14 0 0 20 0 19 0 114742965 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515424337664 140515364845689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2665] ppid=2659 vsize=9625040 CPUtime=0.13 cores=1,3,5,7 /proc/2662/task/2665/stat : 2665 (java) S 2659 2662 32446 0 -1 4202560 146 0 0 0 11 2 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515363076392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2666] ppid=2659 vsize=9625040 CPUtime=0.13 cores=1,3,5,7 /proc/2662/task/2666/stat : 2666 (java) S 2659 2662 32446 0 -1 4202560 160 0 0 0 10 3 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515362023592 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2667] ppid=2659 vsize=9625040 CPUtime=0.15 cores=1,3,5,7 /proc/2662/task/2667/stat : 2667 (java) S 2659 2662 32446 0 -1 4202560 142 0 0 0 11 4 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515360971304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2668] ppid=2659 vsize=9625040 CPUtime=0.2 cores=1,3,5,7 /proc/2662/task/2668/stat : 2668 (java) S 2659 2662 32446 0 -1 4202560 246 0 0 0 16 4 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515359918504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2669] ppid=2659 vsize=9625040 CPUtime=0.16 cores=1,3,5,7 /proc/2662/task/2669/stat : 2669 (java) S 2659 2662 32446 0 -1 4202560 253 0 0 0 11 5 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515263331112 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2670] ppid=2659 vsize=9625040 CPUtime=0.19 cores=1,3,5,7 /proc/2662/task/2670/stat : 2670 (java) S 2659 2662 32446 0 -1 4202560 183 0 0 0 14 5 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515262278312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2671] ppid=2659 vsize=9625040 CPUtime=0.12 cores=1,3,5,7 /proc/2662/task/2671/stat : 2671 (java) S 2659 2662 32446 0 -1 4202560 295 0 0 0 9 3 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515261226024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2672] ppid=2659 vsize=9625040 CPUtime=0.19 cores=1,3,5,7 /proc/2662/task/2672/stat : 2672 (java) S 2659 2662 32446 0 -1 4202560 325 0 0 0 14 5 0 0 20 0 19 0 114742966 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515260173224 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2673] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2673/stat : 2673 (java) S 2659 2662 32446 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 19 0 114742967 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515247974632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2674] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2674/stat : 2674 (java) S 2659 2662 32446 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515246920696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2675] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2675/stat : 2675 (java) S 2659 2662 32446 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114742968 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515245868296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2676] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2676/stat : 2676 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515244816784 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2677] ppid=2659 vsize=9625040 CPUtime=0.83 cores=1,3,5,7 /proc/2662/task/2677/stat : 2677 (java) S 2659 2662 32446 0 -1 4202560 5085 0 0 0 82 1 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515243764408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2678] ppid=2659 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/2662/task/2678/stat : 2678 (java) S 2659 2662 32446 0 -1 4202560 4947 0 0 0 64 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515242711608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2679] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2679/stat : 2679 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515241659512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2680] ppid=2659 vsize=9625040 CPUtime=0.09 cores=1,3,5,7 /proc/2662/task/2680/stat : 2680 (java) S 2659 2662 32446 0 -1 4202560 35 0 0 0 3 6 0 0 20 0 19 0 114742970 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515240606920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2681] ppid=2659 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2681/stat : 2681 (java) S 2659 2662 32446 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114743013 9856040960 109537 33554432000 1073741824 1073778376 140736815235856 140515239551912 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 603.64 Current children cumulated vsize (KiB) 9625040 [startup+601.301 s] /proc/loadavg: 2.01 2.02 2.00 3/215 2761 /proc/meminfo: memFree=30314388/32872528 swapFree=8144/8144 [pid=2662] ppid=2659 vsize=9691604 CPUtime=603.74 cores=1,3,5,7 /proc/2662/stat : 2662 (java) S 2659 2662 32446 0 -1 4202496 15708 0 1 0 60332 42 0 0 20 0 19 0 114742964 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140736815226992 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2662/statm: 2422901 109546 2289 9 0 2413578 0 [pid=2662/tid=2664] ppid=2659 vsize=9691604 CPUtime=599.28 cores=1,3,5,7 /proc/2662/task/2664/stat : 2664 (java) S 2659 2662 32446 0 -1 4202560 2532 0 1 0 59914 14 0 0 20 0 19 0 114742965 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515424346840 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2665] ppid=2659 vsize=9691604 CPUtime=0.13 cores=1,3,5,7 /proc/2662/task/2665/stat : 2665 (java) S 2659 2662 32446 0 -1 4202560 146 0 0 0 11 2 0 0 20 0 19 0 114742966 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515363076392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2666] ppid=2659 vsize=9691604 CPUtime=0.13 cores=1,3,5,7 /proc/2662/task/2666/stat : 2666 (java) S 2659 2662 32446 0 -1 4202560 160 0 0 0 10 3 0 0 20 0 19 0 114742966 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515362023592 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2667] ppid=2659 vsize=9691604 CPUtime=0.15 cores=1,3,5,7 /proc/2662/task/2667/stat : 2667 (java) S 2659 2662 32446 0 -1 4202560 142 0 0 0 11 4 0 0 20 0 19 0 114742966 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515360971304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2662/tid=2668] ppid=2659 vsize=9691604 CPUtime=0.2 cores=1,3,5,7 /proc/2662/task/2668/stat : 2668 (java) S 2659 2662 32446 0 -1 4202560 246 0 0 0 16 4 0 0 20 0 19 0 114742966 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515359918504 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2669] ppid=2659 vsize=9691604 CPUtime=0.16 cores=1,3,5,7 /proc/2662/task/2669/stat : 2669 (java) S 2659 2662 32446 0 -1 4202560 253 0 0 0 11 5 0 0 20 0 19 0 114742966 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515263331112 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2670] ppid=2659 vsize=9691604 CPUtime=0.19 cores=1,3,5,7 /proc/2662/task/2670/stat : 2670 (java) S 2659 2662 32446 0 -1 4202560 183 0 0 0 14 5 0 0 20 0 19 0 114742966 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515262278312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2671] ppid=2659 vsize=9691604 CPUtime=0.12 cores=1,3,5,7 /proc/2662/task/2671/stat : 2671 (java) S 2659 2662 32446 0 -1 4202560 295 0 0 0 9 3 0 0 20 0 19 0 114742966 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515261226024 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2672] ppid=2659 vsize=9691604 CPUtime=0.19 cores=1,3,5,7 /proc/2662/task/2672/stat : 2672 (java) S 2659 2662 32446 0 -1 4202560 325 0 0 0 14 5 0 0 20 0 19 0 114742966 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515260173224 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2673] ppid=2659 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2673/stat : 2673 (java) S 2659 2662 32446 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 19 0 114742967 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515247974632 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2674] ppid=2659 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2674/stat : 2674 (java) S 2659 2662 32446 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114742968 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515246920696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2662/tid=2675] ppid=2659 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2675/stat : 2675 (java) S 2659 2662 32446 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114742968 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515245868296 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2676] ppid=2659 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2676/stat : 2676 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515244816784 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2677] ppid=2659 vsize=9691604 CPUtime=0.84 cores=1,3,5,7 /proc/2662/task/2677/stat : 2677 (java) S 2659 2662 32446 0 -1 4202560 5087 0 0 0 83 1 0 0 20 0 19 0 114742970 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515243764408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2662/tid=2678] ppid=2659 vsize=9691604 CPUtime=0.64 cores=1,3,5,7 /proc/2662/task/2678/stat : 2678 (java) S 2659 2662 32446 0 -1 4202560 4948 0 0 0 64 0 0 0 20 0 19 0 114742970 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515242711608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2679] ppid=2659 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/2662/task/2679/stat : 2679 (java) S 2659 2662 32446 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114742970 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515241659512 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2662/tid=2680] ppid=2659 vsize=9691604 CPUtime=0.09 cores=1,3,5,7 /proc/2662/task/2680/stat : 2680 (java) S 2659 2662 32446 0 -1 4202560 35 0 0 0 3 6 0 0 20 0 19 0 114742970 9924202496 109546 33554432000 1073741824 1073778376 140736815235856 140515240606920 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 603.74 Current children cumulated vsize (KiB) 9691604 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2662 and gives # childrusage.ru_utime.tv_sec=601 # childrusage.ru_utime.tv_usec=749520 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=671897 # CPU time returned by wait4() is 602.421 # while last known CPU time is 603.74 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 601.32 CPU time (s): 603.74 CPU user time (s): 603.32 CPU system time (s): 0.42 CPU usage (%): 100.402 Max. virtual memory (cumulated for all children) (KiB): 9691604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 601.75 system time used= 0.671897 maximum resident set size= 441288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15720 page faults= 1 swaps= 0 block input operations= 0 block output operations= 632 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13395 involuntary context switches= 5923 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.38348 second user time and 4.29535 second system time The end
Begin job on node133 at 2016-06-07 21:35:09 IDJOB=4085073 IDBENCH=92671 IDSOLVER=2546 FILE ID=node133/4085073-1465328109 RUNJOBID= node133-1465303265-32463 PBS_JOBID= 19848088 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085073-1465328109/watcher-4085073-1465328109 -o /tmp/evaluation-result-4085073-1465328109/solver-4085073-1465328109 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465303265-32463 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085073-1465328109.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d RANDOM SEED=207229488 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 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 : 7358.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.065 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: 29280916 kB Buffers: 128936 kB Cached: 840392 kB SwapCached: 2080 kB Active: 1958916 kB Inactive: 884812 kB Active(anon): 1875480 kB Inactive(anon): 1456 kB Active(file): 83436 kB Inactive(file): 883356 kB Unevictable: 8144 kB Mlocked: 8144 kB SwapTotal: 67108856 kB SwapFree: 67098280 kB Dirty: 1428 kB Writeback: 12 kB AnonPages: 1881424 kB Mapped: 15612 kB Shmem: 0 kB Slab: 605080 kB SReclaimable: 48332 kB SUnreclaim: 556748 kB KernelStack: 1624 kB PageTables: 7820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3410944 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 1826816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71732 MiB End job on node133 at 2016-06-07 21:45:11