Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 1800.07 | 1793.57 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_9.opb |
| MD5SUM | 9dfe9f707e4bec0ff7b60653d14cbd16 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4065875 |
| Best CPU time to get the best result obtained on this benchmark | 1800.37 |
| 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 | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 126506008 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 91840906354 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 126506008 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 91840906354 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.09 c See www.sat4j.org for details. 0.01/0.09 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.01/0.09 c version 2.3.2.v20120418 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 501472288 0.01/0.09 c Max memory 7480803328 0.01/0.09 c Total memory 504102912 0.01/0.09 c Number of processors 8 0.07/0.13 c read org.sat4j.minisat.orders.VarOrderHeap 0.07/0.13 c configuring ORDERS 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=true 0.07/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3710391-1338253631.opb 0.07/0.13 c reading problem ... 1.01/0.55 c ... done. Wall clock time 0.415s. 1.01/0.55 c declared #vars 9940 1.01/0.55 c #constraints 24510 1.01/0.55 c constraints type 1.01/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.01/0.55 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.01/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.01/0.55 c ignored satisfied constraints => 2 1.01/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.01/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.01/0.55 c 24512 constraints processed. 1.24/0.66 c SATISFIABLE 1.24/0.66 c OPTIMIZING... 1.24/0.66 c Got one! Elapsed wall clock time (in seconds):0.53 1.24/0.66 o 273781643 1.74/0.80 c Got one! Elapsed wall clock time (in seconds):0.671 1.74/0.80 o 273777931 9.32/8.15 c cleaning 2502 clauses out of 5005 with flag 5004/5005 18.22/16.99 c cleaning 4247 clauses out of 8501 with flag 11002/11003 22.31/20.94 c Got one! Elapsed wall clock time (in seconds):20.812 22.31/20.94 o 79925281 26.58/25.15 c cleaning 7405 clauses out of 14809 with flag 5011/21565 28.07/26.59 c Got one! Elapsed wall clock time (in seconds):26.455 28.07/26.59 o 78207351 28.17/26.62 c Got one! Elapsed wall clock time (in seconds):26.483 28.17/26.62 o 65805655 28.17/26.65 c Got one! Elapsed wall clock time (in seconds):26.512 28.17/26.65 o 62934485 30.00/28.45 c cleaning 6595 clauses out of 13210 with flag 4001/27384 31.98/30.33 c cleaning 6306 clauses out of 12612 with flag 10000/33383 36.51/34.89 c cleaning 6645 clauses out of 13310 with flag 17007/40390 39.35/37.37 c Got one! Elapsed wall clock time (in seconds):37.238 39.35/37.37 o 43583267 42.34/40.38 c cleaning 8365 clauses out of 16746 with flag 5007/50482 46.45/43.93 c cleaning 7176 clauses out of 14363 with flag 11001/56476 48.27/45.77 c cleaning 7092 clauses out of 14186 with flag 18001/63476 60.81/58.24 c cleaning 7539 clauses out of 15089 with flag 26002/71477 66.54/63.98 c cleaning 8273 clauses out of 16546 with flag 35001/80476 69.85/67.23 c cleaning 9134 clauses out of 18270 with flag 45001/90476 72.55/69.90 c Got one! Elapsed wall clock time (in seconds):69.769 72.55/69.90 o 20097149 73.85/71.21 c cleaning 11781 clauses out of 23591 with flag 5000/104945 75.37/72.77 c cleaning 8904 clauses out of 17810 with flag 11001/110946 77.00/74.37 c cleaning 7951 clauses out of 15908 with flag 18003/117948 80.30/77.64 c cleaning 7963 clauses out of 15936 with flag 26003/125948 84.02/81.32 c cleaning 8473 clauses out of 16959 with flag 35000/134945 88.83/86.16 c cleaning 9236 clauses out of 18481 with flag 45000/144945 90.74/88.08 c Got one! Elapsed wall clock time (in seconds):87.946 90.74/88.08 o 18949153 91.54/88.84 c cleaning 7339 clauses out of 14691 with flag 2012/150396 93.57/90.87 c cleaning 6669 clauses out of 13349 with flag 8009/156393 97.19/94.47 c cleaning 6822 clauses out of 13671 with flag 15001/163385 102.62/99.84 c cleaning 7414 clauses out of 14850 with flag 23002/171386 109.12/106.31 c cleaning 8209 clauses out of 16436 with flag 32002/180386 115.82/113.00 c cleaning 8474 clauses out of 16956 with flag 42000/190384 117.15/114.39 c Got one! Elapsed wall clock time (in seconds):114.258 117.15/114.39 o 10646377 117.99/115.17 c cleaning 6723 clauses out of 13453 with flag 2002/195427 120.60/117.75 c cleaning 6359 clauses out of 12727 with flag 8002/201427 124.00/121.16 c Got one! Elapsed wall clock time (in seconds):121.027 124.00/121.16 o 8314455 124.30/121.42 c Got one! Elapsed wall clock time (in seconds):121.289 124.30/121.42 o 8310017 126.20/123.39 c cleaning 9247 clauses out of 18509 with flag 5002/213829 128.53/125.61 c cleaning 7623 clauses out of 15260 with flag 11000/219827 130.75/127.86 c cleaning 7312 clauses out of 14635 with flag 18001/226828 133.06/130.17 c cleaning 7653 clauses out of 15322 with flag 26000/234827 135.56/132.66 c cleaning 8327 clauses out of 16668 with flag 35000/243827 137.97/135.01 c cleaning 9163 clauses out of 18341 with flag 45000/253827 140.57/137.69 c cleaning 10081 clauses out of 20178 with flag 56000/264827 141.97/139.04 c Got one! Elapsed wall clock time (in seconds):138.905 141.97/139.04 o 6822525 141.97/139.06 c Got one! Elapsed wall clock time (in seconds):138.926 141.97/139.06 o 6592207 143.68/140.76 c cleaning 10366 clauses out of 20741 with flag 5001/275506 145.20/142.29 c cleaning 8182 clauses out of 16369 with flag 11001/281506 154.91/151.97 c cleaning 7586 clauses out of 15184 with flag 18001/288506 160.63/157.62 c cleaning 7691 clauses out of 15394 with flag 26001/296506 162.74/159.72 c cleaning 8338 clauses out of 16699 with flag 35001/305506 165.26/162.20 c cleaning 9185 clauses out of 18370 with flag 45013/315518 167.97/164.94 c cleaning 10074 clauses out of 20165 with flag 56000/326505 171.40/168.39 c cleaning 11034 clauses out of 22082 with flag 68000/338505 174.70/171.63 c cleaning 12017 clauses out of 24048 with flag 81000/351505 178.02/174.91 c cleaning 13006 clauses out of 26031 with flag 95000/365505 181.72/178.63 c cleaning 14005 clauses out of 28024 with flag 110002/380507 185.83/182.79 c cleaning 15003 clauses out of 30018 with flag 126001/396506 191.65/188.59 c cleaning 15971 clauses out of 31952 with flag 143001/413506 196.66/193.53 c cleaning 16257 clauses out of 32529 with flag 161001/431506 201.39/198.26 c cleaning 17615 clauses out of 35254 with flag 180000/450505 206.60/203.49 c cleaning 18801 clauses out of 37620 with flag 200001/470506 211.60/208.44 c cleaning 19907 clauses out of 39814 with flag 221000/491505 220.44/217.23 c cleaning 20942 clauses out of 41902 with flag 243001/513506 230.85/227.70 c cleaning 21973 clauses out of 43960 with flag 266001/536506 238.86/235.64 c cleaning 22983 clauses out of 45980 with flag 290001/560506 244.67/241.47 c cleaning 23990 clauses out of 47996 with flag 315000/585505 250.90/247.65 c cleaning 24993 clauses out of 50007 with flag 341001/611506 263.21/259.92 c cleaning 25891 clauses out of 51796 with flag 368001/638506 270.25/266.95 c cleaning 26942 clauses out of 53898 with flag 396000/666505 278.67/275.32 c cleaning 27958 clauses out of 55941 with flag 425000/695505 286.99/283.61 c cleaning 28982 clauses out of 57981 with flag 455000/725505 295.11/291.76 c cleaning 29995 clauses out of 59996 with flag 486001/756506 302.94/299.59 c cleaning 30988 clauses out of 62002 with flag 518002/788507 311.56/308.10 c cleaning 31958 clauses out of 63936 with flag 551000/821505 322.08/318.61 c cleaning 32981 clauses out of 65979 with flag 585001/855506 332.60/329.19 c cleaning 33989 clauses out of 67998 with flag 620001/890506 343.73/340.26 c cleaning 34950 clauses out of 69919 with flag 656000/926505 354.95/351.44 c cleaning 35970 clauses out of 71956 with flag 693001/963506 364.29/360.76 c cleaning 36984 clauses out of 73985 with flag 731000/1001505 375.80/372.21 c cleaning 37978 clauses out of 75994 with flag 770000/1040505 385.34/381.75 c cleaning 38997 clauses out of 78015 with flag 810001/1080506 395.36/391.77 c cleaning 40003 clauses out of 80015 with flag 851000/1121505 405.98/402.36 c cleaning 40997 clauses out of 82012 with flag 893000/1163505 417.10/413.46 c cleaning 41996 clauses out of 84016 with flag 936001/1206506 428.03/424.32 c cleaning 42996 clauses out of 86019 with flag 980000/1250505 438.74/435.04 c cleaning 44000 clauses out of 88023 with flag 1025000/1295505 450.28/446.56 c cleaning 44998 clauses out of 90025 with flag 1071002/1341507 475.28/471.54 c cleaning 45986 clauses out of 91994 with flag 1118000/1388505 489.71/485.90 c cleaning 46988 clauses out of 94008 with flag 1166000/1436505 502.24/498.46 c cleaning 47998 clauses out of 96020 with flag 1215000/1485505 515.89/512.02 c cleaning 48997 clauses out of 98022 with flag 1265000/1535505 529.21/525.38 c cleaning 50007 clauses out of 100027 with flag 1316002/1586507 542.64/538.72 c cleaning 50997 clauses out of 102018 with flag 1368000/1638505 556.09/552.18 c cleaning 51992 clauses out of 104021 with flag 1421000/1691505 569.20/565.21 c cleaning 52993 clauses out of 106030 with flag 1475001/1745506 582.81/578.82 c cleaning 53999 clauses out of 108036 with flag 1530000/1800505 606.75/602.79 c cleaning 55002 clauses out of 110037 with flag 1586000/1856505 622.48/618.46 c cleaning 56005 clauses out of 112036 with flag 1643001/1913506 638.52/634.45 c cleaning 56995 clauses out of 114032 with flag 1701002/1971507 654.45/650.38 c cleaning 58001 clauses out of 116035 with flag 1760000/2030505 673.06/668.92 c cleaning 59012 clauses out of 118034 with flag 1820000/2090505 687.58/683.42 c cleaning 59999 clauses out of 120022 with flag 1881000/2151505 702.01/697.89 c cleaning 61004 clauses out of 122025 with flag 1943002/2213507 720.25/716.07 c cleaning 61998 clauses out of 124019 with flag 2006000/2276505 742.37/738.11 c cleaning 63002 clauses out of 126021 with flag 2070000/2340505 757.88/753.56 c cleaning 63994 clauses out of 128020 with flag 2135001/2405506 773.90/769.51 c cleaning 64997 clauses out of 130026 with flag 2201001/2471506 790.83/786.48 c cleaning 65998 clauses out of 132029 with flag 2268001/2538506 807.24/802.89 c cleaning 66998 clauses out of 134030 with flag 2336000/2606505 824.65/820.25 c cleaning 67999 clauses out of 136032 with flag 2405000/2675505 840.89/836.48 c cleaning 69006 clauses out of 138034 with flag 2475001/2745506 858.92/854.43 c cleaning 70001 clauses out of 140028 with flag 2546001/2816506 877.27/872.70 c cleaning 70998 clauses out of 142026 with flag 2618000/2888505 895.91/891.34 c cleaning 72005 clauses out of 144030 with flag 2691002/2961507 915.14/910.52 c cleaning 72996 clauses out of 146024 with flag 2765001/3035506 935.90/931.24 c cleaning 74004 clauses out of 148028 with flag 2840001/3110506 964.02/959.37 c cleaning 74999 clauses out of 150023 with flag 2916000/3186505 982.09/977.32 c cleaning 76001 clauses out of 152025 with flag 2993001/3263506 1002.74/997.94 c cleaning 77001 clauses out of 154023 with flag 3071000/3341505 1021.82/1016.96 c cleaning 78004 clauses out of 156022 with flag 3150000/3420505 1039.97/1035.09 c cleaning 79001 clauses out of 158018 with flag 3230000/3500505 1061.79/1056.85 c cleaning 79997 clauses out of 160017 with flag 3311000/3581505 1083.53/1078.59 c cleaning 80997 clauses out of 162021 with flag 3393001/3663506 1106.18/1101.12 c cleaning 81992 clauses out of 164023 with flag 3476000/3746505 1128.42/1123.36 c cleaning 82992 clauses out of 166031 with flag 3560000/3830505 1149.99/1144.86 c cleaning 83997 clauses out of 168040 with flag 3645001/3915506 1173.03/1167.82 c cleaning 85000 clauses out of 170042 with flag 3731000/4001505 1197.02/1191.70 c cleaning 86004 clauses out of 172043 with flag 3818001/4088506 1219.36/1214.06 c cleaning 87008 clauses out of 174039 with flag 3906001/4176506 1243.60/1238.21 c cleaning 88004 clauses out of 176030 with flag 3995000/4265505 1268.18/1262.75 c cleaning 89002 clauses out of 178027 with flag 4085001/4355506 1292.95/1287.42 c cleaning 89998 clauses out of 180025 with flag 4176001/4446506 1319.38/1313.85 c cleaning 91001 clauses out of 182027 with flag 4268001/4538506 1344.82/1339.28 c cleaning 92001 clauses out of 184020 with flag 4361002/4631507 1367.18/1361.53 c cleaning 92998 clauses out of 186018 with flag 4455001/4725506 1393.52/1387.86 c cleaning 93999 clauses out of 188019 with flag 4550000/4820505 1419.87/1414.15 c cleaning 94995 clauses out of 190020 with flag 4646000/4916505 1443.84/1438.06 c cleaning 96000 clauses out of 192026 with flag 4743001/5013506 1468.97/1463.11 c cleaning 97001 clauses out of 194026 with flag 4841001/5111506 1493.60/1487.73 c cleaning 98005 clauses out of 196025 with flag 4940001/5210506 1521.08/1515.16 c cleaning 98995 clauses out of 198019 with flag 5040000/5310505 1548.37/1542.36 c cleaning 100002 clauses out of 200025 with flag 5141001/5411506 1576.43/1570.39 c cleaning 100999 clauses out of 202022 with flag 5243000/5513505 1602.90/1596.72 c cleaning 102006 clauses out of 204023 with flag 5346000/5616505 1631.76/1625.56 c cleaning 102997 clauses out of 206017 with flag 5450000/5720505 1661.14/1654.87 c cleaning 103998 clauses out of 208022 with flag 5555002/5825507 1690.21/1683.80 c cleaning 105004 clauses out of 210023 with flag 5661001/5931506 1720.13/1713.80 c cleaning 106000 clauses out of 212018 with flag 5768000/6038505 1755.41/1748.99 c cleaning 107007 clauses out of 214019 with flag 5876001/6146506 1789.02/1782.51 c cleaning 107998 clauses out of 216012 with flag 5985001/6255506 1800.07/1793.51 c starts : 290 1800.07/1793.51 c conflicts : 6294920 1800.07/1793.51 c decisions : 7068383 1800.07/1793.51 c propagations : 230035728 1800.07/1793.51 c inspects : 3004775816 1800.07/1793.51 c shortcuts : 0 1800.07/1793.51 c learnt literals : 445 1800.07/1793.51 c learnt binary clauses : 442 1800.07/1793.51 c learnt ternary clauses : 988 1800.07/1793.51 c learnt constraints : 6294475 1800.07/1793.51 c ignored constraints : 0 1800.07/1793.51 c root simplifications : 735 1800.07/1793.51 c removed literals (reason simplification) : 625572891 1800.07/1793.51 c reason swapping (by a shorter reason) : 0 1800.07/1793.51 c Calls to reduceDB : 138 1800.07/1793.51 c number of reductions to clauses (during analyze) : 0 1800.07/1793.51 c number of learned constraints concerned by reduction : 0 1800.07/1793.51 c number of learning phase by resolution : 0 1800.07/1793.51 c number of learning phase by cutting planes : 0 1800.07/1793.51 c speed (assignments/second) : 128300.50280404586 1800.07/1793.51 c non guided choices 7146 1800.07/1793.54 c learnt constraints type 1800.07/1793.54 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 417 1800.07/1793.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 147092 1800.07/1793.54 c constraints type 1800.07/1793.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.07/1793.54 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.07/1793.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.07/1793.54 c ignored satisfied constraints => 2 1800.07/1793.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.07/1793.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.07/1793.54 c 24513 constraints processed. 1800.07/1793.54 s SATISFIABLE 1800.07/1793.55 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 x1695 -x1696 x1697 x1698 -x1699 x1700 -x1701 -x1702 x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 x1739 -x1740 x1741 x1742 -x1743 x1744 x1745 -x1746 x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 x3364 x3365 x3366 x3367 -x3368 x3369 -x3370 -x3371 x3372 -x3373 x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 x3394 x3395 -x3396 x3397 -x3398 -x3399 x3400 x3401 -x3402 x3403 x3404 -x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 x3412 -x3413 x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 -x4841 -x4842 x4843 -x4844 -x4845 x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 x4856 x4857 x4858 -x4859 x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 x4868 x4869 -x4870 -x4871 x4872 -x4873 -x4874 -x4875 x4876 x4877 -x4878 -x4879 x4880 x4881 -x4882 -x4883 -x4884 -x4885 x4886 x4887 x4888 -x4889 x4890 -x4891 -x4892 x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 1800.07/1793.56 c objective function=6592207 1800.07/1793.56 c Total wall clock time (in seconds): 1793.428
OK 6592207
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3710391-1338253631/watcher-3710391-1338253631 -o /tmp/evaluation-result-3710391-1338253631/solver-3710391-1338253631 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710391-1338253631.opb 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.04 2.04 2.00 3/195 1863 /proc/meminfo: memFree=30370436/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/1863/stat : 1863 (java) D 1861 1863 32222 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291430135 9515008 182 33554432000 1073741824 1073778376 140737339472032 140737339463064 209097408181 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/1863/statm: 2323 182 140 9 0 71 0 [startup+0.04085 s] /proc/loadavg: 2.04 2.04 2.00 3/195 1863 /proc/meminfo: memFree=30370436/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9092432 CPUtime=0.01 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 2926 0 1 0 1 0 0 0 20 0 11 0 291430135 9310650368 3625 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2273108 3625 1650 9 0 2263809 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9092432 [startup+0.100334 s] /proc/loadavg: 2.04 2.04 2.00 3/195 1863 /proc/meminfo: memFree=30370436/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9558440 CPUtime=0.07 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 3751 0 1 0 7 0 0 0 20 0 18 0 291430135 9787842560 4959 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2389610 4973 1986 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558440 [startup+0.300303 s] /proc/loadavg: 2.04 2.04 2.00 3/195 1863 /proc/meminfo: memFree=30370436/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9558440 CPUtime=0.47 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 5503 0 1 0 46 1 0 0 20 0 18 0 291430135 9787842560 9075 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2389610 9086 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558440 [startup+0.700327 s] /proc/loadavg: 2.04 2.04 2.00 3/195 1863 /proc/meminfo: memFree=30370436/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9625004 CPUtime=1.47 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 11411 0 1 0 144 3 0 0 20 0 19 0 291430135 9856004096 25623 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2406251 25623 2250 9 0 2396937 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 9625004 [startup+1.50079 s] /proc/loadavg: 2.04 2.04 2.00 3/214 1882 /proc/meminfo: memFree=30272268/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9625004 CPUtime=2.65 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 11443 0 1 0 262 3 0 0 20 0 19 0 291430135 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2406251 27187 2260 9 0 2396937 0 [pid=1863/tid=1865] ppid=1861 vsize=9625004 CPUtime=1.47 cores=1,3,5,7 /proc/1863/task/1865/stat : 1865 (java) R 1861 1863 32222 0 -1 4202560 2537 0 1 0 144 3 0 0 20 0 19 0 291430136 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789485273416 139789324940793 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1866] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1866/stat : 1866 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789446764712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1867] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1867/stat : 1867 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789445712168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1868] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1868/stat : 1868 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789444659624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1863/tid=1869] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1869/stat : 1869 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789443607080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1870] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1870/stat : 1870 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789442554536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1871] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1871/stat : 1871 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789323987752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1872] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1872/stat : 1872 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789322935208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1873] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1873/stat : 1873 (java) S 1861 1863 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789321882664 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1874] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1874/stat : 1874 (java) S 1861 1863 32222 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789309470824 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1875] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1875/stat : 1875 (java) S 1861 1863 32222 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139789308417144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1876] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1876/stat : 1876 (java) S 1861 1863 32222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139788703229064 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1877] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1877/stat : 1877 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139788702177808 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1878] ppid=1861 vsize=9625004 CPUtime=0.55 cores=1,3,5,7 /proc/1863/task/1878/stat : 1878 (java) S 1861 1863 32222 0 -1 4202560 4831 0 0 0 55 0 0 0 20 0 19 0 291430142 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139788701125176 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1879] ppid=1861 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/1863/task/1879/stat : 1879 (java) S 1861 1863 32222 0 -1 4202560 2875 0 0 0 60 0 0 0 20 0 19 0 291430142 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139788700072632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1880] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1880/stat : 1880 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139788699020280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1881] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1881/stat : 1881 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139788697967944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1882] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1882/stat : 1882 (java) S 1861 1863 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430192 9856004096 27187 33554432000 1073741824 1073778376 140734087599760 139788696912680 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 9625004 [startup+3.10068 s] /proc/loadavg: 2.04 2.04 2.00 3/214 1882 /proc/meminfo: memFree=30265504/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9625004 CPUtime=4.27 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 11450 0 1 0 423 4 0 0 20 0 19 0 291430135 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2406251 29236 2260 9 0 2396937 0 [pid=1863/tid=1865] ppid=1861 vsize=9625004 CPUtime=3.06 cores=1,3,5,7 /proc/1863/task/1865/stat : 1865 (java) R 1861 1863 32222 0 -1 4202560 2543 0 1 0 303 3 0 0 20 0 19 0 291430136 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789485271552 139789324623365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1866] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1866/stat : 1866 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789446764712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1867] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1867/stat : 1867 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789445712168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1868] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1868/stat : 1868 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789444659624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1863/tid=1869] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1869/stat : 1869 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789443607080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1870] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1870/stat : 1870 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789442554536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1871] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1871/stat : 1871 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789323987752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1872] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1872/stat : 1872 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789322935208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1873] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1873/stat : 1873 (java) S 1861 1863 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789321882664 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1874] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1874/stat : 1874 (java) S 1861 1863 32222 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789309470824 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1875] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1875/stat : 1875 (java) S 1861 1863 32222 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139789308417144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1876] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1876/stat : 1876 (java) S 1861 1863 32222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139788703229064 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1877] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1877/stat : 1877 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139788702177808 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1878] ppid=1861 vsize=9625004 CPUtime=0.55 cores=1,3,5,7 /proc/1863/task/1878/stat : 1878 (java) S 1861 1863 32222 0 -1 4202560 4831 0 0 0 55 0 0 0 20 0 19 0 291430142 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139788701125176 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1879] ppid=1861 vsize=9625004 CPUtime=0.61 cores=1,3,5,7 /proc/1863/task/1879/stat : 1879 (java) S 1861 1863 32222 0 -1 4202560 2875 0 0 0 61 0 0 0 20 0 19 0 291430142 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139788700072632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1880] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1880/stat : 1880 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139788699020280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1881] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1881/stat : 1881 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139788697967944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1882] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1882/stat : 1882 (java) S 1861 1863 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430192 9856004096 29236 33554432000 1073741824 1073778376 140734087599760 139788696912680 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.27 Current children cumulated vsize (KiB) 9625004 [startup+6.3007 s] /proc/loadavg: 2.04 2.04 2.00 3/214 1882 /proc/meminfo: memFree=30252596/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9625004 CPUtime=7.52 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 11958 0 1 0 748 4 0 0 20 0 19 0 291430135 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2406251 32208 2263 9 0 2396937 0 [pid=1863/tid=1865] ppid=1861 vsize=9625004 CPUtime=6.25 cores=1,3,5,7 /proc/1863/task/1865/stat : 1865 (java) R 1861 1863 32222 0 -1 4202560 2551 0 1 0 622 3 0 0 20 0 19 0 291430136 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789485271624 139789324781907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1866] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1866/stat : 1866 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789446764712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1867] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1867/stat : 1867 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789445712168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1868] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1868/stat : 1868 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789444659624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1863/tid=1869] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1869/stat : 1869 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789443607080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1870] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1870/stat : 1870 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789442554536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1871] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1871/stat : 1871 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789323987752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1872] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1872/stat : 1872 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789322935208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1873] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1873/stat : 1873 (java) S 1861 1863 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291430138 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789321882664 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1874] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1874/stat : 1874 (java) S 1861 1863 32222 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789309470824 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1875] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1875/stat : 1875 (java) S 1861 1863 32222 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139789308417144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1876] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1876/stat : 1876 (java) S 1861 1863 32222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139788703229064 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1877] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1877/stat : 1877 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139788702177808 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1878] ppid=1861 vsize=9625004 CPUtime=0.55 cores=1,3,5,7 /proc/1863/task/1878/stat : 1878 (java) S 1861 1863 32222 0 -1 4202560 4831 0 0 0 55 0 0 0 20 0 19 0 291430142 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139788701125176 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1879] ppid=1861 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/1863/task/1879/stat : 1879 (java) S 1861 1863 32222 0 -1 4202560 3375 0 0 0 66 0 0 0 20 0 19 0 291430142 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139788700072632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1880] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1880/stat : 1880 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139788699020280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1881] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1881/stat : 1881 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139788697967944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1882] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1882/stat : 1882 (java) S 1861 1863 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430192 9856004096 32208 33554432000 1073741824 1073778376 140734087599760 139788696912680 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.52 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=1863/tid=1878] ppid=1861 vsize=9625004 CPUtime=1.57 cores=1,3,5,7 /proc/1863/task/1878/stat : 1878 (java) S 1861 1863 32222 0 -1 4202560 13678 0 0 0 155 2 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788701125176 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1879] ppid=1861 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/1863/task/1879/stat : 1879 (java) S 1861 1863 32222 0 -1 4202560 3390 0 0 0 77 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788700072632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1880] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1880/stat : 1880 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788699020280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1881] ppid=1861 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/1863/task/1881/stat : 1881 (java) S 1861 1863 32222 0 -1 4202560 99 0 0 0 19 10 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788697967944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1882] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1882/stat : 1882 (java) S 1861 1863 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430192 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788696912680 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1728.81 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/213 2159 /proc/meminfo: memFree=30657320/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9625004 CPUtime=1788.82 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 22615 0 1 0 178847 35 0 0 20 0 19 0 291430135 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2406251 79536 2290 9 0 2396937 0 [pid=1863/tid=1865] ppid=1861 vsize=9625004 CPUtime=1765.6 cores=1,3,5,7 /proc/1863/task/1865/stat : 1865 (java) R 1861 1863 32222 0 -1 4202560 2696 0 1 0 176530 30 0 0 20 0 19 0 291430136 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789485273424 139789324912207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1866] ppid=1861 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/1863/task/1866/stat : 1866 (java) S 1861 1863 32222 0 -1 4202560 168 0 0 0 69 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789446764712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1867] ppid=1861 vsize=9625004 CPUtime=0.66 cores=1,3,5,7 /proc/1863/task/1867/stat : 1867 (java) S 1861 1863 32222 0 -1 4202560 179 0 0 0 64 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789445712168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1868] ppid=1861 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/1863/task/1868/stat : 1868 (java) S 1861 1863 32222 0 -1 4202560 154 0 0 0 74 3 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789444659624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1869] ppid=1861 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/1863/task/1869/stat : 1869 (java) S 1861 1863 32222 0 -1 4202560 188 0 0 0 81 5 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789443607080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1863/tid=1870] ppid=1861 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/1863/task/1870/stat : 1870 (java) S 1861 1863 32222 0 -1 4202560 109 0 0 0 72 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789442554536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1871] ppid=1861 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/1863/task/1871/stat : 1871 (java) S 1861 1863 32222 0 -1 4202560 52 0 0 0 83 3 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789323987752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1872] ppid=1861 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/1863/task/1872/stat : 1872 (java) S 1861 1863 32222 0 -1 4202560 163 0 0 0 70 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789322935208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1873] ppid=1861 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/1863/task/1873/stat : 1873 (java) S 1861 1863 32222 0 -1 4202560 369 0 0 0 71 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789321882664 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1874] ppid=1861 vsize=9625004 CPUtime=10.13 cores=1,3,5,7 /proc/1863/task/1874/stat : 1874 (java) S 1861 1863 32222 0 -1 4202560 180 0 0 0 1011 2 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789309470824 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1875] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1875/stat : 1875 (java) S 1861 1863 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789308417144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1876] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1876/stat : 1876 (java) S 1861 1863 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788703229064 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1877] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1877/stat : 1877 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788702177808 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1878] ppid=1861 vsize=9625004 CPUtime=1.57 cores=1,3,5,7 /proc/1863/task/1878/stat : 1878 (java) S 1861 1863 32222 0 -1 4202560 13678 0 0 0 155 2 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788701125176 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1879] ppid=1861 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/1863/task/1879/stat : 1879 (java) S 1861 1863 32222 0 -1 4202560 3390 0 0 0 77 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788700072632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1880] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1880/stat : 1880 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788699020280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1881] ppid=1861 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1863/task/1881/stat : 1881 (java) S 1861 1863 32222 0 -1 4202560 103 0 0 0 20 10 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788697967944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1882] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1882/stat : 1882 (java) S 1861 1863 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430192 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788696912680 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1788.82 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.5 s] /proc/loadavg: 2.01 2.01 2.00 3/213 2159 /proc/meminfo: memFree=30657320/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 22618 0 1 0 179972 35 0 0 20 0 19 0 291430135 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2406251 79536 2290 9 0 2396937 0 [pid=1863/tid=1865] ppid=1861 vsize=9625004 CPUtime=1776.64 cores=1,3,5,7 /proc/1863/task/1865/stat : 1865 (java) R 1861 1863 32222 0 -1 4202560 2697 0 1 0 177633 31 0 0 20 0 19 0 291430136 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789485273424 139789324811321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1866] ppid=1861 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/1863/task/1866/stat : 1866 (java) S 1861 1863 32222 0 -1 4202560 168 0 0 0 69 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789446764712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1867] ppid=1861 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/1863/task/1867/stat : 1867 (java) S 1861 1863 32222 0 -1 4202560 179 0 0 0 66 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789445712168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1868] ppid=1861 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/1863/task/1868/stat : 1868 (java) S 1861 1863 32222 0 -1 4202560 154 0 0 0 75 3 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789444659624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1869] ppid=1861 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/1863/task/1869/stat : 1869 (java) S 1861 1863 32222 0 -1 4202560 188 0 0 0 81 5 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789443607080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1863/tid=1870] ppid=1861 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/1863/task/1870/stat : 1870 (java) S 1861 1863 32222 0 -1 4202560 109 0 0 0 74 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789442554536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1871] ppid=1861 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/1863/task/1871/stat : 1871 (java) S 1861 1863 32222 0 -1 4202560 52 0 0 0 84 3 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789323987752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1872] ppid=1861 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/1863/task/1872/stat : 1872 (java) S 1861 1863 32222 0 -1 4202560 163 0 0 0 70 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789322935208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1863/tid=1873] ppid=1861 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/1863/task/1873/stat : 1873 (java) S 1861 1863 32222 0 -1 4202560 369 0 0 0 71 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789321882664 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1874] ppid=1861 vsize=9625004 CPUtime=10.24 cores=1,3,5,7 /proc/1863/task/1874/stat : 1874 (java) S 1861 1863 32222 0 -1 4202560 182 0 0 0 1022 2 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789309470824 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1875] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1875/stat : 1875 (java) S 1861 1863 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789308417144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1876] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1876/stat : 1876 (java) S 1861 1863 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788703229064 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1877] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1877/stat : 1877 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788702177808 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1878] ppid=1861 vsize=9625004 CPUtime=1.57 cores=1,3,5,7 /proc/1863/task/1878/stat : 1878 (java) S 1861 1863 32222 0 -1 4202560 13678 0 0 0 155 2 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788701125176 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1879] ppid=1861 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/1863/task/1879/stat : 1879 (java) S 1861 1863 32222 0 -1 4202560 3390 0 0 0 77 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788700072632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1880] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1880/stat : 1880 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788699020280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1881] ppid=1861 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1863/task/1881/stat : 1881 (java) S 1861 1863 32222 0 -1 4202560 103 0 0 0 20 10 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788697967944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1882] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1882/stat : 1882 (java) S 1861 1863 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430192 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788696912680 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.5 s] /proc/loadavg: 2.01 2.01 2.00 3/213 2159 /proc/meminfo: memFree=30657320/32873844 swapFree=6872/6872 [pid=1863] ppid=1861 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7 /proc/1863/stat : 1863 (java) S 1861 1863 32222 0 -1 4202496 22618 0 1 0 179972 35 0 0 20 0 19 0 291430135 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 140734087590896 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1863/statm: 2406251 79536 2290 9 0 2396937 0 [pid=1863/tid=1865] ppid=1861 vsize=9625004 CPUtime=1776.64 cores=1,3,5,7 /proc/1863/task/1865/stat : 1865 (java) R 1861 1863 32222 0 -1 4202560 2697 0 1 0 177633 31 0 0 20 0 19 0 291430136 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789485273424 139789324811321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1866] ppid=1861 vsize=9625004 CPUtime=0.71 cores=1,3,5,7 /proc/1863/task/1866/stat : 1866 (java) S 1861 1863 32222 0 -1 4202560 168 0 0 0 69 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789446764712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1867] ppid=1861 vsize=9625004 CPUtime=0.68 cores=1,3,5,7 /proc/1863/task/1867/stat : 1867 (java) S 1861 1863 32222 0 -1 4202560 179 0 0 0 66 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789445712168 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1868] ppid=1861 vsize=9625004 CPUtime=0.78 cores=1,3,5,7 /proc/1863/task/1868/stat : 1868 (java) S 1861 1863 32222 0 -1 4202560 154 0 0 0 75 3 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789444659624 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1869] ppid=1861 vsize=9625004 CPUtime=0.86 cores=1,3,5,7 /proc/1863/task/1869/stat : 1869 (java) S 1861 1863 32222 0 -1 4202560 188 0 0 0 81 5 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789443607080 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1863/tid=1870] ppid=1861 vsize=9625004 CPUtime=0.76 cores=1,3,5,7 /proc/1863/task/1870/stat : 1870 (java) S 1861 1863 32222 0 -1 4202560 109 0 0 0 74 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789442554536 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1871] ppid=1861 vsize=9625004 CPUtime=0.87 cores=1,3,5,7 /proc/1863/task/1871/stat : 1871 (java) S 1861 1863 32222 0 -1 4202560 52 0 0 0 84 3 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789323987752 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1872] ppid=1861 vsize=9625004 CPUtime=0.72 cores=1,3,5,7 /proc/1863/task/1872/stat : 1872 (java) S 1861 1863 32222 0 -1 4202560 163 0 0 0 70 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789322935208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1863/tid=1873] ppid=1861 vsize=9625004 CPUtime=0.73 cores=1,3,5,7 /proc/1863/task/1873/stat : 1873 (java) S 1861 1863 32222 0 -1 4202560 369 0 0 0 71 2 0 0 20 0 19 0 291430138 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789321882664 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1863/tid=1874] ppid=1861 vsize=9625004 CPUtime=10.24 cores=1,3,5,7 /proc/1863/task/1874/stat : 1874 (java) S 1861 1863 32222 0 -1 4202560 182 0 0 0 1022 2 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789309470824 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1875] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1875/stat : 1875 (java) S 1861 1863 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139789308417144 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1876] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1876/stat : 1876 (java) S 1861 1863 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291430139 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788703229064 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1877] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1877/stat : 1877 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788702177808 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1878] ppid=1861 vsize=9625004 CPUtime=1.57 cores=1,3,5,7 /proc/1863/task/1878/stat : 1878 (java) S 1861 1863 32222 0 -1 4202560 13678 0 0 0 155 2 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788701125176 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1879] ppid=1861 vsize=9625004 CPUtime=0.77 cores=1,3,5,7 /proc/1863/task/1879/stat : 1879 (java) S 1861 1863 32222 0 -1 4202560 3390 0 0 0 77 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788700072632 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1880] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1880/stat : 1880 (java) S 1861 1863 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788699020280 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1863/tid=1881] ppid=1861 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1863/task/1881/stat : 1881 (java) S 1861 1863 32222 0 -1 4202560 103 0 0 0 20 10 0 0 20 0 19 0 291430142 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788697967944 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1863/tid=1882] ppid=1861 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1863/task/1882/stat : 1882 (java) S 1861 1863 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291430192 9856004096 79536 33554432000 1073741824 1073778376 140734087599760 139788696912680 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625004 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1863 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=229083 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=801878 # CPU time returned by wait4() is 1796.03 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.57 CPU time (s): 1800.07 CPU user time (s): 1799.72 CPU system time (s): 0.35 CPU usage (%): 100.362 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.23 system time used= 0.801878 maximum resident set size= 318272 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22652 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41822 involuntary context switches= 36947 runsolver used 5.82911 second user time and 14.1738 second system time The end
Begin job on node105 at 2012-05-29 03:07:11 IDJOB=3710391 IDBENCH=92731 IDSOLVER=2289 FILE ID=node105/3710391-1338253631 RUNJOBID= node105-1338228444-32239 PBS_JOBID= 14624634 Free space on /tmp= 71560 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_9.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710391-1338253631/watcher-3710391-1338253631 -o /tmp/evaluation-result-3710391-1338253631/solver-3710391-1338253631 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710391-1338253631.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9dfe9f707e4bec0ff7b60653d14cbd16 RANDOM SEED=471005362 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 5447.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30370856 kB Buffers: 416576 kB Cached: 321452 kB SwapCached: 1708 kB Active: 1326416 kB Inactive: 318184 kB Active(anon): 902516 kB Inactive(anon): 4812 kB Active(file): 423900 kB Inactive(file): 313372 kB Unevictable: 6872 kB Mlocked: 6872 kB SwapTotal: 67108856 kB SwapFree: 67100448 kB Dirty: 1604 kB Writeback: 0 kB AnonPages: 910092 kB Mapped: 17136 kB Shmem: 0 kB Slab: 717624 kB SReclaimable: 159272 kB SUnreclaim: 558352 kB KernelStack: 1608 kB PageTables: 6136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1721504 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 870400 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71584 MiB End job on node105 at 2012-05-29 03:37:07