Trace number 4424854

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.59 3546.72

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
MD5SUM90805506c3ef3a167cca93afc34c9333
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.716687
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints110
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 6303
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6302
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.19	c version CUSTOM.v20240707
0.13/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.21	c java.vm.version	22.0.1+8-16
0.13/0.21	c java.vm.vendor	Oracle Corporation
0.13/0.21	c sun.arch.data.model	64
0.13/0.21	c java.version		22.0.1
0.13/0.21	c os.name		Linux
0.13/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.21	c os.arch		amd64
0.13/0.22	c Free memory 		2115194816
0.13/0.22	c Max memory 		16282288128
0.13/0.22	c Total memory 		2122317824
0.29/0.23	c Number of processors 	2
0.29/0.32	--- Begin Solver configuration ---
0.29/0.32	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.32	Learn all clauses as in MiniSAT
0.29/0.32	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.32	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.32	No reason simplification
0.29/0.32	Glucose 2.1 dynamic restart strategy
0.29/0.32	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.29/0.32	timeout=2147483s
0.29/0.32	DB Simplification allowed=false
0.29/0.32	Listener: none
0.29/0.32	--- End Solver configuration ---
0.29/0.32	c Pseudo Boolean Optimization by upper bound
0.29/0.32	c --- Begin Solver configuration ---
0.29/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.32	c Learn all clauses as in MiniSAT
0.29/0.32	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.32	c No reason simplification
0.29/0.32	c Glucose 2.1 dynamic restart strategy
0.29/0.32	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.29/0.32	c timeout=2147483s
0.29/0.32	c DB Simplification allowed=false
0.29/0.32	c Listener: none
0.29/0.32	c --- End Solver configuration ---
0.46/0.32	c solving HOME/instance-4424854-1720881329.wbo
0.46/0.32	c reading problem ... 
0.83/0.54	c ... done. Wall clock time 0.204s.
0.83/0.54	c declared #vars     6800
0.83/0.54	c internal #vars     6910
0.83/0.54	c #constraints  166
0.83/0.54	c constraints type 
0.83/0.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 27
0.83/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 53
0.83/0.54	c org.sat4j.specs.Constr$1 => 1
0.83/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 85
0.83/0.54	c 166 constraints processed.
0.83/0.57	c objective function length is 110 literals
3.43/2.02	c cleaning 2498 clauses out of 5001 with flag 28740/5001
5.29/3.60	c cleaning 4243 clauses out of 8502 with flag 69126/11000
7.67/5.81	c cleaning 5627 clauses out of 11264 with flag 116459/18005
11.02/8.77	c cleaning 6813 clauses out of 13632 with flag 167006/26000
13.16/10.72	c SATISFIABLE
13.16/10.72	c OPTIMIZING...
13.16/10.73	c Got one! Elapsed wall clock time (in seconds):10.392
13.16/10.73	o 157
13.16/10.76	c Got one! Elapsed wall clock time (in seconds):10.433
13.16/10.76	o 91
17.82/14.59	c cleaning 9107 clauses out of 18228 with flag 31524/37409
21.03/17.40	c cleaning 7554 clauses out of 15116 with flag 68381/43404
24.34/20.73	c cleaning 7276 clauses out of 14562 with flag 116763/50404
27.26/23.60	c cleaning 7635 clauses out of 15286 with flag 175278/58404
30.86/26.88	c cleaning 8321 clauses out of 16654 with flag 237973/67407
32.99/28.82	c Got one! Elapsed wall clock time (in seconds):28.496
32.99/28.82	o 87
32.99/28.86	c Got one! Elapsed wall clock time (in seconds):28.533
32.99/28.86	o 74
35.68/31.58	c cleaning 9489 clauses out of 18999 with flag 33965/78073
38.95/34.60	c cleaning 7747 clauses out of 15510 with flag 79501/84073
41.37/37.08	c cleaning 7374 clauses out of 14764 with flag 137141/91074
43.98/39.55	c cleaning 7688 clauses out of 15388 with flag 198076/99072
46.91/42.32	c cleaning 8346 clauses out of 16704 with flag 268883/108076
50.62/46.04	c cleaning 9166 clauses out of 18354 with flag 356463/118072
55.42/50.65	c cleaning 10087 clauses out of 20190 with flag 447094/129074
61.44/56.43	c cleaning 11042 clauses out of 22103 with flag 541531/141074
70.76/65.49	c cleaning 12018 clauses out of 24059 with flag 648192/154072
80.92/74.82	c cleaning 13012 clauses out of 26042 with flag 766176/168073
90.44/84.20	c cleaning 14006 clauses out of 28032 with flag 892445/183075
100.45/93.97	c cleaning 15000 clauses out of 30023 with flag 1020379/199072
111.62/104.96	c cleaning 16002 clauses out of 32024 with flag 1160473/216073
125.01/117.93	c cleaning 17002 clauses out of 34022 with flag 1314460/234073
138.07/130.82	c cleaning 18001 clauses out of 36019 with flag 1475309/253072
153.84/146.23	c cleaning 19005 clauses out of 38022 with flag 1647429/273076
173.30/164.23	c cleaning 19998 clauses out of 40013 with flag 1828475/294072
183.14/173.94	c Got one! Elapsed wall clock time (in seconds):173.613
183.14/173.94	o 50
183.26/174.04	c Got one! Elapsed wall clock time (in seconds):173.721
183.26/174.06	o 5
183.58/174.20	c Got one! Elapsed wall clock time (in seconds):173.878
183.58/174.20	o 1
186.08/176.34	c cleaning 20443 clauses out of 40903 with flag 30087/314960
188.37/178.64	c cleaning 13220 clauses out of 26460 with flag 72197/320960
191.27/181.52	c cleaning 10109 clauses out of 20240 with flag 122074/327960
194.65/184.72	c cleaning 9054 clauses out of 18133 with flag 169024/335962
197.64/187.79	c cleaning 9023 clauses out of 18078 with flag 221815/344961
202.13/192.03	c cleaning 9506 clauses out of 19054 with flag 292077/354960
206.88/196.70	c cleaning 10259 clauses out of 20551 with flag 370714/365963
211.54/201.19	c cleaning 11130 clauses out of 22291 with flag 451488/377962
217.80/207.24	c cleaning 12057 clauses out of 24159 with flag 534832/390960
223.96/213.24	c cleaning 13036 clauses out of 26105 with flag 622670/404963
231.05/220.20	c cleaning 14020 clauses out of 28068 with flag 720055/419962
241.80/229.98	c cleaning 15008 clauses out of 30046 with flag 826602/435960
254.05/242.02	c cleaning 16006 clauses out of 32040 with flag 941697/452962
267.38/255.28	c cleaning 17006 clauses out of 34032 with flag 1056090/470960
280.83/268.58	c cleaning 17999 clauses out of 36026 with flag 1191030/489960
294.82/282.19	c cleaning 18999 clauses out of 38030 with flag 1309699/509963
309.98/297.17	c cleaning 20000 clauses out of 40028 with flag 1447212/530960
326.11/312.99	c cleaning 20994 clauses out of 42028 with flag 1589966/552960
347.47/334.12	c cleaning 22001 clauses out of 44036 with flag 1741119/575962
370.35/356.70	c cleaning 22995 clauses out of 46034 with flag 1898186/599961
397.57/383.69	c cleaning 24005 clauses out of 48039 with flag 2060192/624961
424.91/410.64	c cleaning 24991 clauses out of 50034 with flag 2226887/650961
460.06/445.45	c cleaning 26005 clauses out of 52042 with flag 2417610/677960
495.38/479.11	c cleaning 26999 clauses out of 54041 with flag 2604330/705964
533.18/516.83	c cleaning 27990 clauses out of 56039 with flag 2812588/734961
570.28/553.69	c cleaning 29008 clauses out of 58048 with flag 3043882/764960
599.55/582.66	c cleaning 29997 clauses out of 60040 with flag 3272393/795960
618.22/601.02	c cleaning 31004 clauses out of 62043 with flag 3490961/827960
639.12/621.80	c cleaning 32001 clauses out of 64039 with flag 3770814/860960
662.62/644.75	c cleaning 33002 clauses out of 66038 with flag 4076471/894960
679.18/660.99	c cleaning 34002 clauses out of 68037 with flag 4413066/929961
699.96/681.32	c cleaning 34994 clauses out of 70038 with flag 4762589/965964
730.78/710.23	c cleaning 35999 clauses out of 72040 with flag 5113418/1002960
752.16/731.30	c cleaning 36999 clauses out of 74042 with flag 5472423/1040961
773.52/752.12	c cleaning 38002 clauses out of 76042 with flag 5828671/1079960
799.88/777.97	c cleaning 38997 clauses out of 78041 with flag 6193912/1119961
836.17/813.66	c cleaning 40003 clauses out of 80044 with flag 6559956/1160961
869.71/846.51	c cleaning 40994 clauses out of 82040 with flag 6947243/1202960
912.71/889.39	c cleaning 42002 clauses out of 84046 with flag 7326698/1245960
948.32/924.48	c cleaning 42998 clauses out of 86045 with flag 7723999/1289961
992.22/967.92	c cleaning 44007 clauses out of 88046 with flag 8119811/1334960
1040.63/1015.84	c cleaning 45000 clauses out of 90040 with flag 8557990/1380961
1089.21/1063.89	c cleaning 46006 clauses out of 92044 with flag 9015503/1427965
1142.76/1114.91	c cleaning 47001 clauses out of 94035 with flag 9469118/1475962
1189.94/1161.72	c cleaning 47993 clauses out of 96032 with flag 9951201/1524960
1241.79/1212.92	c cleaning 48998 clauses out of 98040 with flag 10431574/1574961
1288.77/1259.17	c cleaning 50001 clauses out of 100043 with flag 10905902/1625962
1337.92/1307.42	c cleaning 51001 clauses out of 102041 with flag 11399716/1677961
1399.05/1368.27	c cleaning 52001 clauses out of 104039 with flag 11902256/1730960
1458.72/1427.10	c cleaning 52999 clauses out of 106041 with flag 12456486/1784963
1519.21/1486.90	c cleaning 53996 clauses out of 108039 with flag 12973836/1839960
1581.12/1548.41	c cleaning 54999 clauses out of 110043 with flag 13451901/1895960
1641.75/1608.34	c cleaning 56001 clauses out of 112046 with flag 13993827/1952962
1715.47/1681.24	c cleaning 57002 clauses out of 114044 with flag 14545123/2010961
1794.26/1759.22	c cleaning 57995 clauses out of 116041 with flag 15155091/2069960
1886.75/1848.37	c cleaning 59004 clauses out of 118047 with flag 15716130/2129961
1982.24/1943.47	c cleaning 59999 clauses out of 120042 with flag 16353410/2190960
2019.10/1979.92	c cleaning 60998 clauses out of 122043 with flag 16850570/2252960
2077.82/2037.85	c cleaning 61974 clauses out of 124046 with flag 17266015/2315961
2151.56/2110.49	c cleaning 62985 clauses out of 126072 with flag 17728639/2379961
2249.39/2207.81	c cleaning 63991 clauses out of 128088 with flag 18224297/2444962
2357.73/2315.74	c cleaning 64988 clauses out of 130095 with flag 18756728/2510960
2474.35/2431.36	c cleaning 65989 clauses out of 132107 with flag 19334124/2577960
2609.42/2565.40	c cleaning 66989 clauses out of 134118 with flag 19920091/2645960
2727.65/2682.76	c cleaning 67995 clauses out of 136129 with flag 20505663/2714960
2847.19/2801.26	c cleaning 68997 clauses out of 138134 with flag 21070470/2784960
2995.56/2948.54	c cleaning 70002 clauses out of 140137 with flag 21692545/2855960
3150.31/3099.20	c cleaning 71000 clauses out of 142135 with flag 22370193/2927960
3307.23/3255.86	c cleaning 71992 clauses out of 144135 with flag 23134451/3000960
3432.55/3380.03	c cleaning 72999 clauses out of 146143 with flag 23929790/3074960
3561.03/3508.05	c cleaning 73998 clauses out of 148144 with flag 24742098/3149960
3600.00/3546.42	c starts		: 179
3600.00/3546.45	c conflicts		: 3215030
3600.00/3546.45	c decisions		: 4285737
3600.00/3546.45	c propagations		: 57382610
3600.00/3546.46	c inspects		: 13115695658
3600.00/3546.46	c shortcuts		: 0
3600.00/3546.46	c learnt literals	: 0
3600.00/3546.46	c learnt binary clauses	: 0
3600.00/3546.46	c learnt ternary clauses	: 0
3600.00/3546.47	c learnt constraints	: 3215030
3600.00/3546.47	c ignored constraints	: 0
3600.00/3546.47	c root simplifications	: 0
3600.00/3546.47	c removed literals (reason simplification)	: 0
3600.00/3546.47	c reason swapping (by a shorter reason)	: 0
3600.00/3546.47	c Calls to reduceDB	: 97
3600.00/3546.47	c Number of update (reduction) of LBD	: 1628566
3600.00/3546.47	c Imported unit clauses	: 0
3600.00/3546.47	c No decision after first conflict	: false
3600.00/3546.47	c number of reductions to clauses (during analyze)	: 0
3600.00/3546.47	c number of learned constraints concerned by reduction	: 0
3600.00/3546.47	c number of learning phase by resolution	: 0
3600.00/3546.47	c number of learning phase by cutting planes	: 0
3600.00/3546.47	c number of rounding to 1 operations	: 0
3600.00/3546.47	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3546.47	c number of reductions of the coefficients by power 2 	: 0
3600.00/3546.47	c number of right shift for reduction by power 2 	: 0
3600.00/3546.47	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3546.48	c number of ending skipping 	: 0
3600.00/3546.48	c number of internal skipping 	: 0
3600.00/3546.48	c number of derivation steps 	: 0
3600.00/3546.48	c number of skipped derivation steps 	: 0
3600.00/3546.48	c number of remaining unassigned 	: 0
3600.00/3546.48	c number of remaining assigned 	: 0
3600.00/3546.48	c number of falsified literals weakened from reason	: 0
3600.00/3546.48	c number of falsified literals weakened from conflict	: 0
3600.00/3546.48	c time for arithmetic operations	: 0
3600.00/3546.48	c minimum degree of deleted constraints	: null
3600.00/3546.48	c maximum degree of deleted constraints	: null
3600.00/3546.48	c number of deleted constraints	: 0
3600.00/3546.49	c speed (assignments/second)	: 16182.791802257423
3600.00/3546.49	c non guided choices	: 96308
3600.40/3546.63	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 139216
3600.40/3546.64	s SATISFIABLE
3600.40/3546.64	c Found 7 solution(s)
3600.40/3546.65	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 
3600.40/3546.67	c objective function=1
3600.40/3546.67	c Total wall clock time (in seconds): 3546.347

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63269 MiB free)
  memory of node 1: 64473 MiB (63692 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424854-1720881329/watcher-4424854-1720881329 -o /tmp/evaluation-result-4424854-1720881329/solver-4424854-1720881329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702391 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424854-1720881329.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=702470, runsolver pid=702464

[startup+0.100723 s]*
/proc/loadavg: 1.07 1.16 1.19 12/309 702520
/proc/meminfo: memFree=129928104/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=18975048 memory=54888 CPUtime=0.13 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 6371 0 0 0 9 4 0 0 20 0 18 0 140288789 19430449152 13722 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4743762 13722 5493 1 0 550746 0
[pid=702470/tid=702473] ppid=702464 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 5312 0 0 0 5 3 0 0 20 0 18 0 140288790 19430449152 13722 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140288796 19430449152 13722 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=18975048 memory=15815599515270057 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140288797 19430449152 13722 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54888 KiB

[startup+0.216282 s]*
/proc/loadavg: 1.07 1.16 1.19 9/310 702521
/proc/meminfo: memFree=129902832/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=18975048 memory=57772 CPUtime=0.29 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 7083 0 0 0 25 4 0 0 20 0 18 0 140288789 19430449152 14443 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4743762 14443 5534 1 0 551323 0
[pid=702470/tid=702473] ppid=702464 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 5662 0 0 0 16 3 0 0 20 0 18 0 140288790 19430449152 14443 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=18975048 memory=3715 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140288796 19430449152 14443 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=18975048 memory=14973377819450890 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140288797 19430449152 14443 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57772 KiB

[startup+0.314434 s]*
/proc/loadavg: 1.07 1.16 1.19 12/310 702521
/proc/meminfo: memFree=129890688/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=18975048 memory=63996 CPUtime=0.46 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 7359 0 0 0 41 5 0 0 20 0 18 0 140288789 19430449152 15999 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4743762 15999 5723 1 0 551541 0
[pid=702470/tid=702473] ppid=702464 vsize=18975048 memory=-8887684996942701244 CPUtime=0.29 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 5845 0 0 0 26 3 0 0 20 0 18 0 140288790 19430449152 15999 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140288796 19430449152 15999 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 140288797 19430449152 15999 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63996 KiB

[startup+0.700902 s]
/proc/loadavg: 1.07 1.16 1.19 12/312 702523
/proc/meminfo: memFree=129857800/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19041612 memory=84364 CPUtime=1.16 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 9291 0 0 0 110 6 0 0 20 0 19 0 140288789 19498610688 21091 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4760403 21091 5854 1 0 553099 0
[pid=702470/tid=702473] ppid=702464 vsize=19041612 memory=5476 CPUtime=0.62 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 6025 0 0 0 59 3 0 0 20 0 19 0 140288790 19498610688 21091 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19041612 memory=12320 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140288796 19498610688 21091 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140288797 19498610688 21091 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84364 KiB

[startup+1.5009 s]
/proc/loadavg: 1.07 1.16 1.19 10/313 702524
/proc/meminfo: memFree=129809492/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19041612 memory=113368 CPUtime=2.74 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 13198 0 0 0 266 8 0 0 20 0 19 0 140288789 19498610688 28342 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4760403 28342 5885 1 0 553969 0
[pid=702470/tid=702473] ppid=702464 vsize=19041612 memory=12320 CPUtime=1.39 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 6222 0 0 0 135 4 0 0 20 0 19 0 140288790 19498610688 28342 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140288796 19498610688 28342 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 140288797 19498610688 28342 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140288847 19498610688 28342 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 113368 KiB

[startup+3.11373 s]
/proc/loadavg: 1.31 1.21 1.20 8/314 702525
/proc/meminfo: memFree=129532724/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=218704 CPUtime=4.8 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 16013 0 0 0 468 12 0 0 20 0 20 0 140288789 19566772224 54676 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 54676 5901 1 0 554324 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=0 CPUtime=2.94 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 7241 0 0 0 288 6 0 0 20 0 20 0 140288790 19566772224 54676 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=12712 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 54676 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 54676 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 54676 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 218704 KiB

[startup+6.30045 s]
/proc/loadavg: 1.31 1.21 1.20 6/316 702527
/proc/meminfo: memFree=129357208/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=305600 CPUtime=8.52 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 18761 0 0 0 837 15 0 0 20 0 20 0 140288789 19566772224 76400 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 76400 5917 1 0 555540 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=0 CPUtime=5.92 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 7284 0 0 0 586 6 0 0 20 0 20 0 140288790 19566772224 76400 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 76400 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=12712 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 76400 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=37200 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 76400 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 8.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 305600 KiB

[startup+12.7004 s]
/proc/loadavg: 1.76 1.31 1.24 7/316 702529
/proc/meminfo: memFree=128782836/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=571396 CPUtime=15.87 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 25497 0 0 0 1565 22 0 0 20 0 20 0 140288789 19566772224 142849 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 142849 5929 1 0 818753 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=84664 CPUtime=11.93 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 9366 0 0 0 1187 6 0 0 20 0 20 0 140288790 19566772224 142849 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=464484 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 142849 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=218704 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 142849 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 142849 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 15.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 571396 KiB

[startup+25.5005 s]
/proc/loadavg: 2.26 1.44 1.28 5/316 702530
/proc/meminfo: memFree=127436072/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=1046864 CPUtime=29.4 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 28406 0 0 0 2909 31 0 0 20 0 20 0 140288789 19566772224 261716 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 261716 5929 1 0 818764 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=464484 CPUtime=24.22 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 10424 0 0 0 2413 9 0 0 20 0 20 0 140288790 19566772224 261716 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=819432 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 261716 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 261716 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 261716 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 29.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1046864 KiB

[startup+51.1179 s]
/proc/loadavg: 2.85 1.64 1.35 6/317 702536
/proc/meminfo: memFree=125763896/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=1912552 CPUtime=56.14 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 38905 0 0 0 5562 52 0 0 20 0 20 0 140288789 19566772224 478138 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 478138 5929 1 0 950363 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=1459860 CPUtime=48.81 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) S 702464 702470 698245 0 -1 1077936192 12220 0 0 0 4868 13 0 0 20 0 20 0 140288790 19566772224 478138 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=1576596 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 478138 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=12712 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 478138 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=573444 CPUtime=0 cores=1,3

################
# More data... #
################

/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 94254 0 0 0 316549 84 0 0 20 0 20 0 140288790 19566772224 3469448 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=12451748 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 3469448 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=13877792 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 1471 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 3469448 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=12712 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 3469448 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13877792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.18 4.17 5/321 705302
/proc/meminfo: memFree=95532172/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=13976100 CPUtime=3334.25 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 274557 0 0 0 332932 493 0 0 20 0 20 0 140288789 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 3494025 5929 1 0 4086608 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=2752 CPUtime=3225.6 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 96265 0 0 0 322475 85 0 0 20 0 20 0 140288790 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=13877792 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=13877792 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 1614 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=13877792 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 3334.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13976100 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/318 705312
/proc/meminfo: memFree=95525276/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=13976100 CPUtime=3394.15 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 275721 0 0 0 338918 497 0 0 20 0 20 0 140288789 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 3494025 5929 1 0 4086608 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=13976100 CPUtime=3285.45 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 97425 0 0 0 328459 86 0 0 20 0 20 0 140288790 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=5476 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=13976100 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 1614 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=12712 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 3494025 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 3394.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13976100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/318 705323
/proc/meminfo: memFree=95525060/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=13976136 CPUtime=3454.8 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 277848 0 0 0 344981 499 0 0 20 0 20 0 140288789 19566772224 3494034 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 3494034 5929 1 0 4086609 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=13976100 CPUtime=3344.49 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 98675 0 0 0 334363 86 0 0 20 0 20 0 140288790 19566772224 3494034 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=5476 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 3494034 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=13976136 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 1614 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 3494034 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=-8887684996942701244 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 3494034 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 3454.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13976136 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/318 705333
/proc/meminfo: memFree=95424044/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=13976152 CPUtime=3515.4 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 283860 0 0 0 351038 502 0 0 20 0 20 0 140288789 19566772224 3494038 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 3494038 5929 1 0 4086612 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=13976100 CPUtime=3403.62 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 100555 0 0 0 340275 87 0 0 20 0 20 0 140288790 19566772224 3494038 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=13976152 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 3494038 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=13976152 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 1756 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 3494038 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 3494038 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 3515.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13976152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/318 705343
/proc/meminfo: memFree=95360028/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=13976196 CPUtime=3575.3 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 285447 0 0 0 357025 505 0 0 20 0 20 0 140288789 19566772224 3494049 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 3494049 5929 1 0 4086626 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=13976152 CPUtime=3463.46 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 102137 0 0 0 346259 87 0 0 20 0 20 0 140288790 19566772224 3494049 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=13976152 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 3494049 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=13976196 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 1757 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 3494049 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=-8887684996942701244 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 3494049 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 3575.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13976196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3546.4 s]
/proc/loadavg: 4.20 4.16 4.16 5/318 705347
/proc/meminfo: memFree=95108808/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19108176 memory=13976224 CPUtime=3600 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 286288 0 0 0 359495 505 0 0 20 0 20 0 140288789 19566772224 3494056 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4777044 3494056 5929 1 0 4086630 0
[pid=702470/tid=702473] ppid=702464 vsize=19108176 memory=31984 CPUtime=3486.82 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 102319 0 0 0 348595 87 0 0 20 0 20 0 140288790 19566772224 3494056 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19108176 memory=13976224 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140288796 19566772224 3494056 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19108176 memory=2164 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 1757 0 0 0 0 0 0 0 20 0 20 0 140288797 19566772224 3494056 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702524] ppid=702464 vsize=19108176 memory=-8887684996942701244 CPUtime=0 cores=1,3
/proc/702470/task/702524/stat : 702524 (Timer-0) S 702464 702470 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140288847 19566772224 3494056 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13976224 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3546.72 s]
# the end of solver process 702470 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3595.49 s, system=5.10236 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3546.6 s]
/proc/loadavg: 4.20 4.16 4.16 5/318 705347
/proc/meminfo: memFree=95108808/131655788 swapFree=131071996/131071996
[pid=702470] ppid=702464 vsize=19307868 memory=13976952 CPUtime=3600.4 cores=1,3
/proc/702470/stat : 702470 (java) S 702464 702470 698245 0 -1 1077936128 289473 0 0 0 359534 506 0 0 20 0 21 0 140288789 19771256832 3494238 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
/proc/702470/statm: 4826967 3494238 5928 1 0 4087553 0
[pid=702470/tid=702473] ppid=702464 vsize=19307868 memory=20409 CPUtime=3487.03 cores=1,3
/proc/702470/task/702473/stat : 702473 (java) R 702464 702470 698245 0 -1 4194368 103119 0 0 0 348616 87 0 0 20 0 21 0 140288790 19771256832 3494238 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702513] ppid=702464 vsize=19307868 memory=13976224 CPUtime=0 cores=1,3
/proc/702470/task/702513/stat : 702513 (Finalizer) S 702464 702470 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140288796 19771256832 3494238 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
[pid=702470/tid=702520] ppid=702464 vsize=19307868 memory=1900 CPUtime=0 cores=1,3
/proc/702470/task/702520/stat : 702520 (Common-Cleaner) S 702464 702470 698245 0 -1 1077936192 1757 0 0 0 0 0 0 0 20 0 21 0 140288797 19771256832 3494238 134679101440 94853814411264 94853814414960 140735854983760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94853814422776 94853814423568 94853832818688 140735854990317 140735854990407 140735854990407 140735854997448 0
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13976952 KiB

[startup+3546.7 s]*
/proc/loadavg: 4.20 4.16 4.16 6/300 705350
/proc/meminfo: memFree=99988228/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3546.72
CPU time (s): 3600.59
CPU user time (s): 3595.49
CPU system time (s): 5.10236
CPU usage (%): 101.519
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13976952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.49
system time used= 5.10236
maximum resident set size= 13978088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110062
involuntary context switches= 6565


# summary of solver processes directly reported to runsolver:
#   pid: 702470
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3595.49
#   total CPU system time (s): 5.10236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2817 second user time and 38.6679 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-13 16:35:42
IDJOB=4424854
IDBENCH=143518
IDSOLVER=3037
FILE ID=nodeC004/4424854-1720881329
RUNJOBID= nodeC004-1720881342-702391
SLURM_JOB_ID= 7483752
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-85-80--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424854-1720881329/watcher-4424854-1720881329 -o /tmp/evaluation-result-4424854-1720881329/solver-4424854-1720881329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702391 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424854-1720881329.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 90805506c3ef3a167cca93afc34c9333
RANDOM SEED=1714481271

nodeC004.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		: 3492.689
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 1197.312
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.37
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.307
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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.313
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.37
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.367
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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.336
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.37
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.309
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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.309
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        130067752 kB
MemAvailable:   129964012 kB
Buffers:          322644 kB
Cached:           423304 kB
SwapCached:            0 kB
Active:           477016 kB
Inactive:         613912 kB
Active(anon):       3240 kB
Inactive(anon):   379460 kB
Active(file):     473776 kB
Inactive(file):   234452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2976 kB
Writeback:             0 kB
AnonPages:        338108 kB
Mapped:           101168 kB
Shmem:             37700 kB
KReclaimable:      56464 kB
Slab:             145644 kB
SReclaimable:      56464 kB
SUnreclaim:        89180 kB
KernelStack:        3824 kB
PageTables:         9776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     657380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45920 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      166728 kB
DirectMap2M:     7077888 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC004 at 2024-07-13 17:34:49