Trace number 4447124

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-07SAT 979.376 973.994

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K106.opb
MD5SUM24ba6b7b7d8e9ae68244a11b7fe894d2
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.797123
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7208
Total number of constraints7422
Number of constraints which are clauses7316
Number of constraints which are cardinality constraints (but not clauses)106
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint106
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 107
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

Solver Data 

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

Verifier Data 

OK	0

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: 63968 MiB (48825 MiB free)
  memory of node 1: 64473 MiB (62908 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447124-1721348280/watcher-4447124-1721348280 -o /tmp/evaluation-result-4447124-1721348280/solver-4447124-1721348280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984137 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447124-1721348280.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=988350, runsolver pid=988347

[startup+0.100293 s]*
/proc/loadavg: 4.17 4.19 4.18 7/328 988368
/proc/meminfo: memFree=114370624/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=18975048 memory=62412 CPUtime=0.12 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 7171 0 0 0 10 2 0 0 20 0 18 0 186998837 19430449152 15603 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4743762 15603 5553 1 0 549299 0
[pid=988350/tid=988352] ppid=988347 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) S 988347 988350 984125 0 -1 1077936192 5727 0 0 0 6 1 0 0 20 0 18 0 186998838 19430449152 15603 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186998840 19430449152 15603 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=18975048 memory=14971178779437607 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186998841 19430449152 15603 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62412 KiB

[startup+0.211346 s]*
/proc/loadavg: 4.17 4.19 4.18 7/328 988368
/proc/meminfo: memFree=114355004/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=18975048 memory=75048 CPUtime=0.33 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 8213 0 0 0 30 3 0 0 20 0 18 0 186998837 19430449152 18762 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4743762 18762 5829 1 0 550064 0
[pid=988350/tid=988352] ppid=988347 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) D 988347 988350 984125 0 -1 4194368 5901 0 0 0 16 1 0 0 20 0 18 0 186998838 19430449152 18762 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=18975048 memory=15997 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186998840 19430449152 18762 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186998841 19430449152 18762 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75048 KiB

[startup+0.305687 s]*
/proc/loadavg: 4.17 4.19 4.18 9/329 988369
/proc/meminfo: memFree=114324880/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19041612 memory=104932 CPUtime=0.51 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 9322 0 0 0 48 3 0 0 20 0 19 0 186998837 19498610688 26233 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4760403 26233 5829 1 0 551012 0
[pid=988350/tid=988352] ppid=988347 vsize=19041612 memory=-8672076238389813948 CPUtime=0.27 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 5983 0 0 0 25 2 0 0 20 0 19 0 186998838 19498610688 26233 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186998840 19498610688 26233 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186998841 19498610688 26233 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186998867 19498610688 26233 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104932 KiB

[startup+0.701228 s]
/proc/loadavg: 4.17 4.19 4.18 8/329 988369
/proc/meminfo: memFree=114304036/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19041612 memory=124116 CPUtime=1.27 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 15136 0 0 0 124 3 0 0 20 0 19 0 186998837 19498610688 31029 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4760403 31029 5845 1 0 555157 0
[pid=988350/tid=988352] ppid=988347 vsize=19041612 memory=13184 CPUtime=0.65 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 5995 0 0 0 63 2 0 0 20 0 19 0 186998838 19498610688 31029 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19041612 memory=13184 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186998840 19498610688 31029 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186998841 19498610688 31029 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19041612 memory=32812 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186998867 19498610688 31029 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 124116 KiB

[startup+1.50025 s]
/proc/loadavg: 4.32 4.22 4.19 8/329 988369
/proc/meminfo: memFree=114288124/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19041612 memory=141428 CPUtime=2.79 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 21379 0 0 0 275 4 0 0 20 0 19 0 186998837 19498610688 35357 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4760403 35357 5845 1 0 555225 0
[pid=988350/tid=988352] ppid=988347 vsize=19041612 memory=13184 CPUtime=1.43 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 7028 0 0 0 141 2 0 0 20 0 19 0 186998838 19498610688 35357 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186998840 19498610688 35357 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186998841 19498610688 35357 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186998867 19498610688 35357 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 141428 KiB

[startup+3.10581 s]
/proc/loadavg: 4.32 4.22 4.19 6/331 988372
/proc/meminfo: memFree=114204776/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19041612 memory=177172 CPUtime=4.84 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 23182 0 0 0 479 5 0 0 20 0 19 0 186998837 19498610688 44293 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4760403 44293 5845 1 0 555934 0
[pid=988350/tid=988352] ppid=988347 vsize=19041612 memory=0 CPUtime=3.04 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 7357 0 0 0 301 3 0 0 20 0 19 0 186998838 19498610688 44293 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186998840 19498610688 44293 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19041612 memory=147572 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186998841 19498610688 44293 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19041612 memory=13184 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186998867 19498610688 44293 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 177172 KiB

[startup+6.30025 s]
/proc/loadavg: 4.37 4.24 4.19 6/330 988438
/proc/meminfo: memFree=119144000/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=179340 CPUtime=8.26 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 25137 0 0 0 820 6 0 0 20 0 20 0 186998837 19566772224 44835 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 44835 5877 1 0 556223 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=13184 CPUtime=6.21 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 7445 0 0 0 618 3 0 0 20 0 20 0 186998838 19566772224 44835 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 44835 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=8514726395715219830 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 44835 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=11588 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 44835 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 8.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179340 KiB

[startup+12.7003 s]
/proc/loadavg: 4.51 4.27 4.20 6/330 988507
/proc/meminfo: memFree=128073704/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=206616 CPUtime=14.65 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 29663 0 0 0 1458 7 0 0 20 0 20 0 186998837 19566772224 51654 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 51654 5922 1 0 556223 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=186112 CPUtime=12.52 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 8640 0 0 0 1249 3 0 0 20 0 20 0 186998838 19566772224 51654 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 51654 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=43852 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 51654 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 51654 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 14.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 206616 KiB

[startup+25.5003 s]
/proc/loadavg: 4.43 4.26 4.20 5/331 988510
/proc/meminfo: memFree=127547080/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=333736 CPUtime=27.57 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 34182 0 0 0 2747 10 0 0 20 0 20 0 186998837 19566772224 83434 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 83434 5922 1 0 556223 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=186112 CPUtime=25.15 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 9888 0 0 0 2512 3 0 0 20 0 20 0 186998838 19566772224 83434 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 83434 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=333736 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 83434 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=43852 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 83434 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 27.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 333736 KiB

[startup+51.1058 s]
/proc/loadavg: 4.66 4.33 4.23 7/331 988581
/proc/meminfo: memFree=126655224/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=694300 CPUtime=53.37 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 38613 0 0 0 5318 19 0 0 20 0 20 0 186998837 19566772224 173575 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 173575 5922 1 0 556223 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=555036 CPUtime=50.27 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 11547 0 0 0 5024 3 0 0 20 0 20 0 186998838 19566772224 173575 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0

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

/proc/loadavg: 4.31 4.23 4.19 5/334 989884
/proc/meminfo: memFree=121683956/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=3020060 CPUtime=952.47 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 121264 0 0 0 95148 99 0 0 20 0 20 0 186998837 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 755015 5922 1 0 914088 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=13184 CPUtime=937.1 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 43280 0 0 0 93691 19 0 0 20 0 20 0 186998838 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=3020060 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 781 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=32812 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 952.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3020060 KiB

[startup+960 s]*
/proc/loadavg: 4.27 4.22 4.19 5/334 989889
/proc/meminfo: memFree=121467480/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=3020060 CPUtime=965.23 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 121718 0 0 0 96424 99 0 0 20 0 20 0 186998837 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 755015 5922 1 0 914088 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=-8887962043673780924 CPUtime=949.86 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 43734 0 0 0 94967 19 0 0 20 0 20 0 186998838 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 781 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=2164 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 965.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3020060 KiB

[startup+966.4 s]
/proc/loadavg: 4.22 4.22 4.19 5/334 989889
/proc/meminfo: memFree=121436676/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=3020060 CPUtime=971.62 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 121854 0 0 0 97062 100 0 0 20 0 20 0 186998837 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 755015 5922 1 0 914088 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=3020060 CPUtime=956.23 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 43825 0 0 0 95604 19 0 0 20 0 20 0 186998838 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=7336 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=43852 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 824 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=13184 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 755015 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 971.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3020060 KiB

[startup+969.6 s]
/proc/loadavg: 4.22 4.22 4.19 5/334 989889
/proc/meminfo: memFree=121428500/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=3028252 CPUtime=974.97 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 122220 0 0 0 97397 100 0 0 20 0 20 0 186998837 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 757063 5922 1 0 914088 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=-8672076238389813948 CPUtime=959.24 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 43825 0 0 0 95905 19 0 0 20 0 20 0 186998838 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=1900 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=3020060 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 824 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=3019964 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 974.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3028252 KiB

[startup+971.2 s]
/proc/loadavg: 4.21 4.21 4.19 5/334 989891
/proc/meminfo: memFree=121422160/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=3028252 CPUtime=976.56 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 122220 0 0 0 97556 100 0 0 20 0 20 0 186998837 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 757063 5922 1 0 914088 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=-8672076238389813948 CPUtime=960.82 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 43825 0 0 0 96063 19 0 0 20 0 20 0 186998838 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=13184 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 824 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 976.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3028252 KiB

[startup+972.8 s]
/proc/loadavg: 4.21 4.21 4.19 5/334 989891
/proc/meminfo: memFree=121348180/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=3028252 CPUtime=978.15 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 122291 0 0 0 97715 100 0 0 20 0 20 0 186998837 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 757063 5922 1 0 914088 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=19660 CPUtime=962.41 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 43896 0 0 0 96222 19 0 0 20 0 20 0 186998838 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=13184 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 824 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=2164 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 978.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3028252 KiB

[startup+973.6 s]
/proc/loadavg: 4.21 4.21 4.19 5/334 989891
/proc/meminfo: memFree=121335892/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=3028252 CPUtime=978.94 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 122291 0 0 0 97794 100 0 0 20 0 20 0 186998837 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 757063 5922 1 0 914088 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=13184 CPUtime=963.2 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 43896 0 0 0 96301 19 0 0 20 0 20 0 186998838 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=5472 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=2612 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 824 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=2164 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 978.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3028252 KiB

[startup+973.8 s]
/proc/loadavg: 4.21 4.21 4.19 5/334 989891
/proc/meminfo: memFree=121335892/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19108176 memory=3028252 CPUtime=979.13 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 122291 0 0 0 97813 100 0 0 20 0 20 0 186998837 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4777044 757063 5922 1 0 914088 0
[pid=988350/tid=988352] ppid=988347 vsize=19108176 memory=1900 CPUtime=963.4 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) R 988347 988350 984125 0 -1 4194368 43896 0 0 0 96321 19 0 0 20 0 20 0 186998838 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19108176 memory=1976 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19108176 memory=104 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 824 0 0 0 0 0 0 0 20 0 20 0 186998841 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988369] ppid=988347 vsize=19108176 memory=26044 CPUtime=0 cores=1,3
/proc/988350/task/988369/stat : 988369 (Timer-0) S 988347 988350 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998867 19566772224 757063 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 979.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3028252 KiB

[startup+973.9 s]
/proc/loadavg: 4.21 4.21 4.19 5/334 989891
/proc/meminfo: memFree=121335892/131524600 swapFree=131071996/131071996
[pid=988350] ppid=988347 vsize=19241304 memory=3028760 CPUtime=979.26 cores=1,3
/proc/988350/stat : 988350 (java) S 988347 988350 984125 0 -1 1077936128 124815 0 0 0 97825 101 0 0 20 0 20 0 186998837 19703095296 757190 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
/proc/988350/statm: 4810326 757190 5921 1 0 914717 0
[pid=988350/tid=988352] ppid=988347 vsize=19241304 memory=3020060 CPUtime=963.47 cores=1,3
/proc/988350/task/988352/stat : 988352 (java) S 988347 988350 984125 0 -1 1077936192 45469 0 0 0 96328 19 0 0 20 0 20 0 186998838 19703095296 757190 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988361] ppid=988347 vsize=19241304 memory=3020060 CPUtime=0 cores=1,3
/proc/988350/task/988361/stat : 988361 (Finalizer) S 988347 988350 984125 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186998840 19703095296 757190 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
[pid=988350/tid=988368] ppid=988347 vsize=19241304 memory=3020060 CPUtime=0 cores=1,3
/proc/988350/task/988368/stat : 988368 (Common-Cleaner) S 988347 988350 984125 0 -1 1077936192 824 0 0 0 0 0 0 0 20 0 20 0 186998841 19703095296 757190 134679101440 94118564823040 94118564826736 140722614672048 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94118564834552 94118564835344 94118573498368 140722614674438 140722614674528 140722614674528 140722614681544 0
Current children cumulated CPU time: 979.26 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 3028760 KiB

Child status: 10

Real time (s): 973.994
CPU time (s): 979.376
CPU user time (s): 978.351
CPU system time (s): 1.02416
CPU usage (%): 100.553
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 3028760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 978.351
system time used= 1.02416
maximum resident set size= 3029776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31438
involuntary context switches= 3457


# summary of solver processes directly reported to runsolver:
#   pid: 988350
#   total CPU time (s): 979.376
#   total CPU user time (s): 978.351
#   total CPU system time (s): 1.02416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13977 second user time and 4.78407 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-19 02:18:12
IDJOB=4447124
IDBENCH=158362
IDSOLVER=3058
FILE ID=nodeC035/4447124-1721348280
RUNJOBID= nodeC035-1721341105-984137
SLURM_JOB_ID= 7542728
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447124-1721348280/watcher-4447124-1721348280 -o /tmp/evaluation-result-4447124-1721348280/solver-4447124-1721348280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984137 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4447124-1721348280.opb

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

MD5SUM BENCH= 24ba6b7b7d8e9ae68244a11b7fe894d2
RANDOM SEED=658942233

nodeC035.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	: 0xb00002a
cpu MHz		: 3675.730
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.869
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.898
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.843
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3675.699
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.077
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.838
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.077
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114415844 kB
MemAvailable:   115417704 kB
Buffers:          491904 kB
Cached:          1342808 kB
SwapCached:            0 kB
Active:           957728 kB
Inactive:       15504516 kB
Active(anon):       1560 kB
Inactive(anon): 14663700 kB
Active(file):     956168 kB
Inactive(file):   840816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3152 kB
Writeback:             0 kB
AnonPages:      14627616 kB
Mapped:           127120 kB
Shmem:             37724 kB
KReclaimable:      89396 kB
Slab:             200536 kB
SReclaimable:      89396 kB
SUnreclaim:       111140 kB
KernelStack:        4956 kB
PageTables:        38304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   20644016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70528 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14352384 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC035 at 2024-07-19 02:34:26