Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | MSAT (TO) | 3600.71 | 3555.47 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo |
| MD5SUM | 06a2e497e51c1e9d30e1cb041d3ceb6a |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.191534 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5250 |
| Total number of constraints | 145 |
| Number of soft constraints | 53 |
| Number of constraints which are clauses | 75 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 70 |
| Maximum length of a constraint | 75 |
| Top cost | 2739 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 2738 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 76 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.14/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.14/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.14/0.16 c See www.sat4j.org for details. 0.14/0.18 c version CUSTOM.v20240707 0.14/0.20 c java.runtime.name OpenJDK Runtime Environment 0.14/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.14/0.20 c java.vm.version 22.0.1+8-16 0.14/0.20 c java.vm.vendor Oracle Corporation 0.14/0.20 c sun.arch.data.model 64 0.14/0.20 c java.version 22.0.1 0.14/0.20 c os.name Linux 0.14/0.20 c os.version 4.18.0-301.1.el8.x86_64 0.14/0.20 c os.arch amd64 0.14/0.22 c Free memory 2113181440 0.14/0.22 c Max memory 16282288128 0.14/0.22 c Total memory 2122317824 0.14/0.22 c Number of processors 2 0.32/0.31 --- Begin Solver configuration --- 0.32/0.31 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.32/0.31 Learn all clauses as in MiniSAT 0.32/0.31 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.32/0.31 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.32/0.31 No reason simplification 0.32/0.31 Glucose 2.1 dynamic restart strategy 0.32/0.31 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.32/0.31 timeout=2147483s 0.32/0.31 DB Simplification allowed=false 0.32/0.31 Listener: none 0.32/0.31 --- End Solver configuration --- 0.32/0.31 c Pseudo Boolean Optimization by upper bound 0.32/0.31 c --- Begin Solver configuration --- 0.32/0.31 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.32/0.31 c Learn all clauses as in MiniSAT 0.32/0.31 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.32/0.31 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.32/0.31 c No reason simplification 0.32/0.31 c Glucose 2.1 dynamic restart strategy 0.32/0.31 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.32/0.31 c timeout=2147483s 0.32/0.31 c DB Simplification allowed=false 0.32/0.31 c Listener: none 0.32/0.31 c --- End Solver configuration --- 0.32/0.32 c solving HOME/instance-4424853-1720881315.wbo 0.32/0.32 c reading problem ... 0.67/0.49 c ... done. Wall clock time 0.18s. 0.67/0.50 c declared #vars 5250 0.67/0.50 c internal #vars 5303 0.67/0.50 c #constraints 146 0.67/0.50 c constraints type 0.67/0.50 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 39 0.67/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 31 0.67/0.50 c org.sat4j.specs.Constr$1 => 1 0.67/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 75 0.67/0.50 c 146 constraints processed. 0.86/0.54 c objective function length is 53 literals 3.11/1.91 c cleaning 2494 clauses out of 5000 with flag 29319/5000 4.97/3.44 c cleaning 4250 clauses out of 8509 with flag 65715/11003 6.77/5.03 c cleaning 5623 clauses out of 11256 with flag 105973/18000 10.24/8.39 c cleaning 6815 clauses out of 13635 with flag 150128/26002 14.42/12.49 c cleaning 7907 clauses out of 15819 with flag 202659/35001 19.91/17.76 c cleaning 8947 clauses out of 17911 with flag 272218/45000 21.44/19.16 c SATISFIABLE 21.44/19.16 c OPTIMIZING... 21.44/19.17 c Got one! Elapsed wall clock time (in seconds):18.847 21.44/19.17 o 177 21.96/19.43 c Got one! Elapsed wall clock time (in seconds):19.125 21.96/19.43 o 46 22.70/19.87 c cleaning 7379 clauses out of 14764 with flag 6208/50800 25.45/22.55 c cleaning 6687 clauses out of 13387 with flag 45207/56802 28.75/25.76 c cleaning 6845 clauses out of 13698 with flag 90191/63800 32.62/29.62 c cleaning 7425 clauses out of 14854 with flag 152026/71801 36.11/33.01 c cleaning 8210 clauses out of 16428 with flag 222212/80800 40.20/37.03 c cleaning 9103 clauses out of 18219 with flag 306496/90801 46.36/42.96 c cleaning 10053 clauses out of 20115 with flag 393468/101800 53.56/50.12 c cleaning 11025 clauses out of 22063 with flag 488014/113801 62.30/58.62 c cleaning 12016 clauses out of 24038 with flag 585294/126801 73.01/69.16 c cleaning 13006 clauses out of 26023 with flag 683646/140802 85.26/81.03 c cleaning 14007 clauses out of 28017 with flag 785059/155802 98.31/93.92 c cleaning 15000 clauses out of 30008 with flag 896144/171800 115.73/110.49 c cleaning 15999 clauses out of 32009 with flag 1022280/188801 121.72/116.41 c Got one! Elapsed wall clock time (in seconds):116.101 121.72/116.42 o 39 127.20/121.78 c cleaning 15169 clauses out of 30349 with flag 38449/203140 130.19/124.72 c cleaning 10586 clauses out of 21178 with flag 91275/209138 133.31/127.62 c cleaning 8790 clauses out of 17591 with flag 156883/216137 136.35/130.54 c cleaning 8394 clauses out of 16801 with flag 234053/224137 139.96/134.09 c cleaning 8695 clauses out of 17407 with flag 320731/233137 145.38/139.31 c cleaning 9348 clauses out of 18714 with flag 415108/243139 151.22/145.08 c cleaning 10178 clauses out of 20366 with flag 524320/254139 158.17/151.84 c cleaning 11089 clauses out of 22189 with flag 639873/266140 165.63/159.16 c cleaning 12044 clauses out of 24097 with flag 761565/279137 174.35/167.79 c cleaning 13020 clauses out of 26053 with flag 889219/293137 184.19/177.46 c cleaning 14013 clauses out of 28034 with flag 1019030/308138 194.32/187.49 c cleaning 15005 clauses out of 30020 with flag 1162450/324137 208.19/200.65 c cleaning 16002 clauses out of 32016 with flag 1307080/341138 222.33/214.67 c cleaning 17004 clauses out of 34014 with flag 1464557/359138 239.51/231.50 c cleaning 17998 clauses out of 36011 with flag 1633819/378139 240.51/232.51 c Got one! Elapsed wall clock time (in seconds):232.202 240.51/232.51 o 25 242.41/234.46 c cleaning 11586 clauses out of 23187 with flag 27969/383313 244.91/236.92 c cleaning 8795 clauses out of 17603 with flag 86695/389315 247.26/239.28 c cleaning 7900 clauses out of 15809 with flag 157915/396316 250.65/242.59 c cleaning 7943 clauses out of 15905 with flag 232732/404312 254.44/246.34 c cleaning 8475 clauses out of 16964 with flag 314643/413314 258.48/250.36 c cleaning 9237 clauses out of 18488 with flag 407769/423313 263.83/255.51 c cleaning 10116 clauses out of 20250 with flag 509065/434312 269.86/261.46 c cleaning 11062 clauses out of 22134 with flag 615669/446312 277.58/269.03 c cleaning 12027 clauses out of 24072 with flag 736061/459312 285.71/277.03 c cleaning 13018 clauses out of 26047 with flag 862497/473314 297.04/287.62 c cleaning 14010 clauses out of 28028 with flag 994842/488313 308.38/298.92 c cleaning 15003 clauses out of 30020 with flag 1142208/504315 320.61/311.06 c cleaning 16000 clauses out of 32014 with flag 1294751/521312 335.36/325.49 c cleaning 17002 clauses out of 34014 with flag 1468106/539312 350.57/340.59 c cleaning 17996 clauses out of 36012 with flag 1649388/558312 352.27/342.20 c Got one! Elapsed wall clock time (in seconds):341.888 352.27/342.20 o 14 352.27/342.29 c Got one! Elapsed wall clock time (in seconds):341.978 352.27/342.29 o 11 352.48/342.42 c Got one! Elapsed wall clock time (in seconds):342.113 352.48/342.42 o 8 353.73/343.51 c cleaning 12215 clauses out of 24453 with flag 15751/564749 355.63/345.47 c cleaning 9111 clauses out of 18238 with flag 76357/570749 358.84/348.51 c cleaning 8055 clauses out of 16128 with flag 149320/577750 361.35/351.08 c cleaning 8030 clauses out of 16074 with flag 229051/585751 365.10/354.70 c cleaning 8514 clauses out of 17043 with flag 320840/594750 369.42/358.95 c cleaning 9251 clauses out of 18529 with flag 424103/604750 373.81/363.39 c cleaning 10132 clauses out of 20277 with flag 532676/615749 379.33/368.82 c cleaning 11067 clauses out of 22147 with flag 650704/627751 386.85/376.34 c cleaning 12032 clauses out of 24078 with flag 770171/640749 395.67/385.00 c cleaning 13017 clauses out of 26046 with flag 906729/654749 404.90/394.05 c cleaning 14009 clauses out of 28029 with flag 1046121/669749 418.19/407.23 c cleaning 15000 clauses out of 30020 with flag 1196348/685749 429.90/418.60 c cleaning 16005 clauses out of 32020 with flag 1351005/702749 445.83/434.43 c cleaning 17003 clauses out of 34016 with flag 1531063/720750 464.19/452.58 c cleaning 18004 clauses out of 36013 with flag 1735445/739750 480.55/468.33 c cleaning 18992 clauses out of 38008 with flag 1946972/759749 494.22/481.82 c cleaning 20001 clauses out of 40017 with flag 2157301/780750 513.00/500.20 c cleaning 20998 clauses out of 42016 with flag 2378023/802750 531.35/518.44 c cleaning 22002 clauses out of 44019 with flag 2598774/825751 551.34/538.08 c cleaning 22994 clauses out of 46015 with flag 2848675/849749 572.33/558.89 c cleaning 24002 clauses out of 48021 with flag 3100265/874749 596.85/583.08 c cleaning 25000 clauses out of 50020 with flag 3357899/900750 627.60/613.46 c cleaning 26000 clauses out of 52021 with flag 3634672/927751 657.86/643.41 c cleaning 27003 clauses out of 54019 with flag 3907803/955749 688.27/673.52 c cleaning 28001 clauses out of 56018 with flag 4174482/984751 723.23/708.18 c cleaning 28998 clauses out of 58015 with flag 4437587/1014749 741.59/726.30 c Got one! Elapsed wall clock time (in seconds):725.992 741.59/726.30 o 1 743.13/727.59 c cleaning 26704 clauses out of 53437 with flag 32011/1039169 744.32/728.71 c cleaning 16351 clauses out of 32732 with flag 67758/1045168 746.32/730.79 c cleaning 11673 clauses out of 23382 with flag 113454/1052169 749.87/734.15 c cleaning 9839 clauses out of 19707 with flag 171038/1060167 754.85/739.17 c cleaning 9410 clauses out of 18868 with flag 248230/1069167 760.55/744.66 c cleaning 9709 clauses out of 19460 with flag 331066/1079169 768.42/752.10 c cleaning 10354 clauses out of 20749 with flag 418320/1090167 776.54/760.03 c cleaning 11183 clauses out of 22400 with flag 513800/1102172 781.96/765.31 c cleaning 12088 clauses out of 24213 with flag 624029/1115168 791.31/774.51 c cleaning 13041 clauses out of 26125 with flag 746807/1129168 802.88/785.90 c cleaning 14025 clauses out of 28083 with flag 892721/1144167 813.44/796.38 c cleaning 15012 clauses out of 30059 with flag 1040075/1160168 826.67/809.22 c cleaning 16004 clauses out of 32049 with flag 1197797/1177170 841.93/824.36 c cleaning 17001 clauses out of 34042 with flag 1361350/1195167 856.09/838.42 c cleaning 17996 clauses out of 36044 with flag 1528317/1214170 868.55/850.86 c cleaning 19006 clauses out of 38046 with flag 1701741/1234168 883.35/865.45 c cleaning 20007 clauses out of 40045 with flag 1889359/1255173 902.89/884.91 c cleaning 20989 clauses out of 42032 with flag 2099464/1277167 925.34/907.17 c cleaning 22001 clauses out of 44043 with flag 2322779/1300167 944.63/926.46 c cleaning 23002 clauses out of 46045 with flag 2563882/1324170 964.85/946.44 c cleaning 23998 clauses out of 48041 with flag 2788741/1349168 984.98/966.43 c cleaning 24998 clauses out of 50044 with flag 3019178/1375169 1012.61/993.13 c cleaning 26003 clauses out of 52048 with flag 3258696/1402171 1042.78/1023.17 c cleaning 26998 clauses out of 54043 with flag 3514660/1430169 1084.82/1064.88 c cleaning 28001 clauses out of 56043 with flag 3802655/1459167 1122.78/1102.62 c cleaning 28999 clauses out of 58042 with flag 4098785/1489167 1165.92/1145.36 c cleaning 30001 clauses out of 60044 with flag 4398827/1520168 1214.19/1193.15 c cleaning 31001 clauses out of 62042 with flag 4701195/1552167 1256.62/1235.45 c cleaning 32001 clauses out of 64043 with flag 5022066/1585169 1306.08/1284.56 c cleaning 33000 clauses out of 66042 with flag 5344575/1619169 1358.55/1336.64 c cleaning 34001 clauses out of 68046 with flag 5682231/1654173 1422.81/1400.62 c cleaning 34999 clauses out of 70040 with flag 5996807/1690168 1487.46/1464.98 c cleaning 36005 clauses out of 72041 with flag 6347377/1727168 1559.77/1535.32 c cleaning 36997 clauses out of 74035 with flag 6716791/1765167 1629.90/1605.34 c cleaning 38000 clauses out of 76041 with flag 7078505/1804170 1709.52/1684.46 c cleaning 38999 clauses out of 78039 with flag 7458629/1844168 1789.24/1764.06 c cleaning 39998 clauses out of 80039 with flag 7870284/1885167 1876.77/1851.16 c cleaning 40997 clauses out of 82041 with flag 8311878/1927167 1975.87/1949.84 c cleaning 42004 clauses out of 84048 with flag 8793594/1970171 2035.43/2009.20 c cleaning 42976 clauses out of 86040 with flag 9222038/2014167 2049.21/2022.87 c cleaning 43988 clauses out of 88064 with flag 9523415/2059167 2068.53/2041.51 c cleaning 44998 clauses out of 90076 with flag 9825322/2105167 2118.07/2090.87 c cleaning 46000 clauses out of 92079 with flag 10179649/2152168 2132.74/2104.81 c cleaning 47015 clauses out of 94079 with flag 10510084/2200168 2177.03/2148.87 c cleaning 48009 clauses out of 96066 with flag 10815453/2249170 2222.09/2193.24 c cleaning 49005 clauses out of 98057 with flag 11146356/2299170 2271.77/2242.67 c cleaning 50022 clauses out of 100051 with flag 11485117/2350169 2329.72/2298.59 c cleaning 50995 clauses out of 102028 with flag 11923153/2402168 2369.32/2337.71 c cleaning 51970 clauses out of 104032 with flag 12301866/2455167 2420.57/2388.67 c cleaning 52985 clauses out of 106063 with flag 12706154/2509168 2483.16/2450.43 c cleaning 53993 clauses out of 108079 with flag 13118232/2564169 2539.61/2506.59 c cleaning 54999 clauses out of 110085 with flag 13530983/2620168 2626.97/2593.14 c cleaning 55991 clauses out of 112088 with flag 13955376/2677170 2723.33/2689.28 c cleaning 57001 clauses out of 114094 with flag 14353109/2735167 2758.76/2723.82 c cleaning 58009 clauses out of 116096 with flag 14751879/2794170 2797.46/2761.60 c cleaning 58997 clauses out of 118084 with flag 15189804/2854167 2865.20/2829.03 c cleaning 60006 clauses out of 120087 with flag 15621121/2915167 2890.52/2853.92 c cleaning 61023 clauses out of 122084 with flag 16032139/2977170 2961.57/2924.19 c cleaning 62014 clauses out of 124058 with flag 16421394/3040167 3036.08/2998.37 c cleaning 63006 clauses out of 126046 with flag 16809853/3104169 3096.07/3056.80 c cleaning 64011 clauses out of 128040 with flag 17224793/3169169 3165.37/3125.92 c cleaning 65002 clauses out of 130028 with flag 17650885/3235168 3254.74/3214.49 c cleaning 65999 clauses out of 132027 with flag 18111065/3302169 3331.44/3290.72 c cleaning 67000 clauses out of 134026 with flag 18596894/3370167 3396.72/3355.65 c cleaning 67996 clauses out of 136027 with flag 19067520/3439168 3440.74/3398.75 c cleaning 68994 clauses out of 138030 with flag 19557604/3509167 3481.54/3439.05 c cleaning 69994 clauses out of 140036 with flag 20007491/3580167 3518.62/3474.61 c cleaning 70989 clauses out of 142042 with flag 20502146/3652167 3564.78/3520.38 c cleaning 72002 clauses out of 144053 with flag 20975268/3725167 3600.07/3555.13 c starts : 986 3600.07/3555.15 c conflicts : 3764792 3600.07/3555.17 c decisions : 7333533 3600.07/3555.17 c propagations : 72857053 3600.07/3555.17 c inspects : 12883017738 3600.07/3555.17 c shortcuts : 0 3600.07/3555.17 c learnt literals : 0 3600.07/3555.17 c learnt binary clauses : 0 3600.07/3555.17 c learnt ternary clauses : 0 3600.07/3555.17 c learnt constraints : 3764792 3600.07/3555.17 c ignored constraints : 0 3600.07/3555.17 c root simplifications : 0 3600.07/3555.17 c removed literals (reason simplification) : 0 3600.07/3555.17 c reason swapping (by a shorter reason) : 0 3600.07/3555.17 c Calls to reduceDB : 144 3600.07/3555.17 c Number of update (reduction) of LBD : 1907369 3600.07/3555.17 c Imported unit clauses : 0 3600.07/3555.17 c No decision after first conflict : false 3600.07/3555.17 c number of reductions to clauses (during analyze) : 0 3600.07/3555.17 c number of learned constraints concerned by reduction : 0 3600.07/3555.17 c number of learning phase by resolution : 0 3600.07/3555.17 c number of learning phase by cutting planes : 0 3600.07/3555.17 c number of rounding to 1 operations : 0 3600.07/3555.17 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3555.17 c number of reductions of the coefficients by power 2 : 0 3600.07/3555.17 c number of right shift for reduction by power 2 : 0 3600.07/3555.17 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3555.17 c number of ending skipping : 0 3600.07/3555.17 c number of internal skipping : 0 3600.07/3555.17 c number of derivation steps : 0 3600.07/3555.17 c number of skipped derivation steps : 0 3600.07/3555.17 c number of remaining unassigned : 0 3600.07/3555.17 c number of remaining assigned : 0 3600.07/3555.17 c number of falsified literals weakened from reason : 0 3600.07/3555.17 c number of falsified literals weakened from conflict : 0 3600.07/3555.17 c time for arithmetic operations : 0 3600.07/3555.19 c minimum degree of deleted constraints : null 3600.07/3555.19 c maximum degree of deleted constraints : null 3600.07/3555.19 c number of deleted constraints : 0 3600.07/3555.19 c speed (assignments/second) : 20496.410451172767 3600.07/3555.19 c non guided choices : 189655 3600.43/3555.33 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 111676 3600.43/3555.35 s SATISFIABLE 3600.43/3555.35 c Found 8 solution(s) 3600.43/3555.35 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 3600.63/3555.40 c objective function=1 3600.63/3555.40 c Total wall clock time (in seconds): 3555.093
OK 1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63331 MiB free)
memory of node 1: 64510 MiB (63641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424853-1720881315/watcher-4424853-1720881315 -o /tmp/evaluation-result-4424853-1720881315/solver-4424853-1720881315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720881328-701581 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424853-1720881315.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=701652, runsolver pid=701646
Current StackSize limit: 8192 KiB
[startup+0.101742 s]*
/proc/loadavg: 2.32 2.18 2.17 10/310 701713
/proc/meminfo: memFree=129918948/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=18975048 memory=57048 CPUtime=0.14 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 6355 0 0 0 11 3 0 0 20 0 18 0 140287695 19430449152 14262 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4743762 14262 5534 1 0 550833 0
[pid=701652/tid=701663] ppid=701646 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 5299 0 0 0 7 2 0 0 20 0 18 0 140287695 19430449152 14262 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287701 19430449152 14262 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=18975048 memory=15822213697771138 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287702 19430449152 14262 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57048 KiB
[startup+0.21779 s]*
/proc/loadavg: 2.32 2.18 2.17 10/311 701714
/proc/meminfo: memFree=129894840/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=18975048 memory=63768 CPUtime=0.32 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 7002 0 0 0 28 4 0 0 20 0 18 0 140287695 19430449152 15942 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4743762 15942 5542 1 0 551364 0
[pid=701652/tid=701663] ppid=701646 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 5610 0 0 0 17 3 0 0 20 0 18 0 140287695 19430449152 15942 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=18975048 memory=3711 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287701 19430449152 15942 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=18975048 memory=15822213697771138 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287702 19430449152 15942 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63768 KiB
[startup+0.323798 s]*
/proc/loadavg: 2.32 2.18 2.17 13/311 701714
/proc/meminfo: memFree=129874612/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=18975048 memory=67656 CPUtime=0.49 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 7293 0 0 0 45 4 0 0 20 0 18 0 140287695 19430449152 16914 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4743762 16914 5708 1 0 551564 0
[pid=701652/tid=701663] ppid=701646 vsize=18975048 memory=-8743567614138557116 CPUtime=0.3 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 5798 0 0 0 27 3 0 0 20 0 18 0 140287695 19430449152 16914 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287701 19430449152 16914 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140287702 19430449152 16914 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67656 KiB
[startup+0.708735 s]
/proc/loadavg: 2.32 2.18 2.17 13/311 701714
/proc/meminfo: memFree=129822556/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19041612 memory=84608 CPUtime=1.2 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 9452 0 0 0 115 5 0 0 20 0 19 0 140287695 19498610688 21152 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4760403 21152 5847 1 0 553309 0
[pid=701652/tid=701663] ppid=701646 vsize=19041612 memory=5616 CPUtime=0.57 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 5939 0 0 0 54 3 0 0 20 0 19 0 140287695 19498610688 21152 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19041612 memory=11884 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287701 19498610688 21152 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287702 19498610688 21152 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84608 KiB
[startup+1.50035 s]
/proc/loadavg: 2.32 2.18 2.17 9/314 701717
/proc/meminfo: memFree=129765392/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19041612 memory=112036 CPUtime=2.69 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 11937 0 0 0 262 7 0 0 20 0 19 0 140287695 19498610688 28009 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4760403 28009 5879 1 0 553791 0
[pid=701652/tid=701663] ppid=701646 vsize=19041612 memory=11884 CPUtime=1.34 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 6099 0 0 0 130 4 0 0 20 0 19 0 140287695 19498610688 28009 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287701 19498610688 28009 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140287702 19498610688 28009 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140287750 19498610688 28009 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 112036 KiB
[startup+3.11346 s]
/proc/loadavg: 2.32 2.18 2.17 8/318 701721
/proc/meminfo: memFree=129329236/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=224376 CPUtime=4.68 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 15935 0 0 0 457 11 0 0 20 0 20 0 140287695 19566772224 56094 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 56094 5895 1 0 554212 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=0 CPUtime=2.79 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 7258 0 0 0 273 6 0 0 20 0 20 0 140287695 19566772224 56094 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 56094 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 56094 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 56094 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 224376 KiB
[startup+6.30073 s]
/proc/loadavg: 2.53 2.23 2.18 6/318 701721
/proc/meminfo: memFree=128850480/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=299712 CPUtime=8.26 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 18209 0 0 0 812 14 0 0 20 0 20 0 140287695 19566772224 74928 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 74928 5895 1 0 554785 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=0 CPUtime=5.84 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 7286 0 0 0 578 6 0 0 20 0 20 0 140287695 19566772224 74928 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 74928 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 74928 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=35176 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 74928 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 8.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 299712 KiB
[startup+12.7007 s]
/proc/loadavg: 2.65 2.26 2.19 5/318 701725
/proc/meminfo: memFree=128343316/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=374012 CPUtime=14.72 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 19405 0 0 0 1455 17 0 0 20 0 20 0 140287695 19566772224 93503 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 93503 5911 1 0 554785 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=374012 CPUtime=12.06 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 8072 0 0 0 1200 6 0 0 20 0 20 0 140287695 19566772224 93503 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=373764 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 93503 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 93503 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 93503 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 14.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 374012 KiB
[startup+25.5077 s]
/proc/loadavg: 2.95 2.34 2.22 5/318 701726
/proc/meminfo: memFree=126672208/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=826308 CPUtime=28.54 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 26789 0 0 0 2827 27 0 0 20 0 20 0 140287695 19566772224 206577 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 206577 5918 1 0 682361 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=11580 CPUtime=24.24 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) S 701646 701652 697245 0 -1 1077936192 10100 0 0 0 2417 7 0 0 20 0 20 0 140287695 19566772224 206577 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=456044 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 206577 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=377700 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 206577 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=732096 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 206577 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 28.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 826308 KiB
[startup+51.1138 s]
/proc/loadavg: 3.50 2.52 2.29 5/318 701731
/proc/meminfo: memFree=123859700/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=1550816 CPUtime=54.73 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 33047 0 0 0 5428 45 0 0 20 0 20 0 140287695 19566772224 387704 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 387704 5922 1 0 813963 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=11884 CPUtime=48.83 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 11933 0 0 0 4872 11 0 0 20 0 20 0 140287695 19566772224 387704 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=1300696 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 387704 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 387704 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=0 CPUtime=0 cores=0,2
################
# More data... #
################
Current children cumulated memory: 10408428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.22 4.23 5/320 703433
/proc/meminfo: memFree=89579476/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=10408456 CPUtime=3323.06 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 239997 0 0 0 331888 418 0 0 20 0 20 0 140287695 19566772224 2602114 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 2602114 5938 1 0 3076992 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=10408456 CPUtime=3227.47 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 64141 0 0 0 322694 53 0 0 20 0 20 0 140287695 19566772224 2602114 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=35176 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 2602114 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=279901676504096 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 1379 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 2602114 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=10408456 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 2602114 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 3323.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10408456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.25 4.24 5/319 703499
/proc/meminfo: memFree=89575076/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=10408592 CPUtime=3383.45 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 243404 0 0 0 337923 422 0 0 20 0 20 0 140287695 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 2602148 5938 1 0 3076992 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=10408456 CPUtime=3286.64 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 64850 0 0 0 328611 53 0 0 20 0 20 0 140287695 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=10408592 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=10408592 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 1380 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=10408592 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 3383.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10408592 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.23 4.24 5/319 703509
/proc/meminfo: memFree=89562236/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=10408592 CPUtime=3444.34 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 245481 0 0 0 344010 424 0 0 20 0 20 0 140287695 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 2602148 5938 1 0 3076992 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=10408592 CPUtime=3345.41 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 65875 0 0 0 334488 53 0 0 20 0 20 0 140287695 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=10408592 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=10408592 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 1380 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=35176 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 2602148 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 3444.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10408592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.23 4.24 5/319 703520
/proc/meminfo: memFree=89557604/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=10408616 CPUtime=3505.45 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 246935 0 0 0 350118 427 0 0 20 0 20 0 140287695 19566772224 2602154 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 2602154 5938 1 0 3077048 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=10408592 CPUtime=3403.94 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 66200 0 0 0 340341 53 0 0 20 0 20 0 140287695 19566772224 2602154 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 2602154 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=10408616 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 1384 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 2602154 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=10408616 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 2602154 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 3505.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10408616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.19 4.22 5/318 703530
/proc/meminfo: memFree=89550240/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=10407520 CPUtime=3566.78 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 250560 0 0 0 356247 431 0 0 20 0 20 0 140287695 19566772224 2601880 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 2601880 5938 1 0 3077059 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=10408592 CPUtime=3462.56 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 66338 0 0 0 346203 53 0 0 20 0 20 0 140287695 19566772224 2601880 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 2601880 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 1384 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 2601880 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=10407516 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 2601880 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 3566.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10407520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3555.11 s]
/proc/loadavg: 4.06 4.18 4.21 4/292 703570
/proc/meminfo: memFree=99420084/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19108176 memory=10409572 CPUtime=3600.07 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 250806 0 0 0 359574 433 0 0 20 0 20 0 140287695 19566772224 2602393 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4777044 2602393 5938 1 0 3077059 0
[pid=701652/tid=701663] ppid=701646 vsize=19108176 memory=11884 CPUtime=3494.69 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 66338 0 0 0 349416 53 0 0 20 0 20 0 140287695 19566772224 2602393 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19108176 memory=11884 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140287701 19566772224 2602393 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19108176 memory=10409572 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 1384 0 0 0 0 0 0 0 20 0 20 0 140287702 19566772224 2602393 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701715] ppid=701646 vsize=19108176 memory=35176 CPUtime=0 cores=0,2
/proc/701652/task/701715/stat : 701715 (Timer-0) S 701646 701652 697245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140287750 19566772224 2602393 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10409572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3555.47 s]
# the end of solver process 701652 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.32 s, system=4.38731 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3555.21 s]
/proc/loadavg: 4.06 4.18 4.21 4/292 703570
/proc/meminfo: memFree=99420084/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19307868 memory=10410208 CPUtime=3600.26 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 252441 0 0 0 359593 433 0 0 20 0 21 0 140287695 19771256832 2602552 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4826967 2602552 5937 1 0 3077978 0
[pid=701652/tid=701663] ppid=701646 vsize=19307868 memory=5616 CPUtime=3494.79 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 66427 0 0 0 349426 53 0 0 20 0 21 0 140287695 19771256832 2602552 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19307868 memory=-8744130564091978428 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 140287701 19771256832 2602552 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19307868 memory=10409572 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 1384 0 0 0 0 0 0 0 20 0 21 0 140287702 19771256832 2602552 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10410208 KiB
[startup+3555.4 s]
/proc/loadavg: 4.06 4.18 4.21 4/292 703570
/proc/meminfo: memFree=99420084/131655788 swapFree=131071996/131071996
[pid=701652] ppid=701646 vsize=19307868 memory=10410272 CPUtime=3600.63 cores=0,2
/proc/701652/stat : 701652 (java) S 701646 701652 697245 0 -1 1077936128 252689 0 0 0 359630 433 0 0 20 0 21 0 140287695 19771256832 2602568 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
/proc/701652/statm: 4826967 2602568 5937 1 0 3077978 0
[pid=701652/tid=701663] ppid=701646 vsize=19307868 memory=35176 CPUtime=3494.97 cores=0,2
/proc/701652/task/701663/stat : 701663 (java) R 701646 701652 697245 0 -1 4194368 66428 0 0 0 349444 53 0 0 20 0 21 0 140287695 19771256832 2602568 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701695] ppid=701646 vsize=19307868 memory=11884 CPUtime=0 cores=0,2
/proc/701652/task/701695/stat : 701695 (Finalizer) S 701646 701652 697245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 140287701 19771256832 2602568 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
[pid=701652/tid=701703] ppid=701646 vsize=19307868 memory=10409572 CPUtime=0 cores=0,2
/proc/701652/task/701703/stat : 701703 (Common-Cleaner) S 701646 701652 697245 0 -1 1077936192 1384 0 0 0 0 0 0 0 20 0 21 0 140287702 19771256832 2602568 134679101440 94538087915520 94538087919216 140727554108928 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94538087927032 94538087927824 94538094886912 140727554110445 140727554110535 140727554110535 140727554117576 0
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 10410272 KiB
Child status: 143
Real time (s): 3555.47
CPU time (s): 3600.71
CPU user time (s): 3596.32
CPU system time (s): 4.38731
CPU usage (%): 101.272
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 10410584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.32
system time used= 4.38732
maximum resident set size= 10411332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112954
involuntary context switches= 28680
# summary of solver processes directly reported to runsolver:
# pid: 701652
# total CPU time (s): 3600.71
# total CPU user time (s): 3596.32
# total CPU system time (s): 4.38731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.4701 second user time and 32.937 second system time
The end
Begin job on nodeC003 at 2024-07-13 16:35:28 IDJOB=4424853 IDBENCH=143511 IDSOLVER=3037 FILE ID=nodeC003/4424853-1720881315 RUNJOBID= nodeC003-1720881328-701581 SLURM_JOB_ID= 7483751 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424853-1720881315/watcher-4424853-1720881315 -o /tmp/evaluation-result-4424853-1720881315/solver-4424853-1720881315 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1720881328-701581 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424853-1720881315.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06a2e497e51c1e9d30e1cb041d3ceb6a RANDOM SEED=1685345008 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.225 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.975 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.221 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.216 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.260 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.236 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.301 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.76 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.217 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130062784 kB MemAvailable: 129960760 kB Buffers: 324852 kB Cached: 422968 kB SwapCached: 0 kB Active: 475880 kB Inactive: 621904 kB Active(anon): 1356 kB Inactive(anon): 386684 kB Active(file): 474524 kB Inactive(file): 235220 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 2556 kB Writeback: 0 kB AnonPages: 350420 kB Mapped: 101732 kB Shmem: 37704 kB KReclaimable: 56524 kB Slab: 145720 kB SReclaimable: 56524 kB SUnreclaim: 89196 kB KernelStack: 3728 kB PageTables: 8812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 669008 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45568 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205640 kB DirectMap2M: 8087552 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 723780 MiB End job on nodeC003 at 2024-07-13 17:34:43