Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2025-06-06 | SAT (TO) | 2067 | 3600.59 | 2917.9 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/ hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb |
| MD5SUM | dc7892cb3dbd530fdb83331c968a6da2 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1616 |
| Best CPU time to get the best result obtained on this benchmark | 64.671 |
| 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 | 6460 |
| Total number of constraints | 6460 |
| Number of constraints which are clauses | 6460 |
| 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 | 4 |
| Maximum length of a constraint | 4 |
| Number of terms in the objective function | 6460 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6460 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6460 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.14 c Pseudo Boolean Optimization by upper bound 0.13/0.14 c --- Begin Solver configuration --- 0.13/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.13/0.14 c Learn all clauses as in MiniSAT 0.13/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.14 c Expensive reason simplification 0.13/0.14 c Glucose 2.1 dynamic restart strategy 0.13/0.14 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.13/0.14 c timeout=2147483s 0.13/0.14 c DB Simplification allowed=false 0.13/0.14 c Listener: none 0.13/0.14 c --- End Solver configuration --- 0.13/0.14 c solving HOME/instance-4520626-1751572014.opb 0.13/0.14 c reading problem ... 0.13/0.14 c objective function found 0.31/0.28 c ... done. Wall clock time 0.141s. 0.31/0.28 c declared #vars 6460 0.31/0.28 c #constraints 6460 0.31/0.28 c constraints type 0.31/0.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6460 0.31/0.28 c 6460 constraints processed. 0.31/0.30 c objective function length is 6460 literals 0.51/0.34 c SATISFIABLE 0.51/0.34 c OPTIMIZING... 0.51/0.34 c Got one! Elapsed wall clock time (in seconds):0.201 0.51/0.34 o 2074 0.51/0.39 c Got one! Elapsed wall clock time (in seconds):0.256 0.51/0.39 o 2073 0.69/0.44 c Got one! Elapsed wall clock time (in seconds):0.304 0.69/0.44 o 2072 0.69/0.50 c Got one! Elapsed wall clock time (in seconds):0.361 0.69/0.50 o 2071 0.89/0.58 c Got one! Elapsed wall clock time (in seconds):0.447 0.89/0.58 o 2070 1.08/0.66 c Got one! Elapsed wall clock time (in seconds):0.522 1.08/0.66 o 2069 3.52/2.22 c cleaning 2534 clauses out of 5068 with flag 11383/5068 5.21/3.75 c cleaning 4266 clauses out of 8534 with flag 25347/11068 7.49/5.64 c cleaning 5631 clauses out of 11268 with flag 41487/18068 9.86/7.75 c cleaning 6813 clauses out of 13636 with flag 59403/26067 12.32/9.98 c cleaning 7906 clauses out of 15824 with flag 79719/35068 15.29/12.56 c cleaning 8954 clauses out of 17918 with flag 102495/45068 18.70/15.59 c cleaning 9980 clauses out of 19963 with flag 127557/56067 22.16/18.74 c cleaning 10989 clauses out of 21983 with flag 155664/68067 26.18/22.29 c cleaning 11994 clauses out of 23994 with flag 185624/81067 30.79/26.29 c cleaning 12995 clauses out of 26000 with flag 219119/95067 34.92/30.05 c cleaning 14000 clauses out of 28005 with flag 253726/110067 41.14/34.44 c cleaning 14995 clauses out of 30006 with flag 290012/126068 46.35/39.06 c cleaning 16004 clauses out of 32011 with flag 328567/143068 51.87/43.90 c cleaning 17001 clauses out of 34006 with flag 369291/161067 57.06/48.72 c cleaning 18000 clauses out of 36006 with flag 412451/180068 62.92/53.97 c cleaning 19000 clauses out of 38005 with flag 458588/200067 69.10/59.55 c cleaning 20001 clauses out of 40005 with flag 506558/221067 75.67/65.35 c cleaning 20998 clauses out of 42005 with flag 556260/243068 84.54/71.43 c cleaning 21999 clauses out of 44006 with flag 609054/266067 91.61/77.94 c cleaning 23001 clauses out of 46007 with flag 663749/290067 98.86/84.50 c cleaning 24000 clauses out of 48008 with flag 720240/315069 107.56/92.17 c cleaning 24995 clauses out of 50006 with flag 778955/341067 116.31/100.03 c cleaning 25996 clauses out of 52011 with flag 839962/368067 128.02/108.47 c cleaning 27004 clauses out of 54015 with flag 904248/396067 138.04/116.76 c cleaning 28000 clauses out of 56011 with flag 970442/425067 147.59/125.19 c cleaning 29004 clauses out of 58013 with flag 1038732/455069 157.64/134.27 c cleaning 29995 clauses out of 60008 with flag 1108898/486068 167.78/143.59 c cleaning 30996 clauses out of 62012 with flag 1182021/518067 178.28/152.85 c cleaning 31999 clauses out of 64016 with flag 1257982/551067 188.63/162.41 c cleaning 32996 clauses out of 66017 with flag 1336181/585067 200.19/172.85 c cleaning 34005 clauses out of 68021 with flag 1416286/620067 217.10/185.44 c cleaning 34996 clauses out of 70016 with flag 1498819/656067 230.54/195.94 c cleaning 36000 clauses out of 72021 with flag 1584036/693068 242.93/206.86 c cleaning 37005 clauses out of 74022 with flag 1671278/731069 254.66/217.51 c cleaning 38003 clauses out of 76015 with flag 1760761/770067 267.38/228.86 c cleaning 39000 clauses out of 78012 with flag 1851225/810067 280.46/240.51 c cleaning 40002 clauses out of 80014 with flag 1943333/851069 300.57/255.20 c cleaning 40995 clauses out of 82010 with flag 2037285/893067 316.70/267.97 c cleaning 42002 clauses out of 84016 with flag 2133052/936068 330.89/280.52 c cleaning 42999 clauses out of 86013 with flag 2232603/980067 346.00/293.78 c cleaning 44003 clauses out of 88015 with flag 2332760/1025068 360.97/307.23 c cleaning 45000 clauses out of 90011 with flag 2436502/1071067 381.37/321.64 c cleaning 45999 clauses out of 92011 with flag 2543833/1118067 396.43/335.36 c cleaning 46997 clauses out of 94013 with flag 2653818/1166068 413.31/350.11 c cleaning 47998 clauses out of 96015 with flag 2764686/1215067 429.67/364.68 c cleaning 48997 clauses out of 98017 with flag 2877942/1265067 452.53/380.73 c cleaning 50002 clauses out of 100020 with flag 2991885/1316067 471.33/395.93 c cleaning 50997 clauses out of 102018 with flag 3108828/1368067 487.04/410.21 c cleaning 52004 clauses out of 104023 with flag 3229815/1421069 503.37/424.58 c Got one! Elapsed wall clock time (in seconds):424.443 503.37/424.58 o 2068 505.29/426.46 c cleaning 53422 clauses out of 106854 with flag 11488/1475904 507.49/428.30 c cleaning 29707 clauses out of 59431 with flag 25283/1481903 509.04/429.85 c cleaning 18351 clauses out of 36723 with flag 41021/1488902 511.98/432.09 c cleaning 13178 clauses out of 26373 with flag 58692/1496903 515.48/434.08 c cleaning 11085 clauses out of 22194 with flag 78779/1505902 517.92/436.34 c cleaning 10547 clauses out of 21109 with flag 101016/1515902 520.92/439.01 c cleaning 10771 clauses out of 21562 with flag 125984/1526902 523.41/441.54 c cleaning 11390 clauses out of 22791 with flag 153974/1538902 526.37/444.42 c cleaning 12188 clauses out of 24401 with flag 183080/1551902 529.83/447.74 c cleaning 13100 clauses out of 26213 with flag 214225/1565902 533.41/451.18 c cleaning 14047 clauses out of 28116 with flag 248048/1580905 537.18/454.78 c cleaning 15023 clauses out of 30067 with flag 283887/1596903 541.14/458.57 c cleaning 16014 clauses out of 32044 with flag 322293/1613903 546.51/463.23 c cleaning 17006 clauses out of 34030 with flag 363318/1631903 551.63/467.92 c cleaning 18005 clauses out of 36024 with flag 405825/1650903 556.71/472.76 c cleaning 18996 clauses out of 38019 with flag 450278/1670903 563.31/478.60 c cleaning 19998 clauses out of 40023 with flag 499999/1691903 569.50/484.44 c cleaning 21003 clauses out of 42026 with flag 551569/1713904 576.42/490.66 c cleaning 21996 clauses out of 44021 with flag 605076/1736902 583.18/497.04 c cleaning 23006 clauses out of 46025 with flag 660719/1760902 590.52/503.72 c cleaning 24003 clauses out of 48020 with flag 718615/1785903 598.42/510.86 c cleaning 25003 clauses out of 50017 with flag 778514/1811903 606.69/518.30 c cleaning 25999 clauses out of 52013 with flag 841018/1838902 615.55/526.19 c cleaning 26997 clauses out of 54014 with flag 906047/1866902 623.50/533.63 c cleaning 27998 clauses out of 56017 with flag 972288/1895902 635.53/542.09 c cleaning 29004 clauses out of 58020 with flag 1041554/1925903 645.46/550.97 c cleaning 29998 clauses out of 60015 with flag 1112506/1956902 655.67/560.16 c cleaning 30996 clauses out of 62017 with flag 1185731/1988902 665.76/569.27 c cleaning 32004 clauses out of 64022 with flag 1261471/2021903 676.47/579.03 c cleaning 32999 clauses out of 66018 with flag 1339448/2055903 687.92/589.32 c cleaning 34000 clauses out of 68018 with flag 1419678/2090902 698.83/599.37 c cleaning 35002 clauses out of 70019 with flag 1502754/2126903 710.51/609.74 c cleaning 36002 clauses out of 72017 with flag 1587974/2163903 725.41/619.92 c cleaning 36994 clauses out of 74015 with flag 1675646/2201903 738.27/631.59 c cleaning 37998 clauses out of 76020 with flag 1764401/2240902 752.65/644.41 c cleaning 39006 clauses out of 78022 with flag 1856622/2280902 765.59/656.28 c cleaning 40002 clauses out of 80016 with flag 1949946/2321902 778.91/668.21 c cleaning 41000 clauses out of 82016 with flag 2045570/2363904 792.69/680.78 c cleaning 41995 clauses out of 84014 with flag 2143438/2406902 810.87/692.88 c cleaning 43002 clauses out of 86020 with flag 2241365/2450903 824.28/704.87 c cleaning 43999 clauses out of 88018 with flag 2341662/2495903 837.87/717.06 c cleaning 45003 clauses out of 90018 with flag 2444414/2541902 852.52/730.03 c cleaning 46001 clauses out of 92016 with flag 2549324/2588903 868.10/743.95 c cleaning 47000 clauses out of 94015 with flag 2655787/2636903 889.71/758.04 c cleaning 47997 clauses out of 96014 with flag 2764504/2685902 904.90/771.83 c cleaning 49003 clauses out of 98018 with flag 2875746/2735903 921.99/787.13 c cleaning 49999 clauses out of 100015 with flag 2988407/2786903 938.53/802.04 c cleaning 51000 clauses out of 102016 with flag 3103638/2838903 961.67/817.44 c cleaning 51998 clauses out of 104016 with flag 3221198/2891903 980.37/833.20 c cleaning 52999 clauses out of 106018 with flag 3341310/2945903 997.63/848.96 c cleaning 54004 clauses out of 108018 with flag 3464546/3000902 1015.38/864.73 c cleaning 54998 clauses out of 110014 with flag 3589914/3056902 1039.26/881.21 c cleaning 56000 clauses out of 112016 with flag 3715994/3113902 1058.77/898.79 c cleaning 56996 clauses out of 114016 with flag 3845413/3171902 1079.39/917.01 c cleaning 58000 clauses out of 116021 with flag 3976896/3230903 1107.23/936.19 c cleaning 59002 clauses out of 118021 with flag 4110210/3290903 1129.10/954.78 c cleaning 59998 clauses out of 120019 with flag 4246206/3351903 1149.30/972.97 c cleaning 60999 clauses out of 122021 with flag 4384306/3413903 1177.45/991.18 c cleaning 62004 clauses out of 124021 with flag 4524369/3476902 1198.26/1009.77 c cleaning 63000 clauses out of 126017 with flag 4666606/3540902 1219.27/1028.64 c cleaning 64001 clauses out of 128017 with flag 4811530/3605902 1246.69/1047.45 c cleaning 64998 clauses out of 130017 with flag 4959659/3671903 1268.32/1067.00 c cleaning 66000 clauses out of 132019 with flag 5110148/3738903 1305.51/1093.32 c cleaning 66997 clauses out of 134018 with flag 5265711/3806902 1329.35/1112.96 c cleaning 68004 clauses out of 136021 with flag 5421785/3875902 1352.36/1133.39 c cleaning 69003 clauses out of 138019 with flag 5578918/3945904 1381.74/1153.73 c cleaning 69994 clauses out of 140014 with flag 5738618/4016902 1404.45/1173.98 c cleaning 71003 clauses out of 142021 with flag 5901506/4088903 1438.98/1196.49 c cleaning 72001 clauses out of 144017 with flag 6065369/4161902 1464.04/1218.90 c cleaning 72998 clauses out of 146016 with flag 6229500/4235902 1504.56/1248.04 c cleaning 74000 clauses out of 148018 with flag 6395996/4310902 1532.91/1271.13 c cleaning 75000 clauses out of 150019 with flag 6565355/4386903 1559.44/1295.00 c cleaning 75996 clauses out of 152018 with flag 6735981/4463902 1591.58/1317.46 c cleaning 76999 clauses out of 154022 with flag 6909963/4541902 1618.40/1341.49 c cleaning 77998 clauses out of 156023 with flag 7085520/4620902 1654.83/1366.43 c cleaning 79002 clauses out of 158025 with flag 7262083/4700902 1683.07/1391.72 c cleaning 79999 clauses out of 160023 with flag 7441848/4781902 1721.22/1416.94 c cleaning 81002 clauses out of 162024 with flag 7625574/4863902 1748.82/1441.66 c cleaning 82003 clauses out of 164023 with flag 7812980/4946903 1787.46/1467.55 c cleaning 82995 clauses out of 166019 with flag 8000985/5030902 1817.54/1492.38 c cleaning 84002 clauses out of 168025 with flag 8190053/5115903 1862.34/1526.68 c cleaning 84995 clauses out of 170023 with flag 8380688/5201903 1891.60/1553.04 c cleaning 85997 clauses out of 172027 with flag 8573632/5288902 1932.47/1582.95 c cleaning 86999 clauses out of 174030 with flag 8768021/5376902 1981.87/1618.69 c cleaning 88003 clauses out of 176031 with flag 8965519/5465902 2017.61/1648.47 c cleaning 89001 clauses out of 178031 with flag 9165696/5555905 2034.07/1663.09 c Got one! Elapsed wall clock time (in seconds):1662.951 2034.07/1663.09 o 2067 2036.17/1665.14 c cleaning 73790 clauses out of 147603 with flag 11331/5614478 2038.07/1667.09 c cleaning 39895 clauses out of 79813 with flag 24781/5620478 2044.13/1670.26 c cleaning 23453 clauses out of 46918 with flag 40588/5627478 2046.65/1671.96 c cleaning 15721 clauses out of 31464 with flag 58714/5635477 2048.61/1673.87 c cleaning 12363 clauses out of 24744 with flag 78932/5644478 2051.17/1676.15 c cleaning 11180 clauses out of 22381 with flag 101029/5654478 2053.36/1678.37 c cleaning 11089 clauses out of 22201 with flag 125462/5665478 2056.00/1680.96 c cleaning 11542 clauses out of 23112 with flag 151991/5677478 2059.28/1684.03 c cleaning 12277 clauses out of 24571 with flag 181231/5690479 2063.01/1687.51 c cleaning 13135 clauses out of 26292 with flag 212884/5704477 2066.79/1691.06 c cleaning 14070 clauses out of 28158 with flag 246623/5719478 2070.75/1694.76 c cleaning 15033 clauses out of 30087 with flag 282645/5735477 2074.99/1698.70 c cleaning 16016 clauses out of 32055 with flag 321315/5752478 2079.18/1702.77 c cleaning 17004 clauses out of 34038 with flag 362022/5770477 2084.63/1707.59 c cleaning 18010 clauses out of 36034 with flag 404858/5789477 2089.88/1712.40 c cleaning 19004 clauses out of 38025 with flag 449791/5809478 2096.13/1717.90 c cleaning 20002 clauses out of 40021 with flag 497022/5830478 2101.77/1723.15 c cleaning 20996 clauses out of 42019 with flag 546553/5852478 2108.47/1729.06 c cleaning 21995 clauses out of 44022 with flag 597486/5875477 2114.81/1734.92 c cleaning 22997 clauses out of 46028 with flag 651203/5899478 2121.90/1741.31 c cleaning 24000 clauses out of 48030 with flag 706998/5924477 2129.66/1748.26 c cleaning 25005 clauses out of 50030 with flag 764693/5950477 2136.47/1754.69 c cleaning 25997 clauses out of 52025 with flag 825415/5977477 2146.47/1761.79 c cleaning 27003 clauses out of 54028 with flag 887655/6005477 2154.66/1769.28 c cleaning 27999 clauses out of 56026 with flag 952098/6034478 2163.06/1776.96 c cleaning 29003 clauses out of 58026 with flag 1019118/6064477 2171.82/1784.92 c cleaning 30001 clauses out of 60025 with flag 1088080/6095479 2182.48/1794.29 c cleaning 30994 clauses out of 62022 with flag 1159260/6127477 2192.56/1803.30 c cleaning 32006 clauses out of 64028 with flag 1233127/6160477 2202.56/1812.49 c cleaning 33005 clauses out of 66023 with flag 1309443/6194478 2212.91/1822.07 c cleaning 34000 clauses out of 68018 with flag 1387489/6229478 2229.71/1834.12 c cleaning 34999 clauses out of 70017 with flag 1467776/6265477 2242.34/1844.60 c cleaning 36003 clauses out of 72019 with flag 1550504/6302478 2254.47/1855.50 c cleaning 36997 clauses out of 74015 with flag 1635750/6340477 2266.92/1866.46 c cleaning 37998 clauses out of 76020 with flag 1724903/6379479 2278.86/1877.29 c cleaning 38997 clauses out of 78020 with flag 1814033/6419477 2291.15/1888.39 c cleaning 40002 clauses out of 80023 with flag 1905311/6460477 2309.05/1901.09 c cleaning 40997 clauses out of 82021 with flag 1997944/6502477 2324.05/1914.66 c cleaning 42001 clauses out of 84025 with flag 2092637/6545478 2339.12/1928.17 c cleaning 43004 clauses out of 86024 with flag 2190169/6589478 2354.41/1941.71 c cleaning 43999 clauses out of 88020 with flag 2290664/6634478 2376.71/1957.88 c cleaning 44999 clauses out of 90021 with flag 2392295/6680478 2393.23/1971.34 c cleaning 46003 clauses out of 92024 with flag 2497707/6727480 2408.49/1985.20 c cleaning 47000 clauses out of 94018 with flag 2604468/6775477 2425.32/2000.05 c cleaning 47997 clauses out of 96018 with flag 2713149/6824477 2447.29/2014.54 c cleaning 48997 clauses out of 98021 with flag 2826163/6874477 2462.59/2028.38 c cleaning 49998 clauses out of 100024 with flag 2940401/6925477 2479.66/2043.61 c cleaning 50999 clauses out of 102027 with flag 3057001/6977478 2497.58/2059.95 c cleaning 52003 clauses out of 104027 with flag 3174384/7030477 2522.74/2076.75 c cleaning 53003 clauses out of 106025 with flag 3295076/7084478 2540.62/2092.72 c cleaning 54004 clauses out of 108023 with flag 3421023/7139479 2560.79/2110.72 c cleaning 55003 clauses out of 110018 with flag 3545829/7195478 2586.65/2127.95 c cleaning 55995 clauses out of 112014 with flag 3672453/7252477 2604.83/2144.45 c cleaning 57004 clauses out of 114020 with flag 3801324/7310478 2623.87/2161.35 c cleaning 57992 clauses out of 116015 with flag 3935465/7369477 2652.30/2181.16 c cleaning 59000 clauses out of 118024 with flag 4069109/7429478 2673.54/2198.80 c cleaning 59999 clauses out of 120023 with flag 4204145/7490477 2694.43/2217.47 c cleaning 61001 clauses out of 122024 with flag 4341798/7552477 2723.89/2237.33 c cleaning 61999 clauses out of 124023 with flag 4480980/7615477 2743.63/2255.14 c cleaning 63003 clauses out of 126024 with flag 4622559/7679477 2780.06/2281.50 c cleaning 64000 clauses out of 128022 with flag 4766073/7744478 2804.96/2302.01 c cleaning 64999 clauses out of 130023 with flag 4911185/7810479 2827.17/2321.64 c cleaning 66000 clauses out of 132022 with flag 5060572/7877477 2856.50/2342.15 c cleaning 67003 clauses out of 134023 with flag 5210829/7945478 2879.56/2362.83 c cleaning 68001 clauses out of 136021 with flag 5363704/8014479 2914.01/2385.60 c cleaning 68998 clauses out of 138018 with flag 5517913/8084477 2937.78/2407.34 c cleaning 69997 clauses out of 140020 with flag 5675941/8155477 2962.11/2429.35 c cleaning 70996 clauses out of 142023 with flag 5835068/8227477 2992.83/2450.86 c cleaning 72006 clauses out of 144028 with flag 5997121/8300478 3018.25/2473.78 c cleaning 73000 clauses out of 146021 with flag 6161593/8374477 3052.67/2496.68 c cleaning 73996 clauses out of 148022 with flag 6327800/8449478 3077.85/2519.52 c cleaning 75003 clauses out of 150025 with flag 6496476/8525477 3117.90/2547.37 c cleaning 75999 clauses out of 152023 with flag 6666867/8602478 3146.32/2570.90 c cleaning 77001 clauses out of 154024 with flag 6840310/8680478 3189.27/2601.63 c cleaning 78001 clauses out of 156024 with flag 7016019/8759479 3220.40/2627.65 c cleaning 78998 clauses out of 158021 with flag 7193270/8839477 3264.69/2659.10 c cleaning 79999 clauses out of 160024 with flag 7372590/8920478 3294.65/2683.83 c cleaning 80994 clauses out of 162024 with flag 7554509/9002477 3338.62/2714.94 c cleaning 82006 clauses out of 164030 with flag 7738701/9085477 3371.61/2743.09 c cleaning 83001 clauses out of 166024 with flag 7925341/9169477 3416.71/2775.10 c cleaning 83999 clauses out of 168024 with flag 8115115/9254478 3448.45/2801.23 c cleaning 84999 clauses out of 170024 with flag 8306847/9340477 3492.27/2834.99 c cleaning 85997 clauses out of 172025 with flag 8500693/9427477 3539.00/2868.27 c cleaning 87001 clauses out of 174029 with flag 8695755/9515478 3571.71/2895.42 c cleaning 88000 clauses out of 176028 with flag 8893715/9604478 3600.06/2917.66 c starts : 9 3600.06/2917.67 c conflicts : 9681701 3600.06/2917.67 c decisions : 15140803 3600.06/2917.67 c propagations : 101544326 3600.06/2917.67 c inspects : 2820606523 3600.06/2917.67 c shortcuts : 0 3600.06/2917.67 c learnt literals : 0 3600.06/2917.67 c learnt binary clauses : 0 3600.06/2917.67 c learnt ternary clauses : 0 3600.06/2917.67 c learnt constraints : 9681701 3600.06/2917.67 c ignored constraints : 0 3600.06/2917.67 c root simplifications : 0 3600.06/2917.67 c removed literals (reason simplification) : 2027656 3600.06/2917.67 c reason swapping (by a shorter reason) : 0 3600.06/2917.67 c Calls to reduceDB : 220 3600.06/2917.67 c Number of update (reduction) of LBD : 717845 3600.06/2917.67 c Imported unit clauses : 0 3600.06/2917.67 c No decision after first conflict : false 3600.06/2917.67 c number of reductions to clauses (during analyze) : 0 3600.06/2917.67 c number of learned constraints concerned by reduction : 0 3600.06/2917.67 c number of learning phase by resolution : 0 3600.06/2917.67 c number of learning phase by cutting planes : 0 3600.06/2917.67 c number of rounding to 1 operations : 0 3600.06/2917.67 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/2917.67 c number of reductions of the coefficients by power 2 : 0 3600.06/2917.67 c number of right shift for reduction by power 2 : 0 3600.06/2917.67 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/2917.67 c number of ending skipping : 0 3600.06/2917.67 c number of internal skipping : 0 3600.06/2917.67 c number of derivation steps : 0 3600.06/2917.67 c number of skipped derivation steps : 0 3600.06/2917.67 c number of remaining unassigned : 0 3600.06/2917.67 c number of remaining assigned : 0 3600.06/2917.67 c number of falsified literals weakened from reason : 0 3600.06/2917.67 c number of falsified literals weakened from conflict : 0 3600.06/2917.67 c time for arithmetic operations : 0 3600.06/2917.67 c minimum degree of deleted constraints : null 3600.06/2917.67 c maximum degree of deleted constraints : null 3600.06/2917.67 c number of deleted constraints : 0 3600.06/2917.69 c speed (assignments/second) : 34806.92338278444 3600.06/2917.69 c non guided choices : 0 3600.26/2917.79 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 165251 3600.26/2917.79 s SATISFIABLE 3600.45/2917.80 c Found 8 solution(s) 3600.45/2917.81 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 3600.45/2917.83 c objective function=2067 3600.45/2917.84 c Total wall clock time (in seconds): 2917.699
OK 2067
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: 63665 MiB (47555 MiB free)
memory of node 1: 64507 MiB (29417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520626-1751572014/watcher-4520626-1751572014 -o /tmp/evaluation-result-4520626-1751572014/solver-4520626-1751572014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751565552-81261 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4520626-1751572014.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=82105, runsolver pid=82102
[startup+0.10006 s]*
/proc/loadavg: 5.18 5.11 5.02 7/337 82123
/proc/meminfo: memFree=78793044/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=18930384 memory=57720 CPUtime=0.13 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 6584 0 0 0 11 2 0 0 20 0 18 0 72879168 19384713216 14430 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4732596 14430 5351 1 0 547621 0
[pid=82105/tid=82107] ppid=82102 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 5079 0 0 0 7 1 0 0 20 0 18 0 72879170 19384713216 14430 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72879172 19384713216 14430 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=18930384 memory=60684515966010 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72879172 19384713216 14430 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57720 KiB
[startup+0.205934 s]*
/proc/loadavg: 5.18 5.11 5.02 9/337 82123
/proc/meminfo: memFree=78782836/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=18930384 memory=64984 CPUtime=0.31 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 7287 0 0 0 29 2 0 0 20 0 18 0 72879168 19384713216 16246 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4732596 16246 5415 1 0 548170 0
[pid=82105/tid=82107] ppid=82102 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 5253 0 0 0 14 1 0 0 20 0 18 0 72879170 19384713216 16246 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72879172 19384713216 16246 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72879172 19384713216 16246 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64984 KiB
[startup+0.305794 s]*
/proc/loadavg: 5.18 5.11 5.02 7/337 82123
/proc/meminfo: memFree=78762168/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=18930384 memory=88236 CPUtime=0.51 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 9044 0 0 0 48 3 0 0 20 0 18 0 72879168 19384713216 22059 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4732596 22059 5447 1 0 549250 0
[pid=82105/tid=82107] ppid=82102 vsize=18930384 memory=-6000919498560465511 CPUtime=0.23 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 5334 0 0 0 21 2 0 0 20 0 18 0 72879170 19384713216 22059 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72879172 19384713216 22059 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72879172 19384713216 22059 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 88236 KiB
[startup+0.700234 s]
/proc/loadavg: 5.18 5.11 5.02 7/338 82124
/proc/meminfo: memFree=78746416/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=18996948 memory=108144 CPUtime=1.26 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 12432 0 0 0 122 4 0 0 20 0 19 0 72879168 19452874752 27036 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4749237 27036 5479 1 0 550734 0
[pid=82105/tid=82107] ppid=82102 vsize=18996948 memory=18688 CPUtime=0.57 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 5388 0 0 0 55 2 0 0 20 0 19 0 72879170 19452874752 27036 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72879172 19452874752 27036 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 72879172 19452874752 27036 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72879200 19452874752 27036 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108144 KiB
[startup+1.50025 s]
/proc/loadavg: 5.18 5.11 5.02 7/338 82124
/proc/meminfo: memFree=78713712/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=226024 CPUtime=2.61 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 16211 0 0 0 255 6 0 0 20 0 20 0 72879168 19521036288 56506 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 56506 5511 1 0 552115 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=0 CPUtime=1.3 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 5541 0 0 0 128 2 0 0 20 0 20 0 72879170 19521036288 56506 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 56506 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 56506 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 56506 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 226024 KiB
[startup+3.10573 s]
/proc/loadavg: 5.18 5.11 5.02 7/339 82125
/proc/meminfo: memFree=77713884/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=561744 CPUtime=4.6 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 20244 0 0 0 446 14 0 0 20 0 20 0 72879168 19521036288 140436 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 140436 5511 1 0 1078533 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=10752 CPUtime=2.59 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 6481 0 0 0 256 3 0 0 20 0 20 0 72879170 19521036288 140436 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=-6000919498560465511 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 140436 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 140436 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 140436 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 561744 KiB
[startup+6.30023 s]
/proc/loadavg: 5.24 5.13 5.02 8/339 82125
/proc/meminfo: memFree=76358300/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=1256196 CPUtime=8.31 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 21758 0 0 0 803 28 0 0 20 0 20 0 72879168 19521036288 314049 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 314049 5511 1 0 1078551 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=0 CPUtime=5.31 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 6766 0 0 0 525 6 0 0 20 0 20 0 72879170 19521036288 314049 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 314049 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 314049 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=250760 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 314049 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 8.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1256196 KiB
[startup+12.7002 s]
/proc/loadavg: 5.14 5.11 5.01 5/339 82125
/proc/meminfo: memFree=74948396/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=2443760 CPUtime=15.49 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 23495 0 0 0 1498 51 0 0 20 0 20 0 72879168 19521036288 610940 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 610940 5543 1 0 1680155 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=250760 CPUtime=10.94 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 7351 0 0 0 1083 11 0 0 20 0 20 0 72879170 19521036288 610940 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=2304476 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 610940 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 610940 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 610940 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 15.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2443760 KiB
[startup+25.5002 s]
/proc/loadavg: 5.12 5.10 5.01 5/339 82125
/proc/meminfo: memFree=72483188/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=4911836 CPUtime=29.76 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 27021 0 0 0 2877 99 0 0 20 0 20 0 72879168 19521036288 1227959 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 1227959 5543 1 0 2340247 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=-6000919498560465511 CPUtime=22.2 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 8285 0 0 0 2193 27 0 0 20 0 20 0 72879170 19521036288 1227959 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=3787672 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 1227959 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 1227959 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 1227959 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 29.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4911836 KiB
[startup+51.1057 s]
/proc/loadavg: 4.88 5.05 5.00 5/340 82127
/proc/meminfo: memFree=69639968/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=7725584 CPUtime=59.71 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 49445 0 0 0 5815 156 0 0 20 0 20 0 72879168 19521036288 1931396 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 1931396 5575 1 0 2919232 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=6998036 CPUtime=44.58 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 9331 0 0 0 4414 44 0 0 20 0 20 0 72879170 19521036288 1931396 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 1931396 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
################
# More data... #
################
[startup+2562.3 s]
/proc/loadavg: 5.50 5.34 5.31 5/339 82453
/proc/meminfo: memFree=62345824/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=16298688 CPUtime=3136.64 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 774527 0 0 0 313087 577 0 0 20 0 20 0 72879168 19521036288 4074672 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 4074672 5575 1 0 4085842 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=16298688 CPUtime=2263.37 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 239063 0 0 0 226185 152 0 0 20 0 20 0 72879170 19521036288 4074672 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074672 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=16298688 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 1255 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074672 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=16298688 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 4074672 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 3136.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16298688 KiB
[startup+2622.3 s]
/proc/loadavg: 5.08 5.24 5.27 6/340 82456
/proc/meminfo: memFree=62345184/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=16298944 CPUtime=3214.56 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 782510 0 0 0 320871 585 0 0 20 0 20 0 72879168 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 4074736 5575 1 0 4085858 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=16298688 CPUtime=2317.05 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 243166 0 0 0 231553 152 0 0 20 0 20 0 72879170 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=18688 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 1255 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=16298944 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 3214.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16298944 KiB
[startup+2682.3 s]
/proc/loadavg: 5.57 5.35 5.31 6/340 82459
/proc/meminfo: memFree=62345036/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=16298944 CPUtime=3293.14 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 793583 0 0 0 328723 591 0 0 20 0 20 0 72879168 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 4074736 5575 1 0 4085858 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=16298688 CPUtime=2370.51 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 249397 0 0 0 236898 153 0 0 20 0 20 0 72879170 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=16298944 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 1270 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=-4050210904893538706 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 4074736 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 3293.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16298944 KiB
[startup+2742.3 s]
/proc/loadavg: 5.30 5.33 5.30 6/339 82461
/proc/meminfo: memFree=62340592/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=16299072 CPUtime=3370.91 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 802329 0 0 0 336491 600 0 0 20 0 20 0 72879168 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 4074768 5575 1 0 4085858 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=16298688 CPUtime=2424.52 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 254887 0 0 0 242298 154 0 0 20 0 20 0 72879170 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=16298944 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=16298944 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 1288 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=16298944 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 3370.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16299072 KiB
[startup+2802.3 s]
/proc/loadavg: 5.40 5.36 5.32 6/340 82464
/proc/meminfo: memFree=61723800/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=16299072 CPUtime=3449.54 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 812963 0 0 0 344347 607 0 0 20 0 20 0 72879168 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 4074768 5575 1 0 4085858 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=16299072 CPUtime=2478.01 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 260990 0 0 0 247646 155 0 0 20 0 20 0 72879170 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=16299072 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 1306 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=16299072 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 4074768 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 3449.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16299072 KiB
[startup+2862.3 s]
/proc/loadavg: 5.32 5.34 5.31 7/341 82467
/proc/meminfo: memFree=61711360/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=16299200 CPUtime=3527.28 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 821217 0 0 0 352115 613 0 0 20 0 20 0 72879168 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 4074800 5575 1 0 4087373 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=19712 CPUtime=2524.55 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 265516 0 0 0 252298 157 0 0 20 0 20 0 72879170 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=16299200 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 1348 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=16299200 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 3527.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16299200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2917.6 s]
/proc/loadavg: 5.21 5.29 5.29 7/341 82468
/proc/meminfo: memFree=61404296/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19063512 memory=16299200 CPUtime=3600.06 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 831568 0 0 0 359385 621 0 0 20 0 20 0 72879168 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4765878 4074800 5575 1 0 4087373 0
[pid=82105/tid=82107] ppid=82102 vsize=19063512 memory=5632 CPUtime=2574.32 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 270659 0 0 0 257274 158 0 0 20 0 20 0 72879170 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 1437 0 0 0 0 0 0 0 20 0 20 0 72879172 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82124] ppid=82102 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/82105/task/82124/stat : 82124 (Timer-0) S 82102 82105 81250 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72879200 19521036288 4074800 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16299200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2917.9 s]
# the end of solver process 82105 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.32 s, system=6.26237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2917.8 s]
/proc/loadavg: 5.21 5.29 5.29 7/341 82468
/proc/meminfo: memFree=61404296/131249996 swapFree=33010416/33010684
[pid=82105] ppid=82102 vsize=19263204 memory=16300096 CPUtime=3600.45 cores=4,6
/proc/82105/stat : 82105 (java) S 82102 82105 81250 0 -1 4194304 833265 0 0 0 359424 621 0 0 20 0 21 0 72879168 19725520896 4075024 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
/proc/82105/statm: 4815801 4075024 5575 1 0 4088320 0
[pid=82105/tid=82107] ppid=82102 vsize=19263204 memory=2760 CPUtime=2574.46 cores=4,6
/proc/82105/task/82107/stat : 82107 (java) R 82102 82105 81250 0 -1 4194368 270709 0 0 0 257288 158 0 0 20 0 21 0 72879170 19725520896 4075024 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82116] ppid=82102 vsize=19263204 memory=19712 CPUtime=0 cores=4,6
/proc/82105/task/82116/stat : 82116 (Finalizer) S 82102 82105 81250 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 72879172 19725520896 4075024 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
[pid=82105/tid=82123] ppid=82102 vsize=19263204 memory=4352 CPUtime=0 cores=4,6
/proc/82105/task/82123/stat : 82123 (Common-Cleaner) S 82102 82105 81250 0 -1 4194368 1437 0 0 0 0 0 0 0 20 0 21 0 72879172 19725520896 4075024 18446744073709551615 94718926381056 94718926384752 140736329976128 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94718926392568 94718926393360 94718948724736 140736329984385 140736329984486 140736329984486 140736329990088 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16300096 KiB
Child status: 143
Real time (s): 2917.9
CPU time (s): 3600.59
CPU user time (s): 3594.32
CPU system time (s): 6.26237
CPU usage (%): 123.397
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16300096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.32
system time used= 6.26237
maximum resident set size= 16300352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117776
involuntary context switches= 40859
# summary of solver processes directly reported to runsolver:
# pid: 82105
# total CPU time (s): 3600.59
# total CPU user time (s): 3594.32
# total CPU system time (s): 6.26237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24843 second user time and 13.8578 second system time
The end
Begin job on nodeC022 at 2025-07-03 21:46:54 IDJOB=4520626 IDBENCH=178111 IDSOLVER=3363 FILE ID=nodeC022/4520626-1751572014 RUNJOBID= nodeC022-1751565552-81261 SLURM_JOB_ID= 9598772 Free space on /tmp= 432384 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520626-1751572014/watcher-4520626-1751572014 -o /tmp/evaluation-result-4520626-1751572014/solver-4520626-1751572014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751565552-81261 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4520626-1751572014.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dc7892cb3dbd530fdb83331c968a6da2 RANDOM SEED=1063648711 nodeC022 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00002a cpu MHz : 3599.751 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 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 : 0xb00002a cpu MHz : 3599.733 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 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 : 0xb00002a cpu MHz : 3630.569 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 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 : 0xb00002a cpu MHz : 3599.743 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 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 : 0xb00002a cpu MHz : 3602.475 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 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 : 0xb00002a cpu MHz : 3599.709 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 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 : 0xb00002a cpu MHz : 3599.767 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 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 : 0xb00002a cpu MHz : 3599.715 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 78820388 kB MemAvailable: 83743616 kB Buffers: 2128 kB Cached: 5698948 kB SwapCached: 32 kB Active: 46555844 kB Inactive: 5156592 kB Active(anon): 46025212 kB Inactive(anon): 4176 kB Active(file): 530632 kB Inactive(file): 5152416 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1092 kB Writeback: 0 kB AnonPages: 45982708 kB Mapped: 123552 kB Shmem: 18028 kB KReclaimable: 158436 kB Slab: 249152 kB SReclaimable: 158436 kB SUnreclaim: 90716 kB KernelStack: 5168 kB PageTables: 93600 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 48725028 kB VmallocTotal: 34359738367 kB VmallocUsed: 151432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 45232128 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432384 MiB End job on nodeC022 at 2025-07-03 22:35:32