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) | 744 | 3600.71 | 3604.95 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb |
| MD5SUM | a599905096c946af5176c07959aa4b57 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 225 |
| Best CPU time to get the best result obtained on this benchmark | 3558.15 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 488873 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 488873 |
| 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.14/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.14/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.14/0.16 c See www.sat4j.org for details. 0.14/0.17 c version CUSTOM.v20240707 0.14/0.20 c java.runtime.name OpenJDK Runtime Environment 0.14/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.14/0.20 c java.vm.version 22.0.1+8-16 0.14/0.20 c java.vm.vendor Oracle Corporation 0.14/0.20 c sun.arch.data.model 64 0.14/0.20 c java.version 22.0.1 0.14/0.20 c os.name Linux 0.14/0.20 c os.version 4.18.0-301.1.el8.x86_64 0.14/0.20 c os.arch amd64 0.14/0.21 c Free memory 2113181440 0.14/0.21 c Max memory 16282288128 0.14/0.21 c Total memory 2122317824 0.14/0.22 c Number of processors 2 0.31/0.31 --- Begin Solver configuration --- 0.31/0.31 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.31/0.31 Learn all clauses as in MiniSAT 0.31/0.31 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.31 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.31/0.31 Expensive reason simplification 0.31/0.31 Glucose 2.1 dynamic restart strategy 0.31/0.31 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.31 timeout=2147483s 0.31/0.31 DB Simplification allowed=false 0.31/0.31 Listener: none 0.31/0.31 --- End Solver configuration --- 0.45/0.32 c Pseudo Boolean Optimization by upper bound 0.45/0.32 c --- Begin Solver configuration --- 0.45/0.32 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.45/0.32 c Learn all clauses as in MiniSAT 0.45/0.32 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.45/0.32 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.45/0.32 c Expensive reason simplification 0.45/0.32 c Glucose 2.1 dynamic restart strategy 0.45/0.32 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.45/0.32 c timeout=2147483s 0.45/0.32 c DB Simplification allowed=false 0.45/0.32 c Listener: none 0.45/0.32 c --- End Solver configuration --- 0.45/0.32 c solving HOME/instance-4440308-1721772353.opb 0.45/0.32 c reading problem ... 0.45/0.32 c using VERIPB proof format 0.45/0.33 c objective function found 3.54/2.30 c ... done. Wall clock time 1.976s. 3.54/2.30 c declared #vars 10000 3.54/2.30 c #constraints 656900 3.54/2.30 c constraints type 3.54/2.30 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 3.54/2.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 3.54/2.30 c 656900 constraints processed. 3.54/2.31 c objective function length is 10000 literals 4.32/2.73 c SATISFIABLE 4.32/2.73 c OPTIMIZING... 4.32/2.75 c Got one! Elapsed wall clock time (in seconds):2.41 4.32/2.75 o 745 9.38/5.41 c cleaning 2544 clauses out of 5101 with flag 16821/5101 11.26/7.02 c cleaning 4269 clauses out of 8557 with flag 34073/11101 12.86/8.67 c cleaning 5638 clauses out of 11289 with flag 54795/18102 15.11/10.60 c cleaning 6815 clauses out of 13650 with flag 78268/26101 17.21/12.70 c cleaning 7902 clauses out of 15835 with flag 106949/35101 19.52/15.11 c cleaning 8952 clauses out of 17933 with flag 137867/45101 22.41/17.99 c cleaning 9975 clauses out of 19984 with flag 173263/56104 25.55/21.05 c cleaning 10989 clauses out of 22006 with flag 214243/68101 29.34/24.54 c cleaning 12009 clauses out of 24017 with flag 258507/81101 33.04/28.22 c cleaning 12999 clauses out of 26008 with flag 305675/95101 37.04/32.21 c cleaning 13995 clauses out of 28010 with flag 354352/110102 41.33/36.69 c cleaning 14995 clauses out of 30014 with flag 406619/126101 46.09/41.25 c cleaning 16004 clauses out of 32020 with flag 465686/143102 51.11/46.12 c cleaning 17002 clauses out of 34015 with flag 528921/161101 56.18/51.26 c cleaning 17997 clauses out of 36016 with flag 597523/180104 61.77/56.82 c cleaning 19007 clauses out of 38017 with flag 673062/200102 67.45/62.54 c cleaning 19997 clauses out of 40009 with flag 752090/221101 73.37/68.54 c cleaning 20996 clauses out of 42012 with flag 837615/243101 79.75/74.96 c cleaning 22004 clauses out of 44018 with flag 922942/266103 86.13/81.31 c cleaning 23006 clauses out of 46013 with flag 1006594/290102 92.83/88.09 c cleaning 23997 clauses out of 48006 with flag 1098785/315101 100.11/95.64 c cleaning 24999 clauses out of 50009 with flag 1191109/341101 107.46/102.98 c cleaning 25998 clauses out of 52011 with flag 1289771/368102 115.14/110.65 c cleaning 27006 clauses out of 54013 with flag 1390646/396102 123.33/118.88 c cleaning 28003 clauses out of 56006 with flag 1498932/425101 131.63/127.24 c cleaning 28991 clauses out of 58003 with flag 1625757/455101 140.18/135.76 c cleaning 30007 clauses out of 60013 with flag 1750504/486102 148.96/144.51 c cleaning 31000 clauses out of 62006 with flag 1887853/518102 158.34/153.95 c cleaning 31998 clauses out of 64005 with flag 2022978/551101 168.45/164.13 c cleaning 32990 clauses out of 66007 with flag 2166993/585101 178.12/173.81 c cleaning 33998 clauses out of 68018 with flag 2302735/620102 188.31/184.07 c cleaning 34998 clauses out of 70020 with flag 2451883/656102 199.02/194.81 c cleaning 36008 clauses out of 72021 with flag 2601374/693101 209.40/205.27 c cleaning 36997 clauses out of 74015 with flag 2759153/731103 220.47/216.35 c cleaning 38007 clauses out of 76017 with flag 2916855/770102 231.65/227.53 c cleaning 39001 clauses out of 78009 with flag 3072287/810101 242.82/238.77 c cleaning 39999 clauses out of 80008 with flag 3228922/851101 255.14/251.17 c cleaning 41005 clauses out of 82010 with flag 3397187/893102 268.07/264.07 c cleaning 41990 clauses out of 84004 with flag 3572645/936101 280.63/276.70 c cleaning 42998 clauses out of 86014 with flag 3763689/980101 293.24/289.34 c cleaning 43999 clauses out of 88016 with flag 3964317/1025101 306.37/302.47 c cleaning 44998 clauses out of 90017 with flag 4181359/1071101 319.75/316.00 c cleaning 45998 clauses out of 92019 with flag 4374290/1118101 333.50/329.62 c cleaning 47002 clauses out of 94022 with flag 4571913/1166102 346.91/343.18 c cleaning 47995 clauses out of 96019 with flag 4766084/1215101 361.58/357.82 c cleaning 49005 clauses out of 98024 with flag 4972001/1265101 377.02/373.31 c cleaning 50003 clauses out of 100021 with flag 5198291/1316103 392.69/389.07 c cleaning 50995 clauses out of 102016 with flag 5428320/1368101 409.85/407.35 c cleaning 52002 clauses out of 104021 with flag 5660539/1421101 426.32/423.82 c cleaning 53009 clauses out of 106019 with flag 5897499/1475101 432.51/430.09 c Got one! Elapsed wall clock time (in seconds):429.768 432.51/430.09 o 744 434.38/431.80 c cleaning 40279 clauses out of 80573 with flag 16064/1502664 436.32/433.72 c cleaning 23140 clauses out of 46295 with flag 34178/1508665 438.42/435.80 c cleaning 15063 clauses out of 30154 with flag 55563/1515664 440.74/438.22 c cleaning 11538 clauses out of 23091 with flag 83267/1523664 443.33/440.83 c cleaning 10264 clauses out of 20554 with flag 113796/1532665 446.22/443.77 c cleaning 10130 clauses out of 20289 with flag 146603/1542664 449.53/447.06 c cleaning 10568 clauses out of 21159 with flag 181215/1553664 452.82/450.34 c cleaning 11281 clauses out of 22591 with flag 219647/1565664 456.51/454.01 c cleaning 12144 clauses out of 24310 with flag 263606/1578664 460.29/457.86 c cleaning 13066 clauses out of 26166 with flag 311261/1592664 464.50/462.10 c cleaning 14038 clauses out of 28100 with flag 359529/1607664 469.12/466.66 c cleaning 15019 clauses out of 30062 with flag 415654/1623664 473.90/471.56 c cleaning 16011 clauses out of 32046 with flag 479914/1640667 479.29/476.96 c cleaning 17006 clauses out of 34032 with flag 538415/1658664 484.78/482.43 c cleaning 17998 clauses out of 36028 with flag 603905/1677666 490.57/488.22 c cleaning 18996 clauses out of 38029 with flag 673952/1697665 497.15/494.86 c cleaning 20006 clauses out of 40033 with flag 748607/1718665 503.89/501.60 c cleaning 20996 clauses out of 42027 with flag 823906/1740665 510.68/508.47 c cleaning 21986 clauses out of 44030 with flag 905013/1763664 517.87/515.69 c cleaning 23012 clauses out of 46046 with flag 984767/1787666 525.65/523.42 c cleaning 24010 clauses out of 48033 with flag 1079112/1812665 534.36/534.56 c cleaning 24987 clauses out of 50022 with flag 1182406/1838664 542.40/542.56 c cleaning 26005 clauses out of 52035 with flag 1287017/1865664 550.99/551.14 c cleaning 27006 clauses out of 54030 with flag 1391993/1893664 559.76/559.97 c cleaning 28002 clauses out of 56024 with flag 1495258/1922664 568.65/568.97 c cleaning 29002 clauses out of 58022 with flag 1601711/1952664 577.40/577.63 c cleaning 29994 clauses out of 60020 with flag 1713550/1983664 585.97/586.29 c cleaning 30998 clauses out of 62026 with flag 1828668/2015664 595.17/595.50 c cleaning 32007 clauses out of 64029 with flag 1955981/2048665 604.85/605.25 c cleaning 32998 clauses out of 66021 with flag 2090109/2082664 614.98/615.37 c cleaning 33999 clauses out of 68023 with flag 2217490/2117664 624.78/625.25 c cleaning 35005 clauses out of 70024 with flag 2352575/2153664 635.36/635.84 c cleaning 36002 clauses out of 72020 with flag 2493320/2190665 646.86/647.33 c cleaning 36993 clauses out of 74017 with flag 2635488/2228664 658.31/658.99 c cleaning 38006 clauses out of 76026 with flag 2781670/2267666 670.40/671.08 c cleaning 39003 clauses out of 78018 with flag 2937281/2307664 682.94/683.63 c cleaning 39991 clauses out of 80015 with flag 3087810/2348664 695.72/696.42 c cleaning 40993 clauses out of 82025 with flag 3249829/2390665 708.59/709.30 c cleaning 41994 clauses out of 84031 with flag 3412891/2433664 721.79/722.66 c cleaning 43004 clauses out of 86037 with flag 3572394/2477664 735.37/736.27 c cleaning 44004 clauses out of 88034 with flag 3734715/2522665 749.29/750.29 c cleaning 45000 clauses out of 90029 with flag 3907625/2568664 763.26/764.23 c cleaning 46001 clauses out of 92030 with flag 4079865/2615665 778.17/779.22 c cleaning 47003 clauses out of 94029 with flag 4255621/2663665 794.29/795.31 c cleaning 47995 clauses out of 96025 with flag 4459021/2712664 809.30/810.44 c cleaning 49004 clauses out of 98030 with flag 4653367/2762664 825.95/827.01 c cleaning 49996 clauses out of 100027 with flag 4858829/2813665 841.15/842.30 c cleaning 50989 clauses out of 102030 with flag 5055349/2865664 857.00/858.19 c cleaning 52003 clauses out of 104041 with flag 5260840/2918664 872.96/874.20 c cleaning 53005 clauses out of 106038 with flag 5481227/2972664 889.32/890.56 c cleaning 54004 clauses out of 108033 with flag 5710481/3027664 905.49/906.85 c cleaning 54996 clauses out of 110029 with flag 5933899/3083664 923.03/924.35 c cleaning 56009 clauses out of 112036 with flag 6155222/3140667 940.21/941.62 c cleaning 57002 clauses out of 114025 with flag 6394433/3198665 958.23/959.67 c cleaning 57997 clauses out of 116027 with flag 6640243/3257669 976.82/978.33 c cleaning 59003 clauses out of 118026 with flag 6884025/3317665 995.81/997.45 c cleaning 59998 clauses out of 120022 with flag 7133502/3378664 1014.38/1016.07 c cleaning 60986 clauses out of 122024 with flag 7379853/3440664 1033.35/1035.01 c cleaning 62000 clauses out of 124038 with flag 7632294/3503664 1053.03/1054.81 c cleaning 63002 clauses out of 126039 with flag 7889094/3567665 1072.15/1073.92 c cleaning 64004 clauses out of 128036 with flag 8157661/3632664 1092.43/1094.40 c cleaning 65002 clauses out of 130032 with flag 8428382/3698664 1112.77/1114.78 c cleaning 65990 clauses out of 132030 with flag 8689690/3765664 1133.51/1135.49 c cleaning 67005 clauses out of 134040 with flag 8953196/3833664 1155.11/1157.12 c cleaning 68002 clauses out of 136035 with flag 9231659/3902664 1176.76/1178.87 c cleaning 68998 clauses out of 138033 with flag 9513334/3972664 1198.13/1200.19 c cleaning 70007 clauses out of 140035 with flag 9802485/4043664 1219.99/1222.37 c cleaning 71000 clauses out of 142028 with flag 10095769/4115664 1242.46/1244.86 c cleaning 72003 clauses out of 144028 with flag 10383760/4188664 1265.55/1267.92 c cleaning 73006 clauses out of 146026 with flag 10677056/4262665 1288.40/1290.86 c cleaning 73990 clauses out of 148019 with flag 10984480/4337664 1312.18/1314.64 c cleaning 75007 clauses out of 150030 with flag 11282499/4413665 1337.37/1339.83 c cleaning 75999 clauses out of 152022 with flag 11582194/4490664 1362.46/1365.09 c cleaning 77000 clauses out of 154023 with flag 11909262/4568664 1389.23/1391.81 c cleaning 78000 clauses out of 156023 with flag 12220449/4647664 1415.79/1418.32 c cleaning 78988 clauses out of 158025 with flag 12550976/4727666 1442.28/1445.01 c cleaning 80006 clauses out of 160036 with flag 12893208/4808665 1470.07/1472.75 c cleaning 81004 clauses out of 162029 with flag 13235358/4890664 1497.46/1500.17 c cleaning 82001 clauses out of 164026 with flag 13594405/4973665 1526.29/1528.94 c cleaning 83004 clauses out of 166025 with flag 13948157/5057665 1554.14/1556.78 c cleaning 83995 clauses out of 168020 with flag 14293664/5142664 1582.08/1584.64 c cleaning 84997 clauses out of 170028 with flag 14646616/5228667 1611.24/1613.84 c cleaning 85994 clauses out of 172029 with flag 15014903/5315665 1641.82/1644.59 c cleaning 87005 clauses out of 174034 with flag 15371651/5403664 1671.95/1674.75 c cleaning 88001 clauses out of 176029 with flag 15768313/5492664 1701.10/1703.94 c cleaning 89001 clauses out of 178029 with flag 16152841/5582665 1732.07/1735.00 c cleaning 90001 clauses out of 180027 with flag 16561530/5673664 1763.58/1766.48 c cleaning 91001 clauses out of 182026 with flag 16980130/5765664 1794.82/1797.65 c cleaning 92001 clauses out of 184025 with flag 17377678/5858664 1825.60/1828.59 c cleaning 92997 clauses out of 186024 with flag 17794324/5952664 1856.28/1859.24 c cleaning 93997 clauses out of 188027 with flag 18217887/6047664 1887.14/1890.12 c cleaning 95009 clauses out of 190030 with flag 18646137/6143664 1921.60/1924.41 c cleaning 96002 clauses out of 192022 with flag 19125636/6240665 1955.79/1958.62 c cleaning 96993 clauses out of 194019 with flag 19575151/6338664 1989.99/1992.85 c cleaning 98005 clauses out of 196028 with flag 20027722/6437666 2024.18/2027.08 c cleaning 98994 clauses out of 198022 with flag 20486794/6537665 2057.84/2060.66 c cleaning 99994 clauses out of 200028 with flag 20950608/6638665 2091.76/2094.59 c cleaning 101008 clauses out of 202034 with flag 21403173/6740665 2124.96/2127.86 c cleaning 102008 clauses out of 204026 with flag 21860145/6843665 2161.28/2164.24 c cleaning 103002 clauses out of 206017 with flag 22332424/6947664 2197.81/2200.84 c cleaning 103994 clauses out of 208017 with flag 22808738/7052666 2236.71/2239.81 c cleaning 105010 clauses out of 210021 with flag 23307671/7158664 2274.97/2278.18 c cleaning 105994 clauses out of 212011 with flag 23766658/7265664 2311.60/2314.97 c cleaning 106992 clauses out of 214018 with flag 24252006/7373665 2348.68/2352.03 c cleaning 108003 clauses out of 216026 with flag 24737046/7482665 2386.67/2390.03 c cleaning 109002 clauses out of 218025 with flag 25218467/7592667 2424.83/2428.28 c cleaning 110002 clauses out of 220021 with flag 25707294/7703665 2464.42/2467.91 c cleaning 111006 clauses out of 222018 with flag 26225226/7815664 2502.61/2506.23 c cleaning 111988 clauses out of 224013 with flag 26709338/7928665 2542.06/2545.78 c cleaning 112999 clauses out of 226025 with flag 27235222/8042665 2581.86/2585.61 c cleaning 114004 clauses out of 228025 with flag 27752852/8157664 2622.35/2626.38 c cleaning 115000 clauses out of 230021 with flag 28261796/8273664 2663.71/2667.72 c cleaning 116002 clauses out of 232022 with flag 28768929/8390665 2704.38/2708.44 c cleaning 116999 clauses out of 234020 with flag 29302428/8508665 2743.74/2747.94 c cleaning 117996 clauses out of 236020 with flag 29836343/8627664 2784.20/2788.41 c cleaning 118998 clauses out of 238024 with flag 30378861/8747664 2824.38/2828.67 c cleaning 120002 clauses out of 240027 with flag 30926583/8868665 2865.58/2869.71 c cleaning 120990 clauses out of 242024 with flag 31466180/8990664 2906.63/2910.70 c cleaning 122005 clauses out of 244035 with flag 32028153/9113665 2947.06/2951.22 c cleaning 123001 clauses out of 246029 with flag 32580398/9237664 2988.42/2992.79 c cleaning 123998 clauses out of 248029 with flag 33151339/9362665 3032.60/3036.82 c cleaning 125015 clauses out of 250032 with flag 33717244/9488666 3076.74/3081.08 c cleaning 125997 clauses out of 252015 with flag 34286530/9615664 3119.82/3124.17 c cleaning 126998 clauses out of 254019 with flag 34882716/9743665 3163.90/3168.22 c cleaning 128003 clauses out of 256020 with flag 35476565/9872664 3208.35/3212.75 c cleaning 128995 clauses out of 258017 with flag 36079884/10002664 3254.83/3259.10 c cleaning 130003 clauses out of 260024 with flag 36684043/10133666 3300.13/3304.36 c cleaning 131000 clauses out of 262019 with flag 37295429/10265664 3346.66/3350.97 c cleaning 131989 clauses out of 264019 with flag 37905223/10398664 3392.20/3396.65 c cleaning 133009 clauses out of 266033 with flag 38536719/10532667 3438.10/3442.60 c cleaning 134011 clauses out of 268021 with flag 39122837/10667664 3486.98/3491.59 c cleaning 135004 clauses out of 270010 with flag 39680802/10803664 3540.20/3544.87 c cleaning 136003 clauses out of 272007 with flag 40238087/10940665 3594.21/3598.84 c cleaning 136998 clauses out of 274003 with flag 40808436/11078664 3600.09/3604.63 c starts : 11 3600.09/3604.64 c conflicts : 11093984 3600.09/3604.65 c decisions : 24694806 3600.09/3604.65 c propagations : 2034785107 3600.09/3604.65 c inspects : 4605787077 3600.09/3604.65 c shortcuts : 0 3600.09/3604.65 c learnt literals : 0 3600.09/3604.65 c learnt binary clauses : 0 3600.09/3604.65 c learnt ternary clauses : 0 3600.09/3604.66 c learnt constraints : 11093984 3600.09/3604.66 c ignored constraints : 0 3600.09/3604.66 c root simplifications : 0 3600.09/3604.66 c removed literals (reason simplification) : 1762232719 3600.09/3604.66 c reason swapping (by a shorter reason) : 0 3600.09/3604.66 c Calls to reduceDB : 184 3600.09/3604.66 c Number of update (reduction) of LBD : 3411761 3600.09/3604.66 c Imported unit clauses : 0 3600.09/3604.66 c No decision after first conflict : false 3600.09/3604.66 c number of reductions to clauses (during analyze) : 0 3600.09/3604.66 c number of learned constraints concerned by reduction : 0 3600.09/3604.66 c number of learning phase by resolution : 0 3600.09/3604.66 c number of learning phase by cutting planes : 0 3600.09/3604.66 c number of rounding to 1 operations : 0 3600.09/3604.66 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.09/3604.66 c number of reductions of the coefficients by power 2 : 0 3600.09/3604.66 c number of right shift for reduction by power 2 : 0 3600.09/3604.66 c number of reductions of the coefficients by GCD over coefficients : 0 3600.09/3604.67 c number of ending skipping : 0 3600.09/3604.67 c number of internal skipping : 0 3600.09/3604.67 c number of derivation steps : 0 3600.09/3604.67 c number of skipped derivation steps : 0 3600.09/3604.67 c number of remaining unassigned : 0 3600.09/3604.67 c number of remaining assigned : 0 3600.09/3604.67 c number of falsified literals weakened from reason : 0 3600.09/3604.67 c number of falsified literals weakened from conflict : 0 3600.09/3604.67 c time for arithmetic operations : 0 3600.09/3604.67 c minimum degree of deleted constraints : null 3600.09/3604.67 c maximum degree of deleted constraints : null 3600.09/3604.67 c number of deleted constraints : 0 3600.09/3604.67 c speed (assignments/second) : 564850.4617689098 3600.09/3604.67 c non guided choices : 0 3600.51/3604.82 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 152325 3600.51/3604.82 s SATISFIABLE 3600.51/3604.82 c Found 2 solution(s) 3600.51/3604.82 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 x5692 -x5693 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 x5751 -x5752 -x5753 -x5754 -x5755 -x5756 x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 x8418 -x8419 -x8420 x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 3600.51/3604.86 c objective function=744 3600.51/3604.86 c Total wall clock time (in seconds): 3604.545
OK 744
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 (9984 MiB free)
memory of node 1: 64473 MiB (45435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440308-1721772353/watcher-4440308-1721772353 -o /tmp/evaluation-result-4440308-1721772353/solver-4440308-1721772353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721765591-122975 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440308-1721772353 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440308-1721772353.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=127644, runsolver pid=127641
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.41 4.35 4.31 7/316 127662
/proc/meminfo: memFree=56714192/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=18993908 memory=56736 CPUtime=0.14 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 6519 0 0 0 11 3 0 0 20 0 18 0 13225179 19449761792 14184 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4748477 14184 5843 1 0 550823 0
[pid=127644/tid=127646] ppid=127641 vsize=18993908 memory=4026561586 CPUtime=0.1 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 5466 0 0 0 8 2 0 0 20 0 18 0 13225179 19449761792 14184 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=18993908 memory=232851243367 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13225185 19449761792 14184 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=18993908 memory=3761975942948701834 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13225186 19449761792 14184 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56736 KiB
[startup+0.221466 s]*
/proc/loadavg: 4.41 4.35 4.31 6/316 127662
/proc/meminfo: memFree=56704788/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=18993908 memory=63856 CPUtime=0.31 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 7246 0 0 0 28 3 0 0 20 0 18 0 13225179 19449761792 15964 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4748477 15964 5851 1 0 551413 0
[pid=127644/tid=127646] ppid=127641 vsize=18993908 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 5796 0 0 0 18 2 0 0 20 0 18 0 13225179 19449761792 15964 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=18993908 memory=1118598 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13225185 19449761792 15964 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=18993908 memory=3544395815948961836 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13225186 19449761792 15964 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 63856 KiB
[startup+0.310339 s]*
/proc/loadavg: 4.41 4.35 4.31 6/316 127662
/proc/meminfo: memFree=56700492/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=18993908 memory=67384 CPUtime=0.45 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 7497 0 0 0 42 3 0 0 20 0 18 0 13225179 19449761792 16846 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4748477 16846 6036 1 0 551567 0
[pid=127644/tid=127646] ppid=127641 vsize=18993908 memory=-9104418508478653116 CPUtime=0.28 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) S 127641 127644 122963 0 -1 1077936192 5941 0 0 0 26 2 0 0 20 0 18 0 13225179 19449761792 16846 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13225185 19449761792 16846 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13225186 19449761792 16846 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67384 KiB
[startup+0.703844 s]
/proc/loadavg: 4.41 4.35 4.31 7/316 127662
/proc/meminfo: memFree=56679884/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=18993908 memory=111180 CPUtime=1.19 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 9788 0 0 0 114 5 0 0 20 0 18 0 13225179 19449761792 27795 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4748477 27795 6111 1 0 553041 0
[pid=127644/tid=127646] ppid=127641 vsize=18993908 memory=5672 CPUtime=0.62 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 6036 0 0 0 59 3 0 0 20 0 18 0 13225179 19449761792 27795 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=18993908 memory=12312 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13225185 19449761792 27795 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=18993908 memory=4957 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13225186 19449761792 27795 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 111180 KiB
[startup+1.50029 s]
/proc/loadavg: 4.41 4.35 4.31 7/317 127663
/proc/meminfo: memFree=56577184/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19060472 memory=191716 CPUtime=2.62 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 13301 0 0 0 255 7 0 0 20 0 19 0 13225179 19517923328 47929 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4765118 47929 6142 1 0 555334 0
[pid=127644/tid=127646] ppid=127641 vsize=19060472 memory=4957 CPUtime=1.33 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 6067 0 0 0 129 4 0 0 20 0 19 0 13225179 19517923328 47929 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13225185 19517923328 47929 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19060472 memory=12312 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13225186 19517923328 47929 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 191716 KiB
[startup+3.10886 s]
/proc/loadavg: 4.41 4.35 4.31 6/318 127666
/proc/meminfo: memFree=56220164/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=530192 CPUtime=5.12 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 23630 0 0 0 496 16 0 0 20 0 20 0 13225179 19586084864 132548 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 132548 6190 1 0 1606173 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=12312 CPUtime=2.74 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 6378 0 0 0 264 10 0 0 20 0 20 0 13225179 19586084864 132548 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 132548 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=6657 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13225186 19586084864 132548 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=4420 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 132548 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 5.12 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 530192 KiB
[startup+6.30044 s]
/proc/loadavg: 4.46 4.36 4.31 5/318 127666
/proc/meminfo: memFree=55883820/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=796312 CPUtime=10.49 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 24583 0 0 0 1026 23 0 0 20 0 20 0 13225179 19586084864 199078 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 199078 6190 1 0 1606456 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=0 CPUtime=5.86 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 6674 0 0 0 570 16 0 0 20 0 20 0 13225179 19586084864 199078 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 199078 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=12312 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13225186 19586084864 199078 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=6944656591801720226 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 199078 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 10.49 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 796312 KiB
[startup+12.7004 s]
/proc/loadavg: 4.42 4.35 4.31 5/318 127666
/proc/meminfo: memFree=55510456/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=1085648 CPUtime=17.21 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 30669 0 0 0 1687 34 0 0 20 0 20 0 13225179 19586084864 271412 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 271412 6206 1 0 1606460 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=12312 CPUtime=12.17 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 7838 0 0 0 1192 25 0 0 20 0 20 0 13225179 19586084864 271412 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=815120 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 271412 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=1085648 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13225186 19586084864 271412 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 271412 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 17.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1085648 KiB
[startup+25.5005 s]
/proc/loadavg: 4.49 4.37 4.32 6/318 127737
/proc/meminfo: memFree=65888124/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=1898844 CPUtime=30.34 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 37275 0 0 0 2978 56 0 0 20 0 20 0 13225179 19586084864 474711 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 474711 6206 1 0 1606465 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=1085648 CPUtime=24.82 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 9338 0 0 0 2437 45 0 0 20 0 20 0 13225179 19586084864 474711 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 474711 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=11564 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13225186 19586084864 474711 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=12312 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 474711 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 30.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1898844 KiB
[startup+51.1136 s]
/proc/loadavg: 4.44 4.37 4.32 5/317 127740
/proc/meminfo: memFree=63592868/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=2310604 CPUtime=56.09 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 44098 0 0 0 5537 72 0 0 20 0 20 0 13225179 19586084864 577651 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 577651 6206 1 0 1606466 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=0 CPUtime=50.22 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 11500 0 0 0 4964 58 0 0 20 0 20 0 13225179 19586084864 577651 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=48100 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 577651 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=1960 CPUtime=0 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 13225186 19586084864 577651 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=1085648 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 577651 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
################
# More data... #
################
Current children cumulated memory: 6065832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.37 4.27 5/321 130195
/proc/meminfo: memFree=73428856/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=6065856 CPUtime=3338.08 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 290822 0 0 0 332559 1249 0 0 20 0 20 0 13225179 19586084864 1516464 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 1516464 6206 1 0 1606479 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=5828228 CPUtime=3308.22 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 155611 0 0 0 329768 1054 0 0 20 0 20 0 13225179 19586084864 1516464 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1257 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=6065856 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 1516464 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=-9104418508478653116 CPUtime=0.01 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 3855 0 0 0 0 1 0 0 20 0 20 0 13225186 19586084864 1516464 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=11564 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 1516464 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 3338.08 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6065856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.31 4.26 5/321 130206
/proc/meminfo: memFree=72867196/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=6065896 CPUtime=3397.89 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 295997 0 0 0 338521 1268 0 0 20 0 20 0 13225179 19586084864 1516474 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 1516474 6206 1 0 1606479 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=6065856 CPUtime=3367.83 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 159212 0 0 0 335713 1070 0 0 20 0 20 0 13225179 19586084864 1516474 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1270 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=6065856 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 1516474 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=-9104418508478653116 CPUtime=0.01 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 3956 0 0 0 0 1 0 0 20 0 20 0 13225186 19586084864 1516474 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=6065856 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 1516474 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 3397.89 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6065896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.28 4.25 5/320 130216
/proc/meminfo: memFree=72124404/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=6065952 CPUtime=3457.75 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 300918 0 0 0 344485 1290 0 0 20 0 20 0 13225179 19586084864 1516488 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 1516488 6206 1 0 1606479 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=11564 CPUtime=3427.38 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 162050 0 0 0 341648 1090 0 0 20 0 20 0 13225179 19586084864 1516488 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1283 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=6065952 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 1516488 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=6065952 CPUtime=0.01 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 4041 0 0 0 0 1 0 0 20 0 20 0 13225186 19586084864 1516488 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=6065952 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 1516488 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 3457.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6065952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.25 4.24 5/320 130227
/proc/meminfo: memFree=71497512/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=6065968 CPUtime=3517.65 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 306263 0 0 0 350454 1311 0 0 20 0 20 0 13225179 19586084864 1516492 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 1516492 6206 1 0 1606479 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=6065952 CPUtime=3486.92 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 165559 0 0 0 347583 1109 0 0 20 0 20 0 13225179 19586084864 1516492 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1295 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=6065968 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 1516492 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=17924 CPUtime=0.01 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 4187 0 0 0 0 1 0 0 20 0 20 0 13225186 19586084864 1516492 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=6065968 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 1516492 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 3517.65 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6065968 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.23 4.24 5/319 130239
/proc/meminfo: memFree=70826428/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=6094640 CPUtime=3577.74 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 311276 0 0 0 356444 1330 0 0 20 0 20 0 13225179 19586084864 1523660 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 1523660 6206 1 0 1606479 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=12312 CPUtime=3546.26 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 168405 0 0 0 353502 1124 0 0 20 0 20 0 13225179 19586084864 1523660 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1308 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=6094640 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 1523660 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=6065968 CPUtime=0.01 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 4249 0 0 0 0 1 0 0 20 0 20 0 13225186 19586084864 1523660 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=11564 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 1523660 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 3577.74 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6094640 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.6 s]
/proc/loadavg: 4.16 4.23 4.24 5/319 130242
/proc/meminfo: memFree=70630944/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19127036 memory=6129460 CPUtime=3600.09 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 313871 0 0 0 358673 1336 0 0 20 0 20 0 13225179 19586084864 1532365 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4781759 1532365 6206 1 0 1606479 0
[pid=127644/tid=127646] ppid=127641 vsize=19127036 memory=2744 CPUtime=3568.29 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 169722 0 0 0 355700 1129 0 0 20 0 20 0 13225179 19586084864 1532365 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1314 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19127036 memory=5120 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13225185 19586084864 1532365 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19127036 memory=6094640 CPUtime=0.01 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 4249 0 0 0 0 1 0 0 20 0 20 0 13225186 19586084864 1532365 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127666] ppid=127641 vsize=19127036 memory=2704 CPUtime=0 cores=1,3
/proc/127644/task/127666/stat : 127666 (Timer-0) S 127641 127644 122963 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13225411 19586084864 1532365 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 6129460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.95 s]
# the end of solver process 127644 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3587.3 s, system=13.4108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3604.81 s]
/proc/loadavg: 4.16 4.23 4.24 5/319 130242
/proc/meminfo: memFree=70630944/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19326728 memory=6130184 CPUtime=3600.51 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 316643 0 0 0 358714 1337 0 0 20 0 21 0 13225179 19790569472 1532546 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4831682 1532546 6205 1 0 1607398 0
[pid=127644/tid=127646] ppid=127641 vsize=19326728 memory=48100 CPUtime=3568.5 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) R 127641 127644 122963 0 -1 4194368 169893 0 0 0 355721 1129 0 0 20 0 21 0 13225179 19790569472 1532546 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1314 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19326728 memory=6094640 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13225185 19790569472 1532546 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19326728 memory=6094640 CPUtime=0.01 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 4249 0 0 0 0 1 0 0 20 0 21 0 13225186 19790569472 1532546 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 3600.51 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 6130184 KiB
[startup+3604.9 s]
/proc/loadavg: 4.16 4.23 4.24 5/319 130242
/proc/meminfo: memFree=70630944/131655788 swapFree=131069936/131071996
[pid=127644] ppid=127641 vsize=19326728 memory=6130184 CPUtime=3600.66 cores=1,3
/proc/127644/stat : 127644 (java) S 127641 127644 122963 0 -1 1077936128 317793 0 0 0 358729 1337 0 0 20 0 15 0 13225179 19790569472 1532546 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
/proc/127644/statm: 4831682 1532546 6205 1 0 1607430 0
[pid=127644/tid=127646] ppid=127641 vsize=19326728 memory=6065896 CPUtime=3568.58 cores=1,3
/proc/127644/task/127646/stat : 127646 (java) S 127641 127644 122963 0 -1 1077936192 169893 0 0 0 355729 1129 0 0 20 0 15 0 13225179 19790569472 1532546 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1314 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127655] ppid=127641 vsize=19326728 memory=5744208 CPUtime=0 cores=1,3
/proc/127644/task/127655/stat : 127655 (Finalizer) S 127641 127644 122963 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 13225185 19790569472 1532546 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
[pid=127644/tid=127662] ppid=127641 vsize=19326728 memory=339570 CPUtime=0.01 cores=1,3
/proc/127644/task/127662/stat : 127662 (Common-Cleaner) S 127641 127644 122963 0 -1 1077936192 4249 0 0 0 0 1 0 0 20 0 15 0 13225186 19790569472 1532546 134679101440 94307155759104 94307155762800 140735150072576 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94307155770616 94307155771408 94307188887552 140735150080943 140735150081125 140735150081125 140735150088136 0
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 6130184 KiB
Child status: 143
Real time (s): 3604.95
CPU time (s): 3600.71
CPU user time (s): 3587.3
CPU system time (s): 13.4108
CPU usage (%): 99.8826
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 6130184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.3
system time used= 13.4108
maximum resident set size= 6131272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22483632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110018
involuntary context switches= 6118
# summary of solver processes directly reported to runsolver:
# pid: 127644
# total CPU time (s): 3600.71
# total CPU user time (s): 3587.3
# total CPU system time (s): 13.4108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6573 second user time and 38.8146 second system time
The end
Begin job on nodeC011 at 2024-07-24 00:05:53 IDJOB=4440308 IDBENCH=147556 IDSOLVER=3079 FILE ID=nodeC011/4440308-1721772353 RUNJOBID= nodeC011-1721765591-122975 SLURM_JOB_ID= 7770664 Free space on /tmp= 723760 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440308-1721772353/watcher-4440308-1721772353 -o /tmp/evaluation-result-4440308-1721772353/solver-4440308-1721772353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721765591-122975 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440308-1721772353 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440308-1721772353.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a599905096c946af5176c07959aa4b57 RANDOM SEED=1181315123 nodeC011.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 : 3641.705 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 : 6984.36 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 : 1893.945 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.35 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.328 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 : 6984.36 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.319 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.35 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 : 3630.260 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 : 6984.36 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 : 3653.969 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.35 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.470 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 : 6984.36 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.426 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 56750328 kB MemAvailable: 109176588 kB Buffers: 178632 kB Cached: 53035432 kB SwapCached: 200 kB Active: 880056 kB Inactive: 73364924 kB Active(anon): 1836 kB Inactive(anon): 21074372 kB Active(file): 878220 kB Inactive(file): 52290552 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131069936 kB Dirty: 179124 kB Writeback: 0 kB AnonPages: 21024792 kB Mapped: 115180 kB Shmem: 45132 kB KReclaimable: 195372 kB Slab: 297536 kB SReclaimable: 195372 kB SUnreclaim: 102164 kB KernelStack: 4800 kB PageTables: 51356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 21521624 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19104 kB HardwareCorrupted: 0 kB AnonHugePages: 20514816 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: 262984 kB DirectMap2M: 22710272 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723716 MiB End job on nodeC011 at 2024-07-24 01:05:58