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) | 16 | 3600.54 | 3617.31 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb |
| MD5SUM | 6ace28486832e11f911f7d50bfd4c050 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 0.144181 |
| 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 | 11200 |
| Total number of constraints | 478 |
| Number of constraints which are clauses | 174 |
| Number of constraints which are cardinality constraints (but not clauses) | 174 |
| Number of constraints which are nor clauses,nor cardinality constraints | 130 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 175 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 64 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 59529 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 381646 |
| 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.12/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.16 c See www.sat4j.org for details. 0.12/0.17 c version CUSTOM.v20240707 0.12/0.20 c java.runtime.name OpenJDK Runtime Environment 0.12/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.20 c java.vm.version 22.0.1+8-16 0.12/0.20 c java.vm.vendor Oracle Corporation 0.12/0.20 c sun.arch.data.model 64 0.12/0.20 c java.version 22.0.1 0.12/0.20 c os.name Linux 0.12/0.20 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.20 c os.arch amd64 0.12/0.22 c Free memory 2113181440 0.12/0.22 c Max memory 16282288128 0.12/0.22 c Total memory 2122317824 0.12/0.22 c Number of processors 2 0.31/0.33 --- Begin Solver configuration --- 0.31/0.33 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.31/0.33 Learn all clauses as in MiniSAT 0.31/0.33 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.33 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.31/0.33 Expensive reason simplification 0.31/0.33 Glucose 2.1 dynamic restart strategy 0.31/0.33 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.31/0.33 timeout=2147483s 0.31/0.33 DB Simplification allowed=false 0.31/0.33 Listener: none 0.31/0.33 --- End Solver configuration --- 0.46/0.34 c Pseudo Boolean Optimization by upper bound 0.46/0.34 c --- Begin Solver configuration --- 0.46/0.34 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.46/0.34 c Learn all clauses as in MiniSAT 0.46/0.34 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.46/0.34 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.46/0.34 c Expensive reason simplification 0.46/0.34 c Glucose 2.1 dynamic restart strategy 0.46/0.34 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.46/0.34 c timeout=2147483s 0.46/0.34 c DB Simplification allowed=false 0.46/0.34 c Listener: none 0.46/0.34 c --- End Solver configuration --- 0.46/0.34 c solving HOME/instance-4440596-1721826670.opb 0.46/0.34 c reading problem ... 0.47/0.50 c using VERIPB proof format 0.47/0.50 c objective function found 1.04/0.84 c ... done. Wall clock time 0.494s. 1.04/0.85 c declared #vars 11200 1.04/0.85 c #constraints 478 1.04/0.85 c constraints type 1.04/0.85 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 174 1.04/0.85 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 130 1.04/0.85 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 174 1.04/0.85 c 478 constraints processed. 1.04/0.87 c objective function length is 64 literals 2.62/1.64 c SATISFIABLE 2.62/1.64 c OPTIMIZING... 2.62/1.64 c Got one! Elapsed wall clock time (in seconds):1.299 2.62/1.64 o 28 3.19/1.96 c Got one! Elapsed wall clock time (in seconds):1.624 3.19/1.96 o 21 3.39/2.06 c Got one! Elapsed wall clock time (in seconds):1.722 3.39/2.06 o 20 3.58/2.14 c Got one! Elapsed wall clock time (in seconds):1.8 3.58/2.14 o 19 6.71/3.92 c cleaning 3337 clauses out of 6695 with flag 13217/6695 8.58/5.41 c cleaning 4670 clauses out of 9356 with flag 30212/12693 11.31/8.01 c cleaning 5831 clauses out of 11686 with flag 52024/19693 12.43/8.98 c Got one! Elapsed wall clock time (in seconds):8.641 12.43/8.98 o 18 12.58/9.06 c Got one! Elapsed wall clock time (in seconds):8.718 12.58/9.06 o 17 13.76/9.64 c cleaning 5853 clauses out of 11719 with flag 6832/25557 15.39/11.13 c cleaning 5926 clauses out of 11866 with flag 28855/31557 17.34/13.05 c cleaning 6460 clauses out of 12940 with flag 59605/38557 20.18/15.78 c cleaning 7232 clauses out of 14481 with flag 97971/46558 23.92/19.10 c cleaning 8115 clauses out of 16248 with flag 144792/55557 27.12/22.12 c cleaning 9058 clauses out of 18137 with flag 191834/65561 30.40/25.39 c cleaning 10029 clauses out of 20075 with flag 250105/76557 36.33/30.50 c cleaning 11014 clauses out of 22046 with flag 316998/88557 42.13/37.76 c cleaning 12008 clauses out of 24034 with flag 392643/101559 47.93/43.20 c cleaning 13002 clauses out of 26025 with flag 486079/115558 55.01/49.45 c cleaning 14002 clauses out of 28022 with flag 565853/130557 61.14/55.09 c cleaning 15005 clauses out of 30023 with flag 646492/146560 62.77/56.59 c Got one! Elapsed wall clock time (in seconds):56.253 62.77/56.59 o 16 62.88/56.64 c cleaning 10104 clauses out of 20215 with flag 2015/151757 63.21/56.88 c cleaning 8044 clauses out of 16107 with flag 14021/157753 63.60/57.13 c cleaning 7524 clauses out of 15064 with flag 28077/164754 63.89/57.44 c cleaning 7763 clauses out of 15538 with flag 44328/172752 64.52/57.98 c cleaning 8389 clauses out of 16777 with flag 62342/181754 65.02/58.43 c cleaning 9188 clauses out of 18390 with flag 82391/191756 65.52/58.98 c cleaning 10100 clauses out of 20199 with flag 104436/202753 66.22/59.61 c cleaning 11049 clauses out of 22099 with flag 128587/214753 66.92/60.39 c cleaning 12025 clauses out of 24050 with flag 154686/227753 67.82/61.26 c cleaning 13011 clauses out of 26026 with flag 183081/241754 68.81/62.29 c cleaning 14001 clauses out of 28014 with flag 213200/256753 70.26/64.82 c cleaning 15001 clauses out of 30012 with flag 245519/272752 71.95/66.57 c cleaning 16001 clauses out of 32013 with flag 279528/289754 73.35/67.99 c cleaning 17006 clauses out of 34011 with flag 315534/307753 74.85/69.41 c cleaning 18002 clauses out of 36005 with flag 354270/326753 76.55/71.12 c cleaning 19001 clauses out of 38003 with flag 394270/346753 78.45/73.09 c cleaning 19999 clauses out of 40001 with flag 436268/367752 80.74/75.34 c cleaning 21002 clauses out of 42003 with flag 480282/389753 83.04/77.68 c cleaning 21998 clauses out of 44001 with flag 526488/412753 85.93/80.54 c cleaning 23002 clauses out of 46007 with flag 574637/436757 88.32/82.93 c cleaning 23997 clauses out of 48002 with flag 624633/461754 91.02/85.68 c cleaning 25000 clauses out of 50003 with flag 676629/487752 94.01/88.64 c cleaning 25998 clauses out of 52004 with flag 730631/514753 97.10/91.79 c cleaning 27002 clauses out of 54006 with flag 786631/542753 101.31/96.53 c cleaning 27997 clauses out of 56004 with flag 844648/571753 104.81/100.09 c cleaning 28999 clauses out of 58007 with flag 904668/601753 108.80/104.04 c cleaning 30004 clauses out of 60009 with flag 966706/632754 113.18/108.49 c cleaning 31001 clauses out of 62005 with flag 1030744/664754 117.47/112.77 c cleaning 31996 clauses out of 64002 with flag 1096790/697752 122.07/117.38 c cleaning 33003 clauses out of 66006 with flag 1165024/731752 127.15/122.46 c cleaning 34000 clauses out of 68003 with flag 1235378/766752 132.28/128.26 c cleaning 34997 clauses out of 70005 with flag 1307978/802754 137.76/133.75 c cleaning 35999 clauses out of 72006 with flag 1382368/839752 143.56/139.59 c cleaning 37004 clauses out of 74007 with flag 1458479/877752 149.24/145.26 c cleaning 38003 clauses out of 76005 with flag 1537021/916754 155.06/151.08 c cleaning 38997 clauses out of 78001 with flag 1617589/956753 162.23/158.82 c cleaning 40002 clauses out of 80007 with flag 1699865/997756 168.76/165.30 c cleaning 40999 clauses out of 82001 with flag 1784525/1039752 175.56/172.20 c cleaning 41998 clauses out of 84003 with flag 1871574/1082753 182.45/179.11 c cleaning 43001 clauses out of 86006 with flag 1961724/1126754 189.32/185.91 c cleaning 44001 clauses out of 88005 with flag 2052621/1171754 196.72/193.72 c cleaning 44997 clauses out of 90002 with flag 2144638/1217752 205.17/202.22 c cleaning 45998 clauses out of 92006 with flag 2238655/1264753 214.08/211.18 c cleaning 46999 clauses out of 94008 with flag 2334936/1312753 223.68/221.08 c cleaning 47999 clauses out of 96009 with flag 2433458/1361753 232.56/229.92 c cleaning 49001 clauses out of 98009 with flag 2533486/1411752 241.98/239.30 c cleaning 50001 clauses out of 100008 with flag 2635491/1462752 252.06/249.71 c cleaning 51003 clauses out of 102008 with flag 2739587/1514753 261.94/259.63 c cleaning 51997 clauses out of 104005 with flag 2845630/1567753 271.92/269.68 c cleaning 53002 clauses out of 106007 with flag 2953641/1621752 282.99/280.96 c cleaning 54003 clauses out of 108006 with flag 3063824/1676753 294.47/292.44 c cleaning 55001 clauses out of 110003 with flag 3176236/1732753 306.94/304.99 c cleaning 55996 clauses out of 112002 with flag 3290590/1789753 319.50/317.60 c cleaning 57002 clauses out of 114007 with flag 3407077/1847754 332.67/330.82 c cleaning 58000 clauses out of 116005 with flag 3525823/1906754 346.30/344.51 c cleaning 59002 clauses out of 118005 with flag 3646810/1966754 357.57/355.84 c cleaning 59997 clauses out of 120001 with flag 3770106/2027752 367.35/365.68 c cleaning 61002 clauses out of 122007 with flag 3894946/2089755 379.21/377.65 c cleaning 61994 clauses out of 124002 with flag 4021993/2152752 390.88/389.34 c cleaning 63003 clauses out of 126011 with flag 4152314/2216755 405.42/405.73 c cleaning 64000 clauses out of 128007 with flag 4282878/2281754 420.45/420.86 c cleaning 64993 clauses out of 130005 with flag 4416149/2347752 435.06/435.44 c cleaning 66005 clauses out of 132013 with flag 4551433/2414753 449.68/450.15 c cleaning 67002 clauses out of 134007 with flag 4688747/2482752 464.13/464.69 c cleaning 67999 clauses out of 136006 with flag 4828039/2551753 480.05/480.61 c cleaning 68999 clauses out of 138006 with flag 4968051/2621752 495.81/496.49 c cleaning 70001 clauses out of 140009 with flag 5110816/2692754 511.19/511.98 c cleaning 71000 clauses out of 142008 with flag 5257716/2764754 528.26/529.03 c cleaning 72000 clauses out of 144007 with flag 5408808/2837753 545.46/547.31 c cleaning 73002 clauses out of 146006 with flag 5559362/2911752 563.01/564.93 c cleaning 73999 clauses out of 148006 with flag 5709443/2986754 581.15/583.15 c cleaning 75000 clauses out of 150007 with flag 5861536/3062754 598.86/600.98 c cleaning 76004 clauses out of 152008 with flag 6015538/3139755 618.42/620.57 c cleaning 77001 clauses out of 154004 with flag 6171948/3217755 637.96/640.18 c cleaning 77998 clauses out of 156000 with flag 6330351/3296752 661.67/663.94 c cleaning 78996 clauses out of 158006 with flag 6490669/3376756 683.73/686.05 c cleaning 79995 clauses out of 160007 with flag 6652754/3457753 705.24/707.60 c cleaning 81003 clauses out of 162011 with flag 6816765/3539752 728.81/731.30 c cleaning 82005 clauses out of 164009 with flag 6985706/3622753 751.13/753.79 c cleaning 82998 clauses out of 166003 with flag 7154786/3706752 775.39/778.02 c cleaning 84003 clauses out of 168006 with flag 7325089/3791753 802.49/805.31 c cleaning 85004 clauses out of 170007 with flag 7497868/3877757 831.37/834.37 c cleaning 85997 clauses out of 171998 with flag 7673134/3964752 859.89/862.95 c cleaning 87002 clauses out of 174003 with flag 7850045/4052754 885.05/888.23 c cleaning 88000 clauses out of 176001 with flag 8030916/4141754 911.77/915.10 c cleaning 88994 clauses out of 178001 with flag 8211611/4231754 938.82/942.26 c cleaning 90004 clauses out of 180010 with flag 8397328/4322757 968.15/971.66 c cleaning 90996 clauses out of 182002 with flag 8582046/4414753 993.96/997.59 c cleaning 91999 clauses out of 184009 with flag 8768273/4507756 1017.30/1020.96 c cleaning 92999 clauses out of 186008 with flag 8956279/4601754 1040.62/1044.38 c cleaning 94004 clauses out of 188008 with flag 9146411/4696753 1067.72/1071.54 c cleaning 95003 clauses out of 190007 with flag 9338662/4792756 1091.97/1095.89 c cleaning 96000 clauses out of 192003 with flag 9532769/4889755 1117.68/1121.62 c cleaning 96999 clauses out of 194001 with flag 9729084/4987753 1147.57/1151.66 c cleaning 98001 clauses out of 196001 with flag 9927153/5086752 1180.16/1184.38 c cleaning 99001 clauses out of 198001 with flag 10127550/5186753 1209.06/1213.39 c cleaning 99994 clauses out of 199999 with flag 10329885/5287752 1238.08/1242.45 c cleaning 100998 clauses out of 202007 with flag 10534019/5389754 1272.14/1276.69 c cleaning 101999 clauses out of 204007 with flag 10740320/5492752 1303.53/1308.19 c cleaning 102999 clauses out of 206009 with flag 10948709/5596753 1335.54/1340.30 c cleaning 104001 clauses out of 208009 with flag 11159087/5701752 1368.55/1373.49 c cleaning 105002 clauses out of 210009 with flag 11372010/5807753 1403.39/1408.38 c cleaning 106001 clauses out of 212008 with flag 11586418/5914754 1440.99/1446.09 c cleaning 107001 clauses out of 214006 with flag 11802482/6022753 1479.43/1484.67 c cleaning 108002 clauses out of 216004 with flag 12020898/6131752 1516.12/1521.51 c cleaning 108995 clauses out of 218003 with flag 12240923/6241753 1557.50/1562.90 c cleaning 109999 clauses out of 220007 with flag 12463005/6352752 1594.99/1600.51 c cleaning 111004 clauses out of 222008 with flag 12687149/6464752 1638.13/1643.82 c cleaning 112000 clauses out of 224006 with flag 12913287/6577754 1680.57/1686.20 c cleaning 112997 clauses out of 226004 with flag 13141401/6691752 1719.86/1725.50 c cleaning 114000 clauses out of 228007 with flag 13372109/6806752 1764.32/1770.12 c cleaning 114998 clauses out of 230008 with flag 13604218/6922753 1805.75/1811.73 c cleaning 116005 clauses out of 232010 with flag 13839441/7039753 1854.28/1865.91 c cleaning 117001 clauses out of 234005 with flag 14075504/7157753 1900.59/1912.38 c cleaning 118001 clauses out of 236004 with flag 14313647/7276753 1944.43/1956.37 c cleaning 118997 clauses out of 238004 with flag 14554935/7396754 1987.50/1999.56 c cleaning 119994 clauses out of 240005 with flag 14799320/7517752 2032.03/2044.29 c cleaning 121004 clauses out of 242015 with flag 15045585/7639756 2080.86/2093.27 c cleaning 121995 clauses out of 244007 with flag 15293531/7762752 2126.66/2139.38 c cleaning 123002 clauses out of 246012 with flag 15542420/7886752 2170.93/2183.89 c cleaning 124004 clauses out of 248011 with flag 15793345/8011753 2226.57/2239.62 c cleaning 125000 clauses out of 250006 with flag 16047263/8137752 2281.88/2295.10 c cleaning 126002 clauses out of 252007 with flag 16303291/8264753 2337.47/2350.84 c cleaning 126996 clauses out of 254005 with flag 16560667/8392753 2393.87/2407.46 c cleaning 128005 clauses out of 256010 with flag 16820122/8521754 2459.47/2473.26 c cleaning 129003 clauses out of 258005 with flag 17081452/8651754 2517.44/2531.23 c cleaning 130001 clauses out of 260001 with flag 17344213/8782753 2576.48/2590.55 c cleaning 130996 clauses out of 262000 with flag 17609980/8914753 2637.04/2651.12 c cleaning 131997 clauses out of 264003 with flag 17878542/9047752 2706.49/2720.96 c cleaning 133000 clauses out of 266007 with flag 18148979/9181753 2776.49/2790.96 c cleaning 134002 clauses out of 268008 with flag 18420644/9316754 2846.47/2860.95 c cleaning 135001 clauses out of 270007 with flag 18693919/9452755 2915.07/2929.74 c cleaning 135999 clauses out of 272004 with flag 18968344/9589753 2990.80/3005.90 c cleaning 137001 clauses out of 274007 with flag 19246847/9727755 3049.18/3064.52 c cleaning 137993 clauses out of 276003 with flag 19525658/9866752 3110.66/3126.19 c cleaning 139005 clauses out of 278013 with flag 19806535/10006755 3163.19/3179.12 c cleaning 139996 clauses out of 280006 with flag 20088578/10147753 3225.59/3241.93 c cleaning 141000 clauses out of 282011 with flag 20373231/10289754 3288.65/3304.85 c cleaning 142002 clauses out of 284009 with flag 20660606/10432752 3353.41/3369.83 c cleaning 142996 clauses out of 286008 with flag 20949720/10576753 3412.64/3429.27 c cleaning 144003 clauses out of 288013 with flag 21240241/10721754 3475.97/3492.64 c cleaning 144997 clauses out of 290010 with flag 21532898/10867754 3539.01/3555.98 c cleaning 146006 clauses out of 292013 with flag 21827756/11014754 3600.04/3617.04 c starts : 27 3600.04/3617.05 c conflicts : 11158965 3600.04/3617.05 c decisions : 11283603 3600.04/3617.05 c propagations : 913507026 3600.04/3617.05 c inspects : 32173284008 3600.04/3617.05 c shortcuts : 0 3600.04/3617.06 c learnt literals : 0 3600.04/3617.06 c learnt binary clauses : 0 3600.04/3617.06 c learnt ternary clauses : 0 3600.04/3617.06 c learnt constraints : 11158965 3600.04/3617.06 c ignored constraints : 0 3600.04/3617.06 c root simplifications : 0 3600.04/3617.06 c removed literals (reason simplification) : 121933403 3600.04/3617.06 c reason swapping (by a shorter reason) : 0 3600.04/3617.06 c Calls to reduceDB : 158 3600.04/3617.06 c Number of update (reduction) of LBD : 137271 3600.04/3617.06 c Imported unit clauses : 0 3600.04/3617.06 c No decision after first conflict : false 3600.04/3617.06 c number of reductions to clauses (during analyze) : 0 3600.04/3617.06 c number of learned constraints concerned by reduction : 0 3600.04/3617.06 c number of learning phase by resolution : 0 3600.04/3617.06 c number of learning phase by cutting planes : 0 3600.04/3617.06 c number of rounding to 1 operations : 0 3600.04/3617.06 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3617.06 c number of reductions of the coefficients by power 2 : 0 3600.04/3617.06 c number of right shift for reduction by power 2 : 0 3600.04/3617.06 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3617.06 c number of ending skipping : 0 3600.04/3617.06 c number of internal skipping : 0 3600.04/3617.06 c number of derivation steps : 0 3600.04/3617.06 c number of skipped derivation steps : 0 3600.04/3617.07 c number of remaining unassigned : 0 3600.04/3617.07 c number of remaining assigned : 0 3600.04/3617.07 c number of falsified literals weakened from reason : 0 3600.04/3617.07 c number of falsified literals weakened from conflict : 0 3600.04/3617.07 c time for arithmetic operations : 0 3600.04/3617.07 c minimum degree of deleted constraints : null 3600.04/3617.07 c maximum degree of deleted constraints : null 3600.04/3617.07 c number of deleted constraints : 0 3600.04/3617.07 c speed (assignments/second) : 252617.34891261996 3600.04/3617.07 c non guided choices : 40953 3600.41/3617.21 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 290218 3600.41/3617.21 s SATISFIABLE 3600.41/3617.21 c Found 7 solution(s) 3600.41/3617.22 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 x14 x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 x2606 x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x2910 -x2911 x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 x4792 x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 -x4833 -x4834 -x4835 -x4836 x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 -x4942 -x4943 x4944 x4945 -x4946 -x4947 x4948 x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 x5157 -x5158 x5159 x5160 x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 x5654 -x5655 -x5656 -x5657 -x5658 -x5659 x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 x5720 x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 x6110 -x6111 x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 x7222 -x7223 x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 x7255 x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 x7307 -x7308 -x7309 x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 x7523 -x7524 -x7525 -x7526 x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 x7601 -x7602 -x7603 -x7604 -x7605 x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 x7671 x7672 -x7673 -x7674 -x7675 -x7676 x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 x7707 -x7708 -x7709 x7710 -x7711 -x7712 -x7713 -x7714 -x7715 x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 x9079 -x9080 x9081 -x9082 -x9083 -x9084 -x9085 -x9086 x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 x9104 x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 x9499 -x9500 -x9501 -x9502 -x9503 -x9504 x9505 -x9506 -x9507 x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 x9547 -x9548 -x9549 -x9550 x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 x9602 -x9603 -x9604 -x9605 -x9606 -x9607 x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 x10755 -x10756 -x10757 -x10758 -x10759 x10760 x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 x10791 -x10792 -x10793 -x10794 -x10795 x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 3600.41/3617.25 c objective function=16 3600.41/3617.25 c Total wall clock time (in seconds): 3616.909
OK 16
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: 64096 MiB (54746 MiB free)
memory of node 1: 64473 MiB (50093 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440596-1721826670/watcher-4440596-1721826670 -o /tmp/evaluation-result-4440596-1721826670/solver-4440596-1721826670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721820325-169706 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440596-1721826670 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440596-1721826670.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=173928, runsolver pid=173925
[startup+0.100096 s]*
/proc/loadavg: 4.13 4.19 4.21 6/322 173946
/proc/meminfo: memFree=107320236/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=18975048 memory=56000 CPUtime=0.12 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 6453 0 0 0 10 2 0 0 20 0 18 0 18656852 19430449152 14000 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4743762 14000 5676 1 0 550809 0
[pid=173928/tid=173930] ppid=173925 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 5358 0 0 0 7 2 0 0 20 0 18 0 18656853 19430449152 14000 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18656859 19430449152 14000 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=18975048 memory=14127853412501402 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18656859 19430449152 14000 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56000 KiB
[startup+0.213771 s]*
/proc/loadavg: 4.13 4.19 4.21 8/322 173946
/proc/meminfo: memFree=107314708/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=18975048 memory=62808 CPUtime=0.31 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 7141 0 0 0 28 3 0 0 20 0 18 0 18656852 19430449152 15702 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4743762 15702 5685 1 0 551342 0
[pid=173928/tid=173930] ppid=173925 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 5682 0 0 0 17 2 0 0 20 0 18 0 18656853 19430449152 15702 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=18975048 memory=1264155 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18656859 19430449152 15702 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=18975048 memory=16102571999761082 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18656859 19430449152 15702 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62808 KiB
[startup+0.325239 s]*
/proc/loadavg: 4.13 4.19 4.21 8/322 173946
/proc/meminfo: memFree=107309316/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=18975048 memory=66052 CPUtime=0.46 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 7426 0 0 0 43 3 0 0 20 0 18 0 18656852 19430449152 16513 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4743762 16513 5699 1 0 551563 0
[pid=173928/tid=173930] ppid=173925 vsize=18975048 memory=-8816747800841462460 CPUtime=0.27 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 5872 0 0 0 25 2 0 0 20 0 18 0 18656853 19430449152 16513 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18656859 19430449152 16513 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18656859 19430449152 16513 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66052 KiB
[startup+0.701232 s]
/proc/loadavg: 4.13 4.19 4.21 6/322 173946
/proc/meminfo: memFree=107309024/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=18975048 memory=83744 CPUtime=0.84 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 7621 0 0 0 80 4 0 0 20 0 18 0 18656852 19430449152 20936 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4743762 20936 5841 1 0 551676 0
[pid=173928/tid=173930] ppid=173925 vsize=18975048 memory=5516 CPUtime=0.46 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 5940 0 0 0 44 2 0 0 20 0 18 0 18656853 19430449152 20936 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=18975048 memory=12668 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18656859 19430449152 20936 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18656859 19430449152 20936 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83744 KiB
[startup+1.50124 s]
/proc/loadavg: 4.13 4.19 4.21 8/323 173947
/proc/meminfo: memFree=107250276/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=176468 CPUtime=2.42 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 11233 0 0 0 233 9 0 0 20 0 20 0 18656852 19566772224 44117 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 44117 5890 1 0 554598 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=12668 CPUtime=1.2 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 6133 0 0 0 115 5 0 0 20 0 20 0 18656853 19566772224 44117 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 44117 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 44117 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 44117 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176468 KiB
[startup+3.10566 s]
/proc/loadavg: 4.13 4.19 4.21 5/324 173948
/proc/meminfo: memFree=106969124/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=379368 CPUtime=5.53 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 19325 0 0 0 537 16 0 0 20 0 20 0 18656852 19566772224 94842 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 94842 5906 1 0 813018 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=0 CPUtime=2.63 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 6224 0 0 0 254 9 0 0 20 0 20 0 18656853 19566772224 94842 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 94842 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 94842 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=12668 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 94842 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 5.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 379368 KiB
[startup+6.30025 s]
/proc/loadavg: 4.12 4.19 4.21 7/324 173948
/proc/meminfo: memFree=106170836/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=1120488 CPUtime=9.55 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 20432 0 0 0 917 38 0 0 20 0 20 0 18656852 19566772224 280122 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 280122 5922 1 0 1448094 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=0 CPUtime=5.52 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 6523 0 0 0 526 26 0 0 20 0 20 0 18656853 19566772224 280122 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=12668 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 280122 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 280122 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=60516 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 280122 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1120488 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.18 4.21 6/324 173951
/proc/meminfo: memFree=104701132/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=2479580 CPUtime=17.03 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 22202 0 0 0 1627 76 0 0 20 0 20 0 18656852 19566772224 619895 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 619895 5938 1 0 1698849 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=109832 CPUtime=11.43 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 7398 0 0 0 1086 57 0 0 20 0 20 0 18656853 19566772224 619895 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=2461148 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 619895 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=379632 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 619895 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 619895 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 17.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2479580 KiB
[startup+25.5004 s]
/proc/loadavg: 4.46 4.26 4.23 6/324 173953
/proc/meminfo: memFree=102664100/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=4254964 CPUtime=30.62 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 26771 0 0 0 2931 131 0 0 20 0 20 0 18656852 19566772224 1063741 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 1063741 5938 1 0 1884769 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=2461148 CPUtime=23.16 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 8965 0 0 0 2216 100 0 0 20 0 20 0 18656853 19566772224 1063741 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=4168828 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 1063741 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 1063741 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 1063741 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 30.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4254964 KiB
[startup+51.1132 s]
/proc/loadavg: 4.42 4.27 4.23 6/326 173959
/proc/meminfo: memFree=98214144/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=8297132 CPUtime=56.91 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 33041 0 0 0 5444 247 0 0 20 0 20 0 18656852 19566772224 2074283 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 2074283 5938 1 0 2688998 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=6290720 CPUtime=44.72 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 10481 0 0 0 4278 194 0 0 20 0 20 0 18656853 19566772224 2074283 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 173 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=6432036 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 2074283 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.19 4.37 4.27 6/321 176587
/proc/meminfo: memFree=101425592/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=10160464 CPUtime=3266.02 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 381570 0 0 0 325649 953 0 0 20 0 20 0 18656852 19566772224 2540116 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 2540116 5938 1 0 2991916 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=10160464 CPUtime=3243.16 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 232861 0 0 0 323581 735 0 0 20 0 20 0 18656853 19566772224 2540116 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1928 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 2540116 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=10160464 CPUtime=0.01 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 6098 0 0 0 0 1 0 0 20 0 20 0 18656859 19566772224 2540116 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=10160464 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 2540116 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 3266.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10160464 KiB
[startup+3342.3 s]
/proc/loadavg: 4.44 4.39 4.29 5/321 176597
/proc/meminfo: memFree=100892860/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=10326352 CPUtime=3326 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 387040 0 0 0 331634 966 0 0 20 0 20 0 18656852 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 2581588 5938 1 0 2991916 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=10326352 CPUtime=3302.69 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 236405 0 0 0 329528 741 0 0 20 0 20 0 18656853 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1934 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=10326352 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=3172 CPUtime=0.01 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 6194 0 0 0 0 1 0 0 20 0 20 0 18656859 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=10326352 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 3326 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10326352 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.33 4.27 5/321 176607
/proc/meminfo: memFree=100431276/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=10326352 CPUtime=3385.81 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 391993 0 0 0 337607 974 0 0 20 0 20 0 18656852 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 2581588 5938 1 0 2991916 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=10326352 CPUtime=3362.46 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 240442 0 0 0 335499 747 0 0 20 0 20 0 18656853 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1937 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=10326352 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=10326352 CPUtime=0.01 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 6335 0 0 0 0 1 0 0 20 0 20 0 18656859 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 3385.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10326352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.29 4.26 5/321 176618
/proc/meminfo: memFree=100096756/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=10326352 CPUtime=3445.77 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 400999 0 0 0 343594 983 0 0 20 0 20 0 18656852 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 2581588 5938 1 0 2991916 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=5516 CPUtime=3422.1 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 244596 0 0 0 341457 753 0 0 20 0 20 0 18656853 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1940 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=20768 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=15864 CPUtime=0.01 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 6476 0 0 0 0 1 0 0 20 0 20 0 18656859 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=10326352 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 3445.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10326352 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.28 4.26 5/320 176628
/proc/meminfo: memFree=99754748/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=10326352 CPUtime=3505.57 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 404810 0 0 0 349565 992 0 0 20 0 20 0 18656852 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 2581588 5938 1 0 2991916 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=10326352 CPUtime=3481.86 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 248093 0 0 0 347426 760 0 0 20 0 20 0 18656853 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1944 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=10326352 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=10326352 CPUtime=0.01 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 6574 0 0 0 0 1 0 0 20 0 20 0 18656859 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=1504 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 2581588 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 3505.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10326352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.29 4.26 5/323 176644
/proc/meminfo: memFree=99411340/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=10326368 CPUtime=3565.43 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 412895 0 0 0 355541 1002 0 0 20 0 20 0 18656852 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 2581592 5938 1 0 2991916 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=10326368 CPUtime=3541.46 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 251848 0 0 0 353380 766 0 0 20 0 20 0 18656853 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1952 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=15864 CPUtime=0.01 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 6714 0 0 0 0 1 0 0 20 0 20 0 18656859 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=10326368 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 3565.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10326368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617 s]*
/proc/loadavg: 4.24 4.27 4.26 5/323 176650
/proc/meminfo: memFree=99224264/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19108176 memory=10326368 CPUtime=3600.04 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 414440 0 0 0 358998 1006 0 0 20 0 20 0 18656852 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4777044 2581592 5938 1 0 2991916 0
[pid=173928/tid=173930] ppid=173925 vsize=19108176 memory=-8744131642011722428 CPUtime=3576.04 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 253076 0 0 0 356836 768 0 0 20 0 20 0 18656853 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1954 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19108176 memory=-7304696375191692154 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18656859 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19108176 memory=2688 CPUtime=0.01 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 6812 0 0 0 0 1 0 0 20 0 20 0 18656859 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173947] ppid=173925 vsize=19108176 memory=3380 CPUtime=0 cores=0,2
/proc/173928/task/173947/stat : 173947 (Timer-0) S 173925 173928 169659 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18656942 19566772224 2581592 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10326368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3617.31 s]
# the end of solver process 173928 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3590.44 s, system=10.0975 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3617.21 s]
/proc/loadavg: 4.24 4.27 4.26 5/323 176650
/proc/meminfo: memFree=99224264/131655788 swapFree=131067352/131071996
[pid=173928] ppid=173925 vsize=19307868 memory=10327108 CPUtime=3600.41 cores=0,2
/proc/173928/stat : 173928 (java) S 173925 173928 169659 0 -1 1077936128 418224 0 0 0 359035 1006 0 0 20 0 21 0 18656852 19771256832 2581777 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
/proc/173928/statm: 4826967 2581777 5937 1 0 2992851 0
[pid=173928/tid=173930] ppid=173925 vsize=19307868 memory=2228 CPUtime=3576.21 cores=0,2
/proc/173928/task/173930/stat : 173930 (java) R 173925 173928 169659 0 -1 4194368 253855 0 0 0 356853 768 0 0 20 0 21 0 18656853 19771256832 2581777 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1954 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173939] ppid=173925 vsize=19307868 memory=1764 CPUtime=0 cores=0,2
/proc/173928/task/173939/stat : 173939 (Finalizer) S 173925 173928 169659 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18656859 19771256832 2581777 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
[pid=173928/tid=173946] ppid=173925 vsize=19307868 memory=104 CPUtime=0.01 cores=0,2
/proc/173928/task/173946/stat : 173946 (Common-Cleaner) S 173925 173928 169659 0 -1 1077936192 6812 0 0 0 0 1 0 0 20 0 21 0 18656859 19771256832 2581777 134679101440 93984972972032 93984972975728 140722669994480 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93984972983544 93984972984336 93984986120192 140722669999019 140722669999201 140722669999201 140722670006216 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10327108 KiB
Child status: 143
Real time (s): 3617.31
CPU time (s): 3600.54
CPU user time (s): 3590.44
CPU system time (s): 10.0975
CPU usage (%): 99.5363
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10327108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.44
system time used= 10.0975
maximum resident set size= 10328016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8483688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106404
involuntary context switches= 26326
# summary of solver processes directly reported to runsolver:
# pid: 173928
# total CPU time (s): 3600.54
# total CPU user time (s): 3590.44
# total CPU system time (s): 10.0975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4868 second user time and 38.2863 second system time
The end
Begin job on nodeC009 at 2024-07-24 15:11:10 IDJOB=4440596 IDBENCH=158608 IDSOLVER=3079 FILE ID=nodeC009/4440596-1721826670 RUNJOBID= nodeC009-1721820325-169706 SLURM_JOB_ID= 7891460 Free space on /tmp= 723504 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm25p-opt.opb.negationfix.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-4440596-1721826670/watcher-4440596-1721826670 -o /tmp/evaluation-result-4440596-1721826670/solver-4440596-1721826670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721820325-169706 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440596-1721826670 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440596-1721826670.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ace28486832e11f911f7d50bfd4c050 RANDOM SEED=390095140 nodeC009.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 : 1197.270 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.96 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 : 3667.677 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.36 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.270 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.96 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.364 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.36 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 : 3617.000 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.96 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 : 3667.638 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.36 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.410 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.96 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.351 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 107355328 kB MemAvailable: 115447312 kB Buffers: 264472 kB Cached: 8560872 kB SwapCached: 2844 kB Active: 2091484 kB Inactive: 21441848 kB Active(anon): 1580 kB Inactive(anon): 14752244 kB Active(file): 2089904 kB Inactive(file): 6689604 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131067352 kB Dirty: 14660 kB Writeback: 12 kB AnonPages: 14704244 kB Mapped: 111668 kB Shmem: 45700 kB KReclaimable: 305348 kB Slab: 417792 kB SReclaimable: 305348 kB SUnreclaim: 112444 kB KernelStack: 4916 kB PageTables: 38812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 27233900 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18848 kB HardwareCorrupted: 0 kB AnonHugePages: 14374912 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: 367432 kB DirectMap2M: 44625920 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 723756 MiB End job on nodeC009 at 2024-07-24 16:11:27