Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | SAT (TO) | 993 | 3600.59 | 3617.32 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
| MD5SUM | eddbc5130f16a1842e21dd4bd4477bf2 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 254 |
| Best CPU time to get the best result obtained on this benchmark | 3558.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494527 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494527 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.09/0.17 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.17 c See www.sat4j.org for details. 0.09/0.19 c version CUSTOM.v20240707 0.09/0.21 c java.runtime.name OpenJDK Runtime Environment 0.09/0.21 c java.vm.name OpenJDK 64-Bit Server VM 0.09/0.21 c java.vm.version 22.0.1+8-16 0.09/0.21 c java.vm.vendor Oracle Corporation 0.09/0.21 c sun.arch.data.model 64 0.09/0.21 c java.version 22.0.1 0.09/0.21 c os.name Linux 0.09/0.21 c os.version 4.18.0-301.1.el8.x86_64 0.09/0.21 c os.arch amd64 0.21/0.23 c Free memory 2113181440 0.21/0.23 c Max memory 16282288128 0.21/0.24 c Total memory 2122317824 0.21/0.24 c Number of processors 2 0.33/0.34 --- Begin Solver configuration --- 0.33/0.34 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.33/0.34 Learn all clauses as in MiniSAT 0.33/0.34 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.33/0.34 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.33/0.34 Expensive reason simplification 0.33/0.34 Glucose 2.1 dynamic restart strategy 0.33/0.34 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.33/0.34 timeout=2147483s 0.33/0.34 DB Simplification allowed=false 0.33/0.34 Listener: none 0.33/0.34 --- End Solver configuration --- 0.33/0.35 c Pseudo Boolean Optimization by upper bound 0.33/0.35 c --- Begin Solver configuration --- 0.33/0.35 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.33/0.35 c Learn all clauses as in MiniSAT 0.33/0.35 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.33/0.35 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.33/0.35 c Expensive reason simplification 0.33/0.35 c Glucose 2.1 dynamic restart strategy 0.33/0.35 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.33/0.35 c timeout=2147483s 0.33/0.35 c DB Simplification allowed=false 0.33/0.35 c Listener: none 0.33/0.35 c --- End Solver configuration --- 0.33/0.35 c solving HOME/instance-4440313-1721771782.opb 0.33/0.35 c reading problem ... 0.33/0.35 c using VERIPB proof format 0.33/0.35 c objective function found 3.26/2.15 c ... done. Wall clock time 1.796s. 3.26/2.15 c declared #vars 10000 3.26/2.15 c #constraints 656900 3.26/2.15 c constraints type 3.26/2.15 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 3.26/2.15 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 3.26/2.15 c 656900 constraints processed. 3.26/2.15 c objective function length is 10000 literals 5.40/3.25 c SATISFIABLE 5.40/3.26 c OPTIMIZING... 5.40/3.26 c Got one! Elapsed wall clock time (in seconds):2.905 5.40/3.26 o 1770 6.00/3.52 c Got one! Elapsed wall clock time (in seconds):3.164 6.00/3.52 o 1340 6.61/3.82 c Got one! Elapsed wall clock time (in seconds):3.478 6.61/3.83 o 1324 6.80/4.00 c Got one! Elapsed wall clock time (in seconds):3.647 6.80/4.00 o 1198 7.38/4.20 c Got one! Elapsed wall clock time (in seconds):3.846 7.38/4.20 o 1116 7.38/4.30 c Got one! Elapsed wall clock time (in seconds):3.954 7.60/4.31 o 993 9.93/5.94 c cleaning 2864 clauses out of 5786 with flag 17177/5786 13.12/8.55 c cleaning 4433 clauses out of 8921 with flag 36747/11785 15.25/10.39 c cleaning 5732 clauses out of 11488 with flag 55810/18785 18.01/12.87 c cleaning 6867 clauses out of 13756 with flag 81261/26785 21.55/15.74 c cleaning 7936 clauses out of 15889 with flag 109728/35785 24.86/19.09 c cleaning 8975 clauses out of 17954 with flag 140369/45786 28.44/22.66 c cleaning 9984 clauses out of 19978 with flag 176573/56785 32.63/26.85 c cleaning 10983 clauses out of 21994 with flag 217005/68785 36.72/31.00 c cleaning 11994 clauses out of 24011 with flag 265118/81785 40.66/35.00 c cleaning 12997 clauses out of 26017 with flag 310943/95785 45.05/39.31 c cleaning 13998 clauses out of 28020 with flag 358473/110785 49.95/44.23 c cleaning 14993 clauses out of 30022 with flag 411831/126785 55.12/49.30 c cleaning 16006 clauses out of 32031 with flag 469975/143787 61.14/55.09 c cleaning 17002 clauses out of 34024 with flag 527070/161786 66.93/60.85 c cleaning 17995 clauses out of 36021 with flag 591096/180785 73.07/67.03 c cleaning 18995 clauses out of 38028 with flag 657982/200787 79.50/73.43 c cleaning 19995 clauses out of 40031 with flag 730520/221785 86.38/80.32 c cleaning 21001 clauses out of 42036 with flag 807370/243785 93.77/87.74 c cleaning 22000 clauses out of 44035 with flag 893337/266785 101.59/95.68 c cleaning 22998 clauses out of 46035 with flag 981655/290785 110.09/104.18 c cleaning 23999 clauses out of 48038 with flag 1064085/315786 118.97/113.09 c cleaning 24995 clauses out of 50041 with flag 1155500/341788 127.75/121.81 c cleaning 26000 clauses out of 52043 with flag 1254723/368785 137.27/131.40 c cleaning 27017 clauses out of 54043 with flag 1354069/396785 147.15/141.31 c cleaning 28002 clauses out of 56027 with flag 1455822/425786 157.48/151.67 c cleaning 28993 clauses out of 58024 with flag 1565370/455785 168.40/162.64 c cleaning 30008 clauses out of 60031 with flag 1683091/486785 178.79/173.03 c cleaning 30991 clauses out of 62023 with flag 1807508/518785 189.65/183.99 c cleaning 32000 clauses out of 64035 with flag 1932682/551788 200.60/194.96 c cleaning 32990 clauses out of 66033 with flag 2059136/585786 211.98/206.31 c cleaning 34002 clauses out of 68044 with flag 2191487/620787 224.39/218.87 c cleaning 34998 clauses out of 70041 with flag 2332520/656786 236.90/231.39 c cleaning 36010 clauses out of 72043 with flag 2472978/693786 250.07/244.55 c cleaning 36994 clauses out of 74032 with flag 2617045/731785 263.77/258.34 c cleaning 37998 clauses out of 76038 with flag 2761972/770785 277.29/271.83 c cleaning 39001 clauses out of 78041 with flag 2912791/810786 290.59/285.21 c cleaning 39996 clauses out of 80040 with flag 3067400/851786 304.66/299.36 c cleaning 41003 clauses out of 82044 with flag 3239100/893786 318.59/313.34 c cleaning 41998 clauses out of 84040 with flag 3401663/936785 334.06/328.87 c cleaning 43007 clauses out of 86042 with flag 3566744/980785 349.86/344.66 c cleaning 43994 clauses out of 88036 with flag 3744079/1025786 365.62/360.40 c cleaning 44988 clauses out of 90041 with flag 3934812/1071785 382.02/376.91 c cleaning 46003 clauses out of 92054 with flag 4132773/1118786 399.72/394.53 c cleaning 47000 clauses out of 94050 with flag 4335969/1166785 417.41/412.38 c cleaning 48001 clauses out of 96050 with flag 4541694/1215785 434.67/429.61 c cleaning 49002 clauses out of 98049 with flag 4742033/1265785 452.43/447.51 c cleaning 50000 clauses out of 100049 with flag 4950054/1316787 470.23/465.42 c cleaning 50998 clauses out of 102047 with flag 5160683/1368785 487.78/482.95 c cleaning 52001 clauses out of 104049 with flag 5374837/1421785 505.07/500.33 c cleaning 53010 clauses out of 106051 with flag 5578144/1475788 523.44/518.60 c cleaning 54004 clauses out of 108042 with flag 5784853/1530789 542.24/537.58 c cleaning 55000 clauses out of 110035 with flag 6012276/1586786 560.50/555.71 c cleaning 55991 clauses out of 112035 with flag 6231900/1643786 579.70/575.03 c cleaning 57004 clauses out of 114043 with flag 6456881/1701785 600.09/595.49 c cleaning 58002 clauses out of 116039 with flag 6688195/1760785 621.04/616.48 c cleaning 58994 clauses out of 118037 with flag 6949721/1820785 642.49/637.92 c cleaning 59997 clauses out of 120044 with flag 7202612/1881786 663.45/659.08 c cleaning 60998 clauses out of 122046 with flag 7452220/1943785 684.65/680.15 c cleaning 61995 clauses out of 124048 with flag 7695597/2006785 705.58/701.24 c cleaning 62995 clauses out of 126053 with flag 7960558/2070785 728.33/724.27 c cleaning 64008 clauses out of 128058 with flag 8214159/2135785 752.27/748.33 c cleaning 64998 clauses out of 130050 with flag 8502738/2201785 774.96/770.97 c cleaning 66002 clauses out of 132055 with flag 8778088/2268788 798.41/794.42 c cleaning 67005 clauses out of 134051 with flag 9044206/2336786 821.16/817.32 c cleaning 67994 clauses out of 136047 with flag 9320807/2405787 846.25/842.62 c cleaning 69000 clauses out of 138051 with flag 9616895/2475785 872.35/868.90 c cleaning 69996 clauses out of 140051 with flag 9915183/2546785 897.97/894.55 c cleaning 71005 clauses out of 142055 with flag 10213272/2618785 923.31/920.01 c cleaning 71990 clauses out of 144050 with flag 10529694/2691785 949.07/946.03 c cleaning 73017 clauses out of 146062 with flag 10836327/2765787 976.25/973.45 c cleaning 73998 clauses out of 148043 with flag 11142645/2840785 1004.65/1010.89 c cleaning 74990 clauses out of 150046 with flag 11461405/2916786 1032.27/1038.68 c cleaning 76001 clauses out of 152056 with flag 11794572/2993786 1060.64/1067.09 c cleaning 76986 clauses out of 154054 with flag 12130431/3071785 1090.51/1096.92 c cleaning 78012 clauses out of 156068 with flag 12468527/3150785 1119.42/1125.86 c cleaning 79000 clauses out of 158056 with flag 12827005/3230785 1149.98/1156.51 c cleaning 80016 clauses out of 160056 with flag 13179064/3311785 1182.06/1188.72 c cleaning 81013 clauses out of 162042 with flag 13533329/3393787 1213.64/1220.52 c cleaning 81999 clauses out of 164027 with flag 13895287/3476785 1244.49/1251.41 c cleaning 82999 clauses out of 166028 with flag 14261550/3560785 1276.62/1283.62 c cleaning 84001 clauses out of 168029 with flag 14621679/3645785 1310.08/1317.19 c cleaning 85006 clauses out of 170030 with flag 15006215/3731787 1342.48/1349.62 c cleaning 85991 clauses out of 172023 with flag 15397603/3818786 1372.35/1379.67 c cleaning 87003 clauses out of 174033 with flag 15765246/3906787 1402.18/1409.52 c cleaning 87994 clauses out of 176028 with flag 16132641/3995785 1433.39/1440.88 c cleaning 89005 clauses out of 178034 with flag 16529658/4085785 1464.58/1472.07 c cleaning 90000 clauses out of 180029 with flag 16909444/4176785 1497.76/1505.29 c cleaning 90996 clauses out of 182031 with flag 17329728/4268787 1533.53/1541.06 c cleaning 92008 clauses out of 184036 with flag 17752954/4361788 1566.78/1574.41 c cleaning 92992 clauses out of 186027 with flag 18161478/4455787 1602.78/1610.53 c cleaning 94010 clauses out of 188034 with flag 18579688/4550786 1639.18/1647.33 c cleaning 95001 clauses out of 190024 with flag 19020000/4646786 1675.05/1683.32 c cleaning 95999 clauses out of 192024 with flag 19470643/4743787 1712.04/1720.39 c cleaning 96989 clauses out of 194023 with flag 19912908/4841785 1749.45/1757.52 c cleaning 98011 clauses out of 196034 with flag 20370364/4940785 1785.68/1793.84 c cleaning 98992 clauses out of 198023 with flag 20799121/5040785 1822.35/1830.76 c cleaning 99999 clauses out of 200031 with flag 21254246/5141785 1861.73/1870.05 c cleaning 101009 clauses out of 202032 with flag 21770029/5243785 1899.97/1908.34 c cleaning 102006 clauses out of 204024 with flag 22236343/5346786 1940.93/1949.41 c cleaning 102997 clauses out of 206017 with flag 22689898/5450785 1982.67/1991.31 c cleaning 104005 clauses out of 208020 with flag 23183872/5555785 2022.30/2030.81 c cleaning 104990 clauses out of 210016 with flag 23679266/5661786 2061.45/2070.09 c cleaning 105998 clauses out of 212026 with flag 24142615/5768786 2103.52/2112.31 c cleaning 106998 clauses out of 214028 with flag 24630999/5876786 2145.30/2154.26 c cleaning 107997 clauses out of 216030 with flag 25125358/5985786 2187.71/2197.06 c cleaning 108986 clauses out of 218032 with flag 25640953/6095785 2231.84/2241.90 c cleaning 110001 clauses out of 220046 with flag 26159717/6206785 2275.09/2285.49 c cleaning 111017 clauses out of 222048 with flag 26671900/6318788 2317.66/2328.25 c cleaning 111990 clauses out of 224028 with flag 27173844/6431785 2362.23/2372.95 c cleaning 113010 clauses out of 226038 with flag 27689383/6545785 2407.52/2418.60 c cleaning 114004 clauses out of 228028 with flag 28222413/6660785 2454.58/2465.52 c cleaning 114999 clauses out of 230024 with flag 28743320/6776785 2499.71/2511.00 c cleaning 116011 clauses out of 232026 with flag 29262150/6893786 2545.03/2556.48 c cleaning 116992 clauses out of 234014 with flag 29781346/7011785 2592.49/2604.43 c cleaning 118004 clauses out of 236022 with flag 30316398/7130785 2638.61/2650.82 c cleaning 119002 clauses out of 238018 with flag 30833147/7250785 2684.71/2697.39 c cleaning 119993 clauses out of 240016 with flag 31361769/7371785 2730.05/2742.93 c cleaning 120992 clauses out of 242023 with flag 31869058/7493785 2777.25/2790.32 c cleaning 122001 clauses out of 244031 with flag 32381081/7616785 2822.62/2835.90 c cleaning 123007 clauses out of 246030 with flag 32936121/7740785 2867.99/2881.64 c cleaning 123998 clauses out of 248024 with flag 33466216/7865786 2915.34/2929.08 c cleaning 125005 clauses out of 250025 with flag 34007586/7991785 2964.51/2978.43 c cleaning 126001 clauses out of 252020 with flag 34532981/8118785 3010.97/3025.06 c cleaning 127007 clauses out of 254019 with flag 35047236/8246785 3059.43/3073.86 c cleaning 127998 clauses out of 256013 with flag 35578639/8375786 3107.49/3122.10 c cleaning 128999 clauses out of 258014 with flag 36104233/8505785 3158.07/3172.79 c cleaning 130001 clauses out of 260017 with flag 36663032/8636787 3208.83/3223.70 c cleaning 130996 clauses out of 262014 with flag 37186875/8768785 3260.35/3275.31 c cleaning 132000 clauses out of 264018 with flag 37725026/8901785 3311.07/3326.17 c cleaning 133000 clauses out of 266018 with flag 38277944/9035785 3361.47/3376.77 c cleaning 133999 clauses out of 268021 with flag 38846499/9170788 3413.42/3429.26 c cleaning 135009 clauses out of 270019 with flag 39399440/9306785 3466.54/3482.67 c cleaning 136002 clauses out of 272010 with flag 39950108/9443785 3519.72/3536.27 c cleaning 136999 clauses out of 274008 with flag 40508503/9581785 3574.87/3591.83 c cleaning 138005 clauses out of 276009 with flag 41035906/9720785 3600.06/3617.03 c starts : 17 3600.06/3617.05 c conflicts : 9785347 3600.06/3617.05 c decisions : 23358249 3600.06/3617.05 c propagations : 1975246017 3600.06/3617.05 c inspects : 3975714325 3600.06/3617.05 c shortcuts : 0 3600.06/3617.05 c learnt literals : 0 3600.06/3617.05 c learnt binary clauses : 0 3600.06/3617.05 c learnt ternary clauses : 0 3600.06/3617.05 c learnt constraints : 9785347 3600.06/3617.05 c ignored constraints : 0 3600.06/3617.05 c root simplifications : 0 3600.06/3617.05 c removed literals (reason simplification) : 1501260258 3600.06/3617.05 c reason swapping (by a shorter reason) : 0 3600.06/3617.05 c Calls to reduceDB : 135 3600.06/3617.05 c Number of update (reduction) of LBD : 3108540 3600.06/3617.05 c Imported unit clauses : 0 3600.06/3617.05 c No decision after first conflict : false 3600.06/3617.05 c number of reductions to clauses (during analyze) : 0 3600.06/3617.05 c number of learned constraints concerned by reduction : 0 3600.06/3617.05 c number of learning phase by resolution : 0 3600.06/3617.05 c number of learning phase by cutting planes : 0 3600.06/3617.05 c number of rounding to 1 operations : 0 3600.06/3617.05 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3617.07 c number of reductions of the coefficients by power 2 : 0 3600.06/3617.07 c number of right shift for reduction by power 2 : 0 3600.06/3617.07 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3617.07 c number of ending skipping : 0 3600.06/3617.07 c number of internal skipping : 0 3600.06/3617.07 c number of derivation steps : 0 3600.06/3617.07 c number of skipped derivation steps : 0 3600.06/3617.07 c number of remaining unassigned : 0 3600.06/3617.07 c number of remaining assigned : 0 3600.06/3617.07 c number of falsified literals weakened from reason : 0 3600.06/3617.07 c number of falsified literals weakened from conflict : 0 3600.06/3617.07 c time for arithmetic operations : 0 3600.06/3617.07 c minimum degree of deleted constraints : null 3600.06/3617.07 c maximum degree of deleted constraints : null 3600.06/3617.07 c number of deleted constraints : 0 3600.06/3617.07 c speed (assignments/second) : 546418.0374057477 3600.06/3617.07 c non guided choices : 0 3600.43/3617.24 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 202566 3600.43/3617.24 s SATISFIABLE 3600.43/3617.24 c Found 6 solution(s) 3600.43/3617.24 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 x6581 -x6582 -x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 x9840 -x9841 x9842 -x9843 x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 3600.43/3617.25 c objective function=993 3600.43/3617.25 c Total wall clock time (in seconds): 3616.909
OK 993
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (30541 MiB free)
memory of node 1: 64510 MiB (39968 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440313-1721771782/watcher-4440313-1721771782 -o /tmp/evaluation-result-4440313-1721771782/solver-4440313-1721771782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126369 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440313-1721771782 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440313-1721771782.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=130932, runsolver pid=130929
[startup+0.101999 s]*
/proc/loadavg: 5.10 5.26 5.11 5/340 130950
/proc/meminfo: memFree=72153040/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=18993908 memory=56600 CPUtime=0.09 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 6417 0 19 0 6 3 0 0 20 0 18 0 13167630 19449761792 14150 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4748477 14150 5869 1 0 550764 0
[pid=130932/tid=130934] ppid=130929 vsize=18993908 memory=4026561586 CPUtime=0.05 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 5382 0 13 0 3 2 0 0 20 0 18 0 13167631 19449761792 14150 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13167637 19449761792 14150 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=18993908 memory=3618136736603170115 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13167638 19449761792 14150 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56600 KiB
[startup+0.218499 s]*
/proc/loadavg: 5.10 5.26 5.11 6/340 130950
/proc/meminfo: memFree=72145900/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=18993908 memory=61880 CPUtime=0.21 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 7156 0 19 0 18 3 0 0 20 0 18 0 13167630 19449761792 15470 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4748477 15470 5925 1 0 551352 0
[pid=130932/tid=130934] ppid=130929 vsize=18993908 memory=4782652875487838339 CPUtime=0.16 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 1077936192 5738 0 13 0 13 3 0 0 20 0 18 0 13167631 19449761792 15470 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=18993908 memory=952865 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13167637 19449761792 15470 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13167638 19449761792 15470 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 61880 KiB
[startup+0.318991 s]*
/proc/loadavg: 5.10 5.26 5.11 7/340 130950
/proc/meminfo: memFree=72139372/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=18993908 memory=66940 CPUtime=0.33 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 7466 0 19 0 29 4 0 0 20 0 18 0 13167630 19449761792 16735 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4748477 16735 5936 1 0 551565 0
[pid=130932/tid=130934] ppid=130929 vsize=18993908 memory=-8528517437641761468 CPUtime=0.23 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 5909 0 13 0 20 3 0 0 20 0 18 0 13167631 19449761792 16735 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13167637 19449761792 16735 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13167638 19449761792 16735 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66940 KiB
[startup+0.707981 s]
/proc/loadavg: 5.10 5.26 5.11 8/340 130950
/proc/meminfo: memFree=72118036/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=18993908 memory=129516 CPUtime=1.04 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 9817 0 19 0 98 6 0 0 20 0 18 0 13167630 19449761792 32379 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4748477 32379 6091 1 0 553030 0
[pid=130932/tid=130934] ppid=130929 vsize=18993908 memory=5640 CPUtime=0.59 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 6041 0 13 0 54 5 0 0 20 0 18 0 13167631 19449761792 32379 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=18993908 memory=12240 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13167637 19449761792 32379 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=18993908 memory=4993 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13167638 19449761792 32379 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 129516 KiB
[startup+1.50098 s]
/proc/loadavg: 5.10 5.26 5.11 6/341 130951
/proc/meminfo: memFree=72016920/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19060472 memory=198324 CPUtime=2.55 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 17628 0 19 0 246 9 0 0 20 0 19 0 13167630 19517923328 49581 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4765118 49581 6091 1 0 557012 0
[pid=130932/tid=130934] ppid=130929 vsize=19060472 memory=4993 CPUtime=1.25 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 6066 0 13 0 120 5 0 0 20 0 19 0 13167631 19517923328 49581 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13167637 19517923328 49581 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19060472 memory=12240 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13167638 19517923328 49581 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 198324 KiB
[startup+3.11197 s]
/proc/loadavg: 5.10 5.26 5.11 8/342 130952
/proc/meminfo: memFree=71711764/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=467740 CPUtime=5.23 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 21755 0 19 0 507 16 0 0 20 0 20 0 13167630 19586084864 116935 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 116935 6172 1 0 1087470 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=12240 CPUtime=2.67 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 6332 0 13 0 257 10 0 0 20 0 20 0 13167631 19586084864 116935 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 116935 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=6657 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13167638 19586084864 116935 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=4420 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 116935 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 467740 KiB
[startup+6.30097 s]
/proc/loadavg: 5.02 5.24 5.10 6/342 130952
/proc/meminfo: memFree=71158788/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=971276 CPUtime=10.42 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 25217 0 19 0 1014 28 0 0 20 0 20 0 13167630 19586084864 242819 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 242819 6172 1 0 1687050 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=0 CPUtime=5.48 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 6610 0 13 0 530 18 0 0 20 0 20 0 13167631 19586084864 242819 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 242819 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 13167638 19586084864 242819 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=6944656591801720226 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 242819 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 10.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 971276 KiB
[startup+12.7029 s]
/proc/loadavg: 4.93 5.22 5.09 5/340 130954
/proc/meminfo: memFree=70893460/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=1107484 CPUtime=17.92 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 34645 0 19 0 1756 36 0 0 20 0 20 0 13167630 19586084864 276871 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 276871 6172 1 0 1687050 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=12240 CPUtime=11.75 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 7575 0 13 0 1153 22 0 0 20 0 20 0 13167631 19586084864 276871 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=973468 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 276871 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=1107484 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 13167638 19586084864 276871 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 276871 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 17.92 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1107484 KiB
[startup+25.5005 s]
/proc/loadavg: 4.79 5.18 5.08 5/340 130955
/proc/meminfo: memFree=69932996/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=1857204 CPUtime=31.33 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 38205 0 19 0 3076 57 0 0 20 0 20 0 13167630 19586084864 464301 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 464301 6188 1 0 1687054 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=1107484 CPUtime=24.38 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 9208 0 13 0 2396 42 0 0 20 0 20 0 13167631 19586084864 464301 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 464301 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=1857204 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 13167638 19586084864 464301 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=1857204 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 464301 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 31.33 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1857204 KiB
[startup+51.1145 s]
/proc/loadavg: 4.48 5.07 5.05 5/339 130961
/proc/meminfo: memFree=68810284/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=2537300 CPUtime=57.21 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 46284 0 19 0 5641 80 0 0 20 0 20 0 13167630 19586084864 634325 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 634325 6188 1 0 1687058 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=132 CPUtime=49.71 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 11072 0 13 0 4910 61 0 0 20 0 20 0 13167631 19586084864 634325 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=2113288 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 634325 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 13167638 19586084864 634325 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=1801 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 634325 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
################
# More data... #
################
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 170162 0 13 0 322890 1009 0 0 20 0 20 0 13167631 19586084864 1624291 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2185 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=6497164 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 1624291 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=6497164 CPUtime=0 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 4333 0 0 0 0 0 0 0 20 0 20 0 13167638 19586084864 1624291 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=-8528517437641761468 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 1624291 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 3267.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6497164 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.26 4.31 5/323 133767
/proc/meminfo: memFree=69389492/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=6497284 CPUtime=3327.17 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 321630 0 19 0 331466 1251 0 0 20 0 20 0 13167630 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 1624321 6188 1 0 1687070 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=17828 CPUtime=3298.49 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 172715 0 13 0 328821 1028 0 0 20 0 20 0 13167631 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2196 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=1896 CPUtime=0.01 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 4428 0 0 0 1 0 0 0 20 0 20 0 13167638 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=2232 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 3327.17 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6497284 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.24 4.30 5/323 133777
/proc/meminfo: memFree=68863028/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=6497284 CPUtime=3386.75 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 326294 0 19 0 337402 1273 0 0 20 0 20 0 13167630 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 1624321 6188 1 0 1687070 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=6497284 CPUtime=3357.92 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 175834 0 13 0 334745 1047 0 0 20 0 20 0 13167631 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2232 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=5640 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=6497284 CPUtime=0.01 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 4568 0 0 0 1 0 0 0 20 0 20 0 13167638 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=-8528517437641761468 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 1624321 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 3386.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6497284 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.22 4.29 5/323 133788
/proc/meminfo: memFree=68094536/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=6568980 CPUtime=3446.27 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 331562 0 19 0 343335 1292 0 0 20 0 20 0 13167630 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 1642245 6188 1 0 1687070 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=6497284 CPUtime=3416.93 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 178687 0 13 0 340631 1062 0 0 20 0 20 0 13167631 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2291 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=5640 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=1896 CPUtime=0.01 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 4651 0 0 0 1 0 0 0 20 0 20 0 13167638 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=6568980 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 3446.27 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6568980 KiB
[startup+3522.3 s]
/proc/loadavg: 4.53 4.29 4.31 5/323 134180
/proc/meminfo: memFree=67479508/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=6568980 CPUtime=3505.74 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 337147 0 19 0 349262 1312 0 0 20 0 20 0 13167630 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 1642245 6188 1 0 1687071 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=6568980 CPUtime=3476.29 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 181878 0 13 0 346550 1079 0 0 20 0 20 0 13167631 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2336 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=12240 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=6568980 CPUtime=0.01 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 4710 0 0 0 1 0 0 0 20 0 20 0 13167638 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=6568980 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 1642245 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 3505.74 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6568980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.25 4.29 5/320 134192
/proc/meminfo: memFree=66817088/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=6569008 CPUtime=3565.39 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 342378 0 19 0 355204 1335 0 0 20 0 20 0 13167630 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 1642252 6188 1 0 1687071 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=6568980 CPUtime=3535.39 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 185351 0 13 0 352440 1099 0 0 20 0 20 0 13167631 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2379 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=6568980 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=17828 CPUtime=0.01 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 4827 0 0 0 1 0 0 0 20 0 20 0 13167638 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=12264 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 3565.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6569008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617 s]*
/proc/loadavg: 4.18 4.24 4.28 5/319 134197
/proc/meminfo: memFree=66075044/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19127036 memory=6569008 CPUtime=3600.06 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 347026 0 19 0 358657 1349 0 0 20 0 20 0 13167630 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4781759 1642252 6188 1 0 1687071 0
[pid=130932/tid=130934] ppid=130929 vsize=19127036 memory=-9032078361410446012 CPUtime=3569.69 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 187930 0 13 0 355858 1111 0 0 20 0 20 0 13167631 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2388 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19127036 memory=1469930985978888537 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13167637 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19127036 memory=15616 CPUtime=0.01 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 4970 0 0 0 1 0 0 0 20 0 20 0 13167638 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130952] ppid=130929 vsize=19127036 memory=5036 CPUtime=0 cores=5,7
/proc/130932/task/130952/stat : 130952 (Timer-0) S 130929 130932 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13167846 19586084864 1642252 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6569008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3617.32 s]
# the end of solver process 130932 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3587.06 s, system=13.5308 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3617.2 s]
/proc/loadavg: 4.18 4.24 4.28 5/319 134197
/proc/meminfo: memFree=66075044/131655788 swapFree=131052932/131071996
[pid=130932] ppid=130929 vsize=19326728 memory=6569824 CPUtime=3600.43 cores=5,7
/proc/130932/stat : 130932 (java) S 130929 130932 126356 0 -1 1077936128 349921 0 19 0 358693 1350 0 0 20 0 21 0 13167630 19790569472 1642456 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
/proc/130932/statm: 4831682 1642456 6187 1 0 1688031 0
[pid=130932/tid=130934] ppid=130929 vsize=19326728 memory=19856 CPUtime=3569.88 cores=5,7
/proc/130932/task/130934/stat : 130934 (java) R 130929 130932 126356 0 -1 4194368 188107 0 13 0 355877 1111 0 0 20 0 21 0 13167631 19790569472 1642456 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2388 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130943] ppid=130929 vsize=19326728 memory=25788 CPUtime=0 cores=5,7
/proc/130932/task/130943/stat : 130943 (Finalizer) S 130929 130932 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 13167637 19790569472 1642456 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
[pid=130932/tid=130950] ppid=130929 vsize=19326728 memory=37788 CPUtime=0.01 cores=5,7
/proc/130932/task/130950/stat : 130950 (Common-Cleaner) S 130929 130932 126356 0 -1 1077936192 4970 0 0 0 1 0 0 0 20 0 21 0 13167638 19790569472 1642456 134679101440 94347817934848 94347817938544 140721392915312 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94347817946360 94347817947152 94347847065600 140721392919471 140721392919653 140721392919653 140721392926664 0
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 6569824 KiB
[startup+3617.3 s]*
/proc/loadavg: 4.18 4.24 4.28 5/301 134200
/proc/meminfo: memFree=72627352/131655788 swapFree=131052932/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3617.32
CPU time (s): 3600.59
CPU user time (s): 3587.06
CPU system time (s): 13.5308
CPU usage (%): 99.5374
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 6569824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.06
system time used= 13.5308
maximum resident set size= 6570948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351374
page faults= 19
swaps= 0
block input operations= 26008
block output operations= 19424896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110327
involuntary context switches= 6923
# summary of solver processes directly reported to runsolver:
# pid: 130932
# total CPU time (s): 3600.59
# total CPU user time (s): 3587.06
# total CPU system time (s): 13.5308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8746 second user time and 39.9392 second system time
The end
Begin job on nodeC005 at 2024-07-23 23:56:22 IDJOB=4440313 IDBENCH=147554 IDSOLVER=3079 FILE ID=nodeC005/4440313-1721771782 RUNJOBID= nodeC005-1721765593-126369 SLURM_JOB_ID= 7770667 Free space on /tmp= 723748 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440313-1721771782/watcher-4440313-1721771782 -o /tmp/evaluation-result-4440313-1721771782/solver-4440313-1721771782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126369 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440313-1721771782 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440313-1721771782.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2 RANDOM SEED=2012132366 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.755 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3634.103 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.246 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.125 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3647.250 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.574 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.167 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.149 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 72203068 kB MemAvailable: 100181032 kB Buffers: 180292 kB Cached: 28583116 kB SwapCached: 184 kB Active: 1214804 kB Inactive: 57551588 kB Active(anon): 2884 kB Inactive(anon): 30045280 kB Active(file): 1211920 kB Inactive(file): 27506308 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131052932 kB Dirty: 288856 kB Writeback: 4 kB AnonPages: 30002836 kB Mapped: 126812 kB Shmem: 45072 kB KReclaimable: 199536 kB Slab: 310192 kB SReclaimable: 199536 kB SUnreclaim: 110656 kB KernelStack: 5220 kB PageTables: 69192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 31135088 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14816 kB HardwareCorrupted: 0 kB AnonHugePages: 22644736 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 275272 kB DirectMap2M: 22697984 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723744 MiB End job on nodeC005 at 2024-07-24 00:56:40