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.43 | 1794.07 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_7.opb |
| MD5SUM | b79cf832cc8fb39cc9e05c792def1a32 |
| 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 | 4636291 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| 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 | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 95222180678 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 95222180678 |
| 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.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c read org.sat4j.minisat.orders.VarOrderHeap 0.10/0.11 c configuring ORDERS 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=true 0.10/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3710389-1338255211.opb 0.10/0.12 c reading problem ... 1.02/0.54 c ... done. Wall clock time 0.424s. 1.02/0.54 c declared #vars 9940 1.02/0.54 c #constraints 24510 1.02/0.54 c constraints type 1.02/0.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.02/0.54 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.02/0.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.02/0.54 c ignored satisfied constraints => 2 1.02/0.54 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.02/0.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.02/0.54 c 24512 constraints processed. 1.26/0.66 c SATISFIABLE 1.26/0.66 c OPTIMIZING... 1.26/0.66 c Got one! Elapsed wall clock time (in seconds):0.538 1.26/0.66 o 370060395 1.49/0.76 c Got one! Elapsed wall clock time (in seconds):0.645 1.49/0.76 o 369795039 1.74/0.84 c Got one! Elapsed wall clock time (in seconds):0.721 1.74/0.84 o 369768791 8.55/7.38 c Got one! Elapsed wall clock time (in seconds):7.265 8.55/7.38 o 231873905 11.55/10.34 c cleaning 2531 clauses out of 5061 with flag 2003/5063 14.70/13.25 c Got one! Elapsed wall clock time (in seconds):13.133 14.70/13.25 o 177133891 14.70/13.27 c Got one! Elapsed wall clock time (in seconds):13.154 14.70/13.27 o 122110029 14.82/13.31 c Got one! Elapsed wall clock time (in seconds):13.19 14.82/13.31 o 121912523 15.92/14.49 c Got one! Elapsed wall clock time (in seconds):14.369 15.92/14.49 o 70866587 18.75/17.27 c cleaning 4489 clauses out of 8985 with flag 4001/11524 20.40/18.86 c Got one! Elapsed wall clock time (in seconds):18.744 20.40/18.86 o 20341433 22.54/20.98 c cleaning 5164 clauses out of 10327 with flag 3003/17412 26.18/24.17 c cleaning 5561 clauses out of 11128 with flag 9001/23410 27.11/24.67 c Got one! Elapsed wall clock time (in seconds):24.556 27.11/24.67 o 13864303 28.14/25.64 c Got one! Elapsed wall clock time (in seconds):25.527 28.14/25.64 o 13619703 28.95/26.42 c cleaning 5757 clauses out of 11513 with flag 3000/29378 30.56/28.01 c cleaning 5888 clauses out of 11775 with flag 9023/35401 33.68/31.11 c cleaning 6419 clauses out of 12853 with flag 16000/42378 39.10/36.59 c cleaning 7203 clauses out of 14420 with flag 24000/50378 40.31/37.71 c Got one! Elapsed wall clock time (in seconds):37.596 40.31/37.71 o 12901067 41.55/38.93 c cleaning 6173 clauses out of 12354 with flag 2000/55543 44.55/41.91 c cleaning 6077 clauses out of 12167 with flag 8000/61543 46.46/43.80 c cleaning 6535 clauses out of 13085 with flag 15001/68544 49.16/46.52 c cleaning 7251 clauses out of 14519 with flag 23001/76544 53.66/51.06 c cleaning 8119 clauses out of 16255 with flag 32001/85544 54.61/51.99 c Got one! Elapsed wall clock time (in seconds):51.872 54.61/51.99 o 11760765 55.11/52.46 c cleaning 6847 clauses out of 13716 with flag 2001/91130 56.52/53.84 c cleaning 6424 clauses out of 12867 with flag 8000/97129 58.43/55.73 c cleaning 6707 clauses out of 13434 with flag 15000/104129 63.84/61.15 c cleaning 7350 clauses out of 14714 with flag 23001/112130 73.05/70.35 c cleaning 8177 clauses out of 16363 with flag 32000/121129 78.85/76.19 c cleaning 9078 clauses out of 18161 with flag 42001/131130 84.29/81.56 c cleaning 10025 clauses out of 20069 with flag 53001/142130 87.01/84.26 c cleaning 11015 clauses out of 22042 with flag 65000/154129 90.11/87.34 c cleaning 12008 clauses out of 24024 with flag 78000/167129 93.72/90.94 c cleaning 13007 clauses out of 26014 with flag 92000/181129 94.93/92.10 c Got one! Elapsed wall clock time (in seconds):91.984 94.93/92.10 o 11379495 95.63/92.89 c cleaning 9179 clauses out of 18370 with flag 3001/186517 97.06/94.29 c cleaning 7586 clauses out of 15188 with flag 9000/192516 98.86/96.00 c cleaning 7295 clauses out of 14601 with flag 16001/199517 100.56/97.76 c cleaning 7649 clauses out of 15305 with flag 24000/207516 102.76/99.94 c cleaning 8319 clauses out of 16655 with flag 33000/216516 105.09/102.25 c cleaning 9161 clauses out of 18335 with flag 43000/226516 107.58/104.77 c cleaning 10075 clauses out of 20170 with flag 54000/237516 110.48/107.64 c cleaning 11042 clauses out of 22090 with flag 66001/249517 113.89/111.01 c cleaning 12020 clauses out of 24050 with flag 79003/262519 117.69/114.85 c cleaning 13004 clauses out of 26027 with flag 93000/276516 128.49/125.61 c cleaning 13988 clauses out of 27983 with flag 108001/291517 132.40/129.53 c cleaning 14986 clauses out of 29989 with flag 124001/307517 137.13/134.30 c cleaning 15993 clauses out of 31998 with flag 141001/324517 141.35/138.41 c cleaning 16995 clauses out of 34002 with flag 159000/342516 145.45/142.55 c cleaning 17996 clauses out of 36008 with flag 178001/361517 150.06/147.15 c cleaning 18992 clauses out of 38010 with flag 198002/381518 155.36/152.41 c cleaning 19992 clauses out of 40016 with flag 219000/402516 163.17/160.23 c cleaning 20992 clauses out of 41997 with flag 241001/424517 169.00/166.07 c cleaning 21984 clauses out of 43977 with flag 264000/447516 174.70/171.70 c cleaning 22983 clauses out of 45993 with flag 288001/471517 180.60/177.64 c cleaning 23990 clauses out of 48009 with flag 313000/496516 190.52/187.59 c cleaning 25000 clauses out of 50012 with flag 339001/522517 198.46/195.42 c cleaning 26000 clauses out of 52011 with flag 366000/549516 213.37/210.38 c cleaning 26997 clauses out of 54010 with flag 394000/577516 229.10/226.05 c cleaning 28000 clauses out of 56013 with flag 423000/606516 237.93/234.87 c Got one! Elapsed wall clock time (in seconds):234.751 237.93/234.87 o 10295917 241.13/238.04 c cleaning 23747 clauses out of 47512 with flag 5000/626073 244.56/241.42 c cleaning 14858 clauses out of 29726 with flag 11001/632074 246.07/242.99 c Got one! Elapsed wall clock time (in seconds):242.875 246.07/242.99 o 9212671 250.47/247.33 c cleaning 12770 clauses out of 25554 with flag 5004/642821 255.28/252.13 c cleaning 9386 clauses out of 18780 with flag 11001/648818 264.39/261.27 c cleaning 8186 clauses out of 16394 with flag 18001/655818 273.30/270.19 c cleaning 8090 clauses out of 16189 with flag 26000/663817 276.02/272.84 c cleaning 8541 clauses out of 17099 with flag 35000/672817 279.33/276.18 c cleaning 9267 clauses out of 18534 with flag 45001/682818 283.53/280.31 c cleaning 10112 clauses out of 20238 with flag 56001/693818 286.85/283.63 c cleaning 11058 clauses out of 22126 with flag 68001/705818 291.08/287.85 c cleaning 12009 clauses out of 24034 with flag 81001/718818 294.30/291.02 c cleaning 13002 clauses out of 26024 with flag 95000/732817 297.82/294.56 c cleaning 14000 clauses out of 28022 with flag 110000/747817 301.72/298.41 c cleaning 14997 clauses out of 30020 with flag 126001/763818 305.75/302.49 c cleaning 16001 clauses out of 32023 with flag 143001/780818 310.16/306.87 c cleaning 16999 clauses out of 34021 with flag 161000/798817 314.87/311.57 c cleaning 17997 clauses out of 36022 with flag 180000/817817 320.98/317.61 c cleaning 18994 clauses out of 38010 with flag 200000/837817 327.30/323.96 c cleaning 19999 clauses out of 40017 with flag 221001/858818 333.83/330.44 c cleaning 20995 clauses out of 42018 with flag 243001/880818 340.65/337.20 c cleaning 21997 clauses out of 44023 with flag 266001/903818 350.35/346.92 c cleaning 22991 clauses out of 45982 with flag 290008/927825 363.16/359.75 c cleaning 23961 clauses out of 47939 with flag 315001/952818 369.37/365.96 c cleaning 24975 clauses out of 49966 with flag 341001/978818 376.89/373.47 c cleaning 25985 clauses out of 51987 with flag 368000/1005817 385.71/382.29 c cleaning 26990 clauses out of 54002 with flag 396000/1033817 398.34/394.86 c cleaning 27998 clauses out of 56013 with flag 425001/1062818 408.80/405.28 c cleaning 28998 clauses out of 58015 with flag 455001/1092818 415.92/412.32 c cleaning 29999 clauses out of 60016 with flag 486000/1123817 424.63/421.06 c cleaning 31003 clauses out of 62017 with flag 518000/1155817 433.86/430.23 c cleaning 31999 clauses out of 64014 with flag 551000/1188817 443.27/439.61 c cleaning 32999 clauses out of 66015 with flag 585000/1222817 451.27/447.69 c cleaning 33999 clauses out of 68016 with flag 620000/1257817 459.59/455.96 c cleaning 35002 clauses out of 70017 with flag 656000/1293817 468.31/464.61 c cleaning 35999 clauses out of 72015 with flag 693000/1330817 477.24/473.54 c cleaning 36995 clauses out of 74016 with flag 731000/1368817 490.78/487.02 c cleaning 37995 clauses out of 76007 with flag 770000/1407817 506.70/502.91 c cleaning 38992 clauses out of 78002 with flag 810000/1447817 529.44/525.49 c cleaning 40000 clauses out of 80011 with flag 851001/1488818 540.31/536.20 c cleaning 40990 clauses out of 82002 with flag 893001/1530818 550.33/546.29 c cleaning 41992 clauses out of 84011 with flag 936000/1573817 561.05/556.92 c cleaning 42998 clauses out of 86020 with flag 980001/1617818 571.87/567.74 c cleaning 44004 clauses out of 88021 with flag 1025000/1662817 582.58/578.50 c cleaning 44997 clauses out of 90013 with flag 1071000/1708817 594.31/590.13 c cleaning 45999 clauses out of 92016 with flag 1118000/1755817 606.24/602.06 c cleaning 46997 clauses out of 94017 with flag 1166000/1803817 618.35/614.18 c cleaning 48001 clauses out of 96020 with flag 1215000/1852817 631.46/627.23 c cleaning 48998 clauses out of 98020 with flag 1265001/1902818 644.58/640.30 c cleaning 49996 clauses out of 100022 with flag 1316001/1953818 658.23/653.93 c cleaning 51001 clauses out of 102026 with flag 1368001/2005818 672.45/668.18 c cleaning 52001 clauses out of 104023 with flag 1421001/2058818 687.58/683.22 c cleaning 52993 clauses out of 106019 with flag 1475000/2112817 702.60/698.25 c cleaning 54004 clauses out of 108026 with flag 1530000/2167817 717.70/713.31 c cleaning 55005 clauses out of 110023 with flag 1586001/2223818 730.83/726.46 c cleaning 55989 clauses out of 112017 with flag 1643000/2280817 744.27/739.89 c cleaning 56995 clauses out of 114028 with flag 1701000/2338817 758.10/753.61 c cleaning 58003 clauses out of 116033 with flag 1760000/2397817 773.01/768.51 c cleaning 59001 clauses out of 118031 with flag 1820001/2457818 787.24/782.76 c cleaning 60006 clauses out of 120029 with flag 1881000/2518817 802.06/797.51 c cleaning 60999 clauses out of 122024 with flag 1943001/2580818 817.48/812.96 c cleaning 61999 clauses out of 124024 with flag 2006000/2643817 833.49/828.92 c cleaning 62998 clauses out of 126025 with flag 2070000/2707817 848.93/844.37 c cleaning 63994 clauses out of 128024 with flag 2135000/2772817 863.96/859.39 c cleaning 64998 clauses out of 130030 with flag 2201000/2838817 879.59/874.96 c cleaning 65995 clauses out of 132032 with flag 2268000/2905817 895.60/890.92 c cleaning 66997 clauses out of 134037 with flag 2336000/2973817 912.23/907.56 c cleaning 68015 clauses out of 136041 with flag 2405001/3042818 935.67/930.99 c cleaning 68994 clauses out of 138022 with flag 2475000/3112817 953.32/948.56 c cleaning 70002 clauses out of 140028 with flag 2546000/3183817 969.63/964.83 c cleaning 71002 clauses out of 142027 with flag 2618001/3255818 986.88/982.04 c cleaning 71998 clauses out of 144024 with flag 2691000/3328817 1007.51/1002.69 c cleaning 72998 clauses out of 146026 with flag 2765000/3402817 1025.37/1020.48 c cleaning 74004 clauses out of 148028 with flag 2840000/3477817 1043.79/1038.83 c cleaning 74998 clauses out of 150024 with flag 2916000/3553817 1062.73/1057.75 c cleaning 76003 clauses out of 152026 with flag 2993000/3630817 1082.96/1077.91 c cleaning 77009 clauses out of 154023 with flag 3071000/3708817 1106.78/1101.75 c cleaning 77990 clauses out of 156014 with flag 3150000/3787817 1131.72/1126.65 c cleaning 79003 clauses out of 158025 with flag 3230001/3867818 1157.03/1151.96 c cleaning 80002 clauses out of 160022 with flag 3311001/3948818 1183.40/1178.29 c cleaning 80998 clauses out of 162020 with flag 3393001/4030818 1202.92/1197.72 c cleaning 81994 clauses out of 164021 with flag 3476000/4113817 1222.97/1217.78 c cleaning 82995 clauses out of 166027 with flag 3560000/4197817 1243.39/1238.10 c cleaning 84000 clauses out of 168032 with flag 3645000/4282817 1264.52/1259.28 c cleaning 84996 clauses out of 170032 with flag 3731000/4368817 1284.65/1279.38 c cleaning 86003 clauses out of 172037 with flag 3818001/4455818 1307.07/1301.80 c cleaning 87009 clauses out of 174034 with flag 3906001/4543818 1332.42/1327.01 c cleaning 87993 clauses out of 176024 with flag 3995000/4632817 1352.68/1347.24 c cleaning 88998 clauses out of 178031 with flag 4085000/4722817 1374.54/1369.00 c cleaning 90009 clauses out of 180033 with flag 4176000/4813817 1396.59/1391.04 c cleaning 91006 clauses out of 182025 with flag 4268001/4905818 1423.13/1417.56 c cleaning 91997 clauses out of 184018 with flag 4361000/4998817 1452.45/1446.87 c cleaning 93003 clauses out of 186021 with flag 4455000/5092817 1483.59/1477.98 c cleaning 93999 clauses out of 188019 with flag 4550001/5187818 1508.35/1502.67 c cleaning 94998 clauses out of 190020 with flag 4646001/5283818 1534.40/1528.64 c cleaning 96001 clauses out of 192021 with flag 4743000/5380817 1560.65/1554.88 c cleaning 97000 clauses out of 194020 with flag 4841000/5478817 1585.69/1579.84 c cleaning 98002 clauses out of 196021 with flag 4940001/5577818 1611.64/1605.75 c cleaning 98997 clauses out of 198019 with flag 5040001/5677818 1637.51/1631.52 c cleaning 99999 clauses out of 200022 with flag 5141001/5778818 1665.22/1659.20 c cleaning 100997 clauses out of 202022 with flag 5243000/5880817 1691.79/1685.75 c cleaning 102000 clauses out of 204025 with flag 5346000/5983817 1715.65/1709.52 c cleaning 103001 clauses out of 206026 with flag 5450001/6087818 1743.50/1737.36 c cleaning 103999 clauses out of 208024 with flag 5555000/6192817 1772.66/1766.44 c cleaning 104999 clauses out of 210026 with flag 5661001/6298818 1800.10/1793.88 c cleaning 105999 clauses out of 212027 with flag 5768001/6405818 1800.10/1794.01 c starts : 292 1800.10/1794.01 c conflicts : 6405831 1800.10/1794.01 c decisions : 7129123 1800.10/1794.01 c propagations : 174270993 1800.10/1794.01 c inspects : 2789732205 1800.10/1794.01 c shortcuts : 0 1800.10/1794.01 c learnt literals : 487 1800.10/1794.01 c learnt binary clauses : 536 1800.10/1794.01 c learnt ternary clauses : 1096 1800.10/1794.01 c learnt constraints : 6405345 1800.10/1794.01 c ignored constraints : 0 1800.10/1794.01 c root simplifications : 779 1800.10/1794.01 c removed literals (reason simplification) : 618195141 1800.10/1794.01 c reason swapping (by a shorter reason) : 0 1800.10/1794.01 c Calls to reduceDB : 153 1800.10/1794.01 c number of reductions to clauses (during analyze) : 0 1800.10/1794.01 c number of learned constraints concerned by reduction : 0 1800.10/1794.01 c number of learning phase by resolution : 0 1800.10/1794.01 c number of learning phase by cutting planes : 0 1800.10/1794.01 c speed (assignments/second) : 97170.92829008702 1800.10/1794.01 c non guided choices 11113 1800.43/1794.03 c learnt constraints type 1800.43/1794.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 468 1800.43/1794.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105686 1800.43/1794.03 c constraints type 1800.43/1794.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.43/1794.03 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1800.43/1794.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.43/1794.03 c ignored satisfied constraints => 2 1800.43/1794.03 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.43/1794.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626 1800.43/1794.03 c 24513 constraints processed. 1800.43/1794.03 s SATISFIABLE 1800.43/1794.04 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.43/1794.05 c objective function=9212671 1800.43/1794.05 c Total wall clock time (in seconds): 1793.934
OK 9212671
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-3710389-1338255211/watcher-3710389-1338255211 -o /tmp/evaluation-result-3710389-1338255211/solver-3710389-1338255211 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710389-1338255211.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 1.99 1.95 2/195 7457 /proc/meminfo: memFree=30935676/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/7457/stat : 7457 (java) R 7455 7457 7104 0 -1 4202496 989 0 0 0 0 0 0 0 20 0 1 0 291646762 23793664 716 33554432000 1073741824 1073778376 140736661844192 140736661833256 272877271120 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 5809 716 531 9 0 128 0 [startup+0.0915211 s] /proc/loadavg: 1.94 1.99 1.95 2/195 7457 /proc/meminfo: memFree=30935676/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9558440 CPUtime=0.09 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 4218 0 1 0 8 1 0 0 20 0 18 0 291646762 9787842560 5425 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2389610 5426 2113 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.100235 s] /proc/loadavg: 1.94 1.99 1.95 2/195 7457 /proc/meminfo: memFree=30935676/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9558440 CPUtime=0.1 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 4285 0 1 0 9 1 0 0 20 0 18 0 291646762 9787842560 6003 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2389610 6003 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558440 [startup+0.300218 s] /proc/loadavg: 1.94 1.99 1.95 2/195 7457 /proc/meminfo: memFree=30935676/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9558440 CPUtime=0.5 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 6455 0 1 0 49 1 0 0 20 0 18 0 291646762 9787842560 10243 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2389610 10243 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558440 [startup+0.700225 s] /proc/loadavg: 1.94 1.99 1.95 2/195 7457 /proc/meminfo: memFree=30935676/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9625004 CPUtime=1.49 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 10919 0 1 0 146 3 0 0 20 0 19 0 291646762 9856004096 25675 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2406251 25675 2250 9 0 2396937 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9625004 [startup+1.50062 s] /proc/loadavg: 2.02 2.01 1.95 3/214 7476 /proc/meminfo: memFree=30790512/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9625004 CPUtime=2.7 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 10971 0 1 0 267 3 0 0 20 0 19 0 291646762 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2406251 28281 2260 9 0 2396937 0 [pid=7457/tid=7459] ppid=7455 vsize=9625004 CPUtime=1.47 cores=0,2,4,6 /proc/7457/task/7459/stat : 7459 (java) R 7455 7457 7104 0 -1 4202560 2560 0 1 0 145 2 0 0 20 0 19 0 291646762 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924671705128 139924544798867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7460] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7460/stat : 7460 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924515699624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7461] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7461/stat : 7461 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924514647080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7462] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7462/stat : 7462 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924513594024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7463] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7463/stat : 7463 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924512541480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7464] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7464/stat : 7464 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924511488424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7465] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7465/stat : 7465 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924510435880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7466] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7466/stat : 7466 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924509382824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7467] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7467/stat : 7467 (java) S 7455 7457 7104 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924508330280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7468] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7468/stat : 7468 (java) S 7455 7457 7104 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291646764 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924495919976 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7469] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7469/stat : 7469 (java) S 7455 7457 7104 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924494866296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7470] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7470/stat : 7470 (java) S 7455 7457 7104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924493813128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7471] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7471/stat : 7471 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924492761872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7472] ppid=7455 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/7457/task/7472/stat : 7472 (java) S 7455 7457 7104 0 -1 4202560 2735 0 0 0 58 0 0 0 20 0 19 0 291646767 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924491708728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7473] ppid=7455 vsize=9625004 CPUtime=0.6 cores=0,2,4,6 /proc/7457/task/7473/stat : 7473 (java) S 7455 7457 7104 0 -1 4202560 4477 0 0 0 60 0 0 0 20 0 19 0 291646767 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924490656184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7474] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7474/stat : 7474 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924489603320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7475] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7475/stat : 7475 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924488550984 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7476] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7476/stat : 7476 (java) S 7455 7457 7104 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291646818 9856004096 28281 33554432000 1073741824 1073778376 140736661844192 139924487497256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 9625004 [startup+3.10062 s] /proc/loadavg: 2.02 2.01 1.95 3/214 7476 /proc/meminfo: memFree=30785432/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9625004 CPUtime=4.3 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 10976 0 1 0 427 3 0 0 20 0 19 0 291646762 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2406251 29306 2260 9 0 2396937 0 [pid=7457/tid=7459] ppid=7455 vsize=9625004 CPUtime=3.07 cores=0,2,4,6 /proc/7457/task/7459/stat : 7459 (java) R 7455 7457 7104 0 -1 4202560 2564 0 1 0 305 2 0 0 20 0 19 0 291646762 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924671703568 139924544808929 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7460] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7460/stat : 7460 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924515699624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7461] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7461/stat : 7461 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924514647080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7462] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7462/stat : 7462 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924513594024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7463] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7463/stat : 7463 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924512541480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7464] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7464/stat : 7464 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924511488424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7465] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7465/stat : 7465 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924510435880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7466] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7466/stat : 7466 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924509382824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7467] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7467/stat : 7467 (java) S 7455 7457 7104 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924508330280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7468] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7468/stat : 7468 (java) S 7455 7457 7104 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291646764 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924495919976 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7469] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7469/stat : 7469 (java) S 7455 7457 7104 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924494866296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7470] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7470/stat : 7470 (java) S 7455 7457 7104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924493813128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7471] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7471/stat : 7471 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924492761872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7472] ppid=7455 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/7457/task/7472/stat : 7472 (java) S 7455 7457 7104 0 -1 4202560 2735 0 0 0 58 0 0 0 20 0 19 0 291646767 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924491708728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7473] ppid=7455 vsize=9625004 CPUtime=0.6 cores=0,2,4,6 /proc/7457/task/7473/stat : 7473 (java) S 7455 7457 7104 0 -1 4202560 4477 0 0 0 60 0 0 0 20 0 19 0 291646767 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924490656184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7474] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7474/stat : 7474 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924489603320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7475] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7475/stat : 7475 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924488550984 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7476] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7476/stat : 7476 (java) S 7455 7457 7104 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291646818 9856004096 29306 33554432000 1073741824 1073778376 140736661844192 139924487497256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 9625004 [startup+6.30063 s] /proc/loadavg: 2.02 2.01 1.95 3/214 7476 /proc/meminfo: memFree=30733316/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9625004 CPUtime=7.55 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 11008 0 1 0 752 3 0 0 20 0 19 0 291646762 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2406251 31843 2263 9 0 2396937 0 [pid=7457/tid=7459] ppid=7455 vsize=9625004 CPUtime=6.27 cores=0,2,4,6 /proc/7457/task/7459/stat : 7459 (java) R 7455 7457 7104 0 -1 4202560 2572 0 1 0 625 2 0 0 20 0 19 0 291646762 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924671703520 139924544743861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7460] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7460/stat : 7460 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924515699624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7461] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7461/stat : 7461 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924514647080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7462] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7462/stat : 7462 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924513594024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7463] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7463/stat : 7463 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924512541480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7464] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7464/stat : 7464 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924511488424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7465] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7465/stat : 7465 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924510435880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7466] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7466/stat : 7466 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924509382824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7467] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7467/stat : 7467 (java) S 7455 7457 7104 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291646763 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924508330280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7468] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7468/stat : 7468 (java) S 7455 7457 7104 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291646764 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924495919976 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7469] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7469/stat : 7469 (java) S 7455 7457 7104 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924494866296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7470] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7470/stat : 7470 (java) S 7455 7457 7104 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924493813128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7471] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7471/stat : 7471 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924492761872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7472] ppid=7455 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/7457/task/7472/stat : 7472 (java) S 7455 7457 7104 0 -1 4202560 2735 0 0 0 58 0 0 0 20 0 19 0 291646767 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924491708728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7473] ppid=7455 vsize=9625004 CPUtime=0.65 cores=0,2,4,6 /proc/7457/task/7473/stat : 7473 (java) S 7455 7457 7104 0 -1 4202560 4501 0 0 0 65 0 0 0 20 0 19 0 291646767 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924490656184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7474] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7474/stat : 7474 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924489603320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7475] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7475/stat : 7475 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924488550984 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7476] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7476/stat : 7476 (java) S 7455 7457 7104 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291646818 9856004096 31843 33554432000 1073741824 1073778376 140736661844192 139924487497256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.55 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ [pid=7457/tid=7472] ppid=7455 vsize=9625004 CPUtime=1.18 cores=0,2,4,6 /proc/7457/task/7472/stat : 7472 (java) S 7455 7457 7104 0 -1 4202560 8938 0 0 0 116 2 0 0 20 0 19 0 291646767 9856004096 102794 33554432000 1073741824 1073778376 140736661844192 139924491708728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7473] ppid=7455 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/7457/task/7473/stat : 7473 (java) S 7455 7457 7104 0 -1 4202560 10404 0 0 0 126 2 0 0 20 0 19 0 291646767 9856004096 102794 33554432000 1073741824 1073778376 140736661844192 139924490656184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7474] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7474/stat : 7474 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 102794 33554432000 1073741824 1073778376 140736661844192 139924489603320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7475] ppid=7455 vsize=9625004 CPUtime=0.26 cores=0,2,4,6 /proc/7457/task/7475/stat : 7475 (java) S 7455 7457 7104 0 -1 4202560 97 0 0 0 9 17 0 0 20 0 19 0 291646767 9856004096 102794 33554432000 1073741824 1073778376 140736661844192 139924488550984 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7476] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7476/stat : 7476 (java) S 7455 7457 7104 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291646818 9856004096 102794 33554432000 1073741824 1073778376 140736661844192 139924487497256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1728.5 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 1.98 3/213 7716 /proc/meminfo: memFree=29716916/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9625004 CPUtime=1788.6 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 25691 0 1 0 178798 62 0 0 20 0 19 0 291646762 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2406251 102844 2290 9 0 2396937 0 [pid=7457/tid=7459] ppid=7455 vsize=9625004 CPUtime=1766.29 cores=0,2,4,6 /proc/7457/task/7459/stat : 7459 (java) R 7455 7457 7104 0 -1 4202560 2750 0 1 0 176597 32 0 0 20 0 19 0 291646762 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924671705424 139924544924203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7460] ppid=7455 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/7457/task/7460/stat : 7460 (java) S 7455 7457 7104 0 -1 4202560 342 0 0 0 69 5 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924515699624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7461] ppid=7455 vsize=9625004 CPUtime=0.66 cores=0,2,4,6 /proc/7457/task/7461/stat : 7461 (java) S 7455 7457 7104 0 -1 4202560 192 0 0 0 63 3 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924514647080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7462] ppid=7455 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/7457/task/7462/stat : 7462 (java) S 7455 7457 7104 0 -1 4202560 267 0 0 0 70 4 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924513594024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7463] ppid=7455 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/7457/task/7463/stat : 7463 (java) S 7455 7457 7104 0 -1 4202560 360 0 0 0 64 5 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924512541480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7464] ppid=7455 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/7457/task/7464/stat : 7464 (java) S 7455 7457 7104 0 -1 4202560 152 0 0 0 55 3 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924511488424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7465] ppid=7455 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/7457/task/7465/stat : 7465 (java) S 7455 7457 7104 0 -1 4202560 275 0 0 0 63 4 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924510435880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7466] ppid=7455 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/7457/task/7466/stat : 7466 (java) S 7455 7457 7104 0 -1 4202560 115 0 0 0 67 4 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924509382824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7467] ppid=7455 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/7457/task/7467/stat : 7467 (java) S 7455 7457 7104 0 -1 4202560 442 0 0 0 64 5 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924508330280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7468] ppid=7455 vsize=9625004 CPUtime=9.59 cores=0,2,4,6 /proc/7457/task/7468/stat : 7468 (java) S 7455 7457 7104 0 -1 4202560 168 0 0 0 956 3 0 0 20 0 19 0 291646764 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924495919976 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7469] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7469/stat : 7469 (java) S 7455 7457 7104 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924494866296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7470] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7470/stat : 7470 (java) S 7455 7457 7104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924493813128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7471] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7471/stat : 7471 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924492761872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7472] ppid=7455 vsize=9625004 CPUtime=1.18 cores=0,2,4,6 /proc/7457/task/7472/stat : 7472 (java) S 7455 7457 7104 0 -1 4202560 8938 0 0 0 116 2 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924491708728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7473] ppid=7455 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/7457/task/7473/stat : 7473 (java) S 7455 7457 7104 0 -1 4202560 10404 0 0 0 126 2 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924490656184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7474] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7474/stat : 7474 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924489603320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7475] ppid=7455 vsize=9625004 CPUtime=0.28 cores=0,2,4,6 /proc/7457/task/7475/stat : 7475 (java) S 7455 7457 7104 0 -1 4202560 101 0 0 0 10 18 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924488550984 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7476] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7476/stat : 7476 (java) S 7455 7457 7104 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291646818 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924487497256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.8 s] /proc/loadavg: 1.96 2.00 1.97 4/212 7774 /proc/meminfo: memFree=30383068/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9625004 CPUtime=1800.1 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 25691 0 1 0 179948 62 0 0 20 0 19 0 291646762 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2406251 102844 2290 9 0 2396937 0 [pid=7457/tid=7459] ppid=7455 vsize=9625004 CPUtime=1777.76 cores=0,2,4,6 /proc/7457/task/7459/stat : 7459 (java) R 7455 7457 7104 0 -1 4202560 2750 0 1 0 177743 33 0 0 20 0 19 0 291646762 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924671705424 139924545188200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7460] ppid=7455 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/7457/task/7460/stat : 7460 (java) S 7455 7457 7104 0 -1 4202560 342 0 0 0 69 5 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924515699624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7461] ppid=7455 vsize=9625004 CPUtime=0.66 cores=0,2,4,6 /proc/7457/task/7461/stat : 7461 (java) S 7455 7457 7104 0 -1 4202560 192 0 0 0 63 3 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924514647080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7462] ppid=7455 vsize=9625004 CPUtime=0.74 cores=0,2,4,6 /proc/7457/task/7462/stat : 7462 (java) S 7455 7457 7104 0 -1 4202560 267 0 0 0 70 4 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924513594024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7463] ppid=7455 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/7457/task/7463/stat : 7463 (java) S 7455 7457 7104 0 -1 4202560 360 0 0 0 64 5 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924512541480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7464] ppid=7455 vsize=9625004 CPUtime=0.58 cores=0,2,4,6 /proc/7457/task/7464/stat : 7464 (java) S 7455 7457 7104 0 -1 4202560 152 0 0 0 55 3 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924511488424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7465] ppid=7455 vsize=9625004 CPUtime=0.67 cores=0,2,4,6 /proc/7457/task/7465/stat : 7465 (java) S 7455 7457 7104 0 -1 4202560 275 0 0 0 63 4 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924510435880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7466] ppid=7455 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/7457/task/7466/stat : 7466 (java) S 7455 7457 7104 0 -1 4202560 115 0 0 0 67 4 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924509382824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7467] ppid=7455 vsize=9625004 CPUtime=0.69 cores=0,2,4,6 /proc/7457/task/7467/stat : 7467 (java) S 7455 7457 7104 0 -1 4202560 442 0 0 0 64 5 0 0 20 0 19 0 291646763 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924508330280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7468] ppid=7455 vsize=9625004 CPUtime=9.59 cores=0,2,4,6 /proc/7457/task/7468/stat : 7468 (java) S 7455 7457 7104 0 -1 4202560 168 0 0 0 956 3 0 0 20 0 19 0 291646764 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924495919976 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7469] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7469/stat : 7469 (java) S 7455 7457 7104 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924494866296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7470] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7470/stat : 7470 (java) S 7455 7457 7104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291646765 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924493813128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7471] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7471/stat : 7471 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924492761872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7472] ppid=7455 vsize=9625004 CPUtime=1.18 cores=0,2,4,6 /proc/7457/task/7472/stat : 7472 (java) S 7455 7457 7104 0 -1 4202560 8938 0 0 0 116 2 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924491708728 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7473] ppid=7455 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/7457/task/7473/stat : 7473 (java) S 7455 7457 7104 0 -1 4202560 10404 0 0 0 126 2 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924490656184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7474] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7474/stat : 7474 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924489603320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7475] ppid=7455 vsize=9625004 CPUtime=0.28 cores=0,2,4,6 /proc/7457/task/7475/stat : 7475 (java) S 7455 7457 7104 0 -1 4202560 101 0 0 0 10 18 0 0 20 0 19 0 291646767 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924488550984 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7476] ppid=7455 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7476/stat : 7476 (java) S 7455 7457 7104 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291646818 9856004096 102844 33554432000 1073741824 1073778376 140736661844192 139924487497256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 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+1794.03 s] /proc/loadavg: 1.96 2.00 1.97 4/212 7774 /proc/meminfo: memFree=30383068/32873844 swapFree=7112/7112 [pid=7457] ppid=7455 vsize=9758132 CPUtime=1800.43 cores=0,2,4,6 /proc/7457/stat : 7457 (java) S 7455 7457 7104 0 -1 4202496 25771 0 1 0 179980 63 0 0 20 0 21 0 291646762 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 140736661835328 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7457/statm: 2439533 102920 2290 9 0 2430219 0 [pid=7457/tid=7459] ppid=7455 vsize=9758132 CPUtime=1777.86 cores=0,2,4,6 /proc/7457/task/7459/stat : 7459 (java) R 7455 7457 7104 0 -1 4202560 2750 0 1 0 177753 33 0 0 20 0 21 0 291646762 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924671705688 139924544989543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7460] ppid=7455 vsize=9758132 CPUtime=0.75 cores=0,2,4,6 /proc/7457/task/7460/stat : 7460 (java) S 7455 7457 7104 0 -1 4202560 350 0 0 0 70 5 0 0 20 0 21 0 291646763 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924515699624 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7461] ppid=7455 vsize=9758132 CPUtime=0.68 cores=0,2,4,6 /proc/7457/task/7461/stat : 7461 (java) S 7455 7457 7104 0 -1 4202560 231 0 0 0 65 3 0 0 20 0 21 0 291646763 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924514647080 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7462] ppid=7455 vsize=9758132 CPUtime=0.75 cores=0,2,4,6 /proc/7457/task/7462/stat : 7462 (java) S 7455 7457 7104 0 -1 4202560 267 0 0 0 71 4 0 0 20 0 21 0 291646763 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924513594024 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7463] ppid=7455 vsize=9758132 CPUtime=0.69 cores=0,2,4,6 /proc/7457/task/7463/stat : 7463 (java) S 7455 7457 7104 0 -1 4202560 360 0 0 0 64 5 0 0 20 0 21 0 291646763 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924512541480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7464] ppid=7455 vsize=9758132 CPUtime=0.59 cores=0,2,4,6 /proc/7457/task/7464/stat : 7464 (java) S 7455 7457 7104 0 -1 4202560 152 0 0 0 56 3 0 0 20 0 21 0 291646763 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924511488424 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7465] ppid=7455 vsize=9758132 CPUtime=0.68 cores=0,2,4,6 /proc/7457/task/7465/stat : 7465 (java) S 7455 7457 7104 0 -1 4202560 275 0 0 0 64 4 0 0 20 0 21 0 291646763 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924510435880 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7466] ppid=7455 vsize=9758132 CPUtime=0.72 cores=0,2,4,6 /proc/7457/task/7466/stat : 7466 (java) S 7455 7457 7104 0 -1 4202560 115 0 0 0 68 4 0 0 20 0 21 0 291646763 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924509382824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7467] ppid=7455 vsize=9758132 CPUtime=0.72 cores=0,2,4,6 /proc/7457/task/7467/stat : 7467 (java) S 7455 7457 7104 0 -1 4202560 442 0 0 0 67 5 0 0 20 0 21 0 291646763 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924508330280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7468] ppid=7455 vsize=9758132 CPUtime=9.68 cores=0,2,4,6 /proc/7457/task/7468/stat : 7468 (java) S 7455 7457 7104 0 -1 4202560 170 0 0 0 965 3 0 0 20 0 21 0 291646764 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924495919976 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7457/tid=7469] ppid=7455 vsize=9758132 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7469/stat : 7469 (java) S 7455 7457 7104 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 291646765 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924494866296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7470] ppid=7455 vsize=9758132 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7470/stat : 7470 (java) S 7455 7457 7104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 291646765 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924493813128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7471] ppid=7455 vsize=9758132 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7471/stat : 7471 (java) S 7455 7457 7104 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 291646767 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924492761872 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7457/tid=7472] ppid=7455 vsize=9758132 CPUtime=1.19 cores=0,2,4,6 /proc/7457/task/7472/stat : 7472 (java) R 7455 7457 7104 0 -1 4202560 8939 0 0 0 117 2 0 0 20 0 21 0 291646767 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924491708728 139924678688435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7473] ppid=7455 vsize=9758132 CPUtime=1.28 cores=0,2,4,6 /proc/7457/task/7473/stat : 7473 (java) S 7455 7457 7104 0 -1 4202560 10404 0 0 0 126 2 0 0 20 0 21 0 291646767 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924490656184 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7474] ppid=7455 vsize=9758132 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7474/stat : 7474 (java) S 7455 7457 7104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 291646767 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924489603320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7457/tid=7475] ppid=7455 vsize=9758132 CPUtime=0.28 cores=0,2,4,6 /proc/7457/task/7475/stat : 7475 (java) S 7455 7457 7104 0 -1 4202560 101 0 0 0 10 18 0 0 20 0 21 0 291646767 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924488550984 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7457/tid=7476] ppid=7455 vsize=9758132 CPUtime=0 cores=0,2,4,6 /proc/7457/task/7476/stat : 7476 (java) S 7455 7457 7104 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 291646818 9992327168 102920 33554432000 1073741824 1073778376 140736661844192 139924487497256 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 9758132 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7457 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=188089 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=52839 # CPU time returned by wait4() is 1796.24 # while last known CPU time is 1800.43 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1794.07 CPU time (s): 1800.43 CPU user time (s): 1799.8 CPU system time (s): 0.63 CPU usage (%): 100.355 Max. virtual memory (cumulated for all children) (KiB): 9758132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.19 system time used= 1.05284 maximum resident set size= 411688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25774 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42263 involuntary context switches= 22571 runsolver used 5.46917 second user time and 13.7449 second system time The end
Begin job on node119 at 2012-05-29 03:33:31 IDJOB=3710389 IDBENCH=92758 IDSOLVER=2289 FILE ID=node119/3710389-1338255211 RUNJOBID= node119-1338251615-7120 PBS_JOBID= 14624665 Free space on /tmp= 71608 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_7.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-3710389-1338255211/watcher-3710389-1338255211 -o /tmp/evaluation-result-3710389-1338255211/solver-3710389-1338255211 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710389-1338255211.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b79cf832cc8fb39cc9e05c792def1a32 RANDOM SEED=1012171478 node119.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.943 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.88 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.943 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.943 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.93 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.943 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.943 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 : 5331.93 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.943 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.92 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.943 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.90 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.943 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30936204 kB Buffers: 341960 kB Cached: 481584 kB SwapCached: 1840 kB Active: 858012 kB Inactive: 255992 kB Active(anon): 290468 kB Inactive(anon): 2068 kB Active(file): 567544 kB Inactive(file): 253924 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100200 kB Dirty: 4316 kB Writeback: 0 kB AnonPages: 267348 kB Mapped: 19964 kB Shmem: 8 kB Slab: 660504 kB SReclaimable: 102040 kB SUnreclaim: 558464 kB KernelStack: 1608 kB PageTables: 4688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 825704 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 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= 71552 MiB End job on node119 at 2012-05-29 04:03:27