Trace number 4447094

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 895.431 889.956

General information on the benchmark

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

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 (55328 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100893 s]*
/proc/loadavg: 4.17 4.19 4.18 5/308 988304
/proc/meminfo: memFree=114469368/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=18975048 memory=63288 CPUtime=0.13 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 7207 0 0 0 11 2 0 0 20 0 18 0 186998792 19430449152 15822 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4743762 15822 5666 1 0 549320 0
[pid=988286/tid=988288] ppid=988283 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 5741 0 0 0 7 2 0 0 20 0 18 0 186998793 19430449152 15822 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=18975048 memory=15997 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186998795 19430449152 15822 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186998796 19430449152 15822 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63288 KiB

[startup+0.212885 s]*
/proc/loadavg: 4.17 4.19 4.18 6/307 988318
/proc/meminfo: memFree=114452076/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=18975048 memory=84056 CPUtime=0.34 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 8795 0 0 0 31 3 0 0 20 0 18 0 186998792 19430449152 21014 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4743762 21014 5808 1 0 550346 0
[pid=988286/tid=988288] ppid=988283 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 5910 0 0 0 16 2 0 0 20 0 18 0 186998793 19430449152 21014 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=18975048 memory=15997 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186998795 19430449152 21014 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=18975048 memory=14689703802701563 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186998796 19430449152 21014 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84056 KiB

[startup+0.305547 s]*
/proc/loadavg: 4.17 4.19 4.18 7/307 988321
/proc/meminfo: memFree=114427048/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19041612 memory=107772 CPUtime=0.5 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 10218 0 0 0 47 3 0 0 20 0 19 0 186998792 19498610688 26943 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4760403 26943 5808 1 0 551713 0
[pid=988286/tid=988288] ppid=988283 vsize=19041612 memory=-9177042346608730812 CPUtime=0.26 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 5984 0 0 0 24 2 0 0 20 0 19 0 186998793 19498610688 26943 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186998795 19498610688 26943 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186998796 19498610688 26943 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186998819 19498610688 26943 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 107772 KiB

[startup+0.700856 s]
/proc/loadavg: 4.17 4.19 4.18 8/328 988368
/proc/meminfo: memFree=114377296/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19041612 memory=125928 CPUtime=1.28 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 15371 0 0 0 123 5 0 0 20 0 19 0 186998792 19498610688 31482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4760403 31482 5808 1 0 555194 0
[pid=988286/tid=988288] ppid=988283 vsize=19041612 memory=13184 CPUtime=0.65 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 5992 0 0 0 62 3 0 0 20 0 19 0 186998793 19498610688 31482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19041612 memory=13184 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186998795 19498610688 31482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19041612 memory=280004219171792 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186998796 19498610688 31482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19041612 memory=32812 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186998819 19498610688 31482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 125928 KiB

[startup+1.50027 s]
/proc/loadavg: 4.17 4.19 4.18 8/329 988369
/proc/meminfo: memFree=114301960/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19041612 memory=139376 CPUtime=2.82 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 21544 0 0 0 277 5 0 0 20 0 19 0 186998792 19498610688 34844 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4760403 34844 5840 1 0 555260 0
[pid=988286/tid=988288] ppid=988283 vsize=19041612 memory=13184 CPUtime=1.44 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 7127 0 0 0 141 3 0 0 20 0 19 0 186998793 19498610688 34844 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19041612 memory=32812 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186998795 19498610688 34844 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186998796 19498610688 34844 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186998819 19498610688 34844 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 139376 KiB

[startup+3.1055 s]
/proc/loadavg: 4.32 4.22 4.19 6/329 988369
/proc/meminfo: memFree=114219476/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19041612 memory=169136 CPUtime=4.98 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 24460 0 0 0 492 6 0 0 20 0 19 0 186998792 19498610688 42284 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4760403 42284 5840 1 0 555970 0
[pid=988286/tid=988288] ppid=988283 vsize=19041612 memory=0 CPUtime=3.04 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 7492 0 0 0 301 3 0 0 20 0 19 0 186998793 19498610688 42284 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19041612 memory=13184 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186998795 19498610688 42284 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19041612 memory=11588 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186998796 19498610688 42284 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186998819 19498610688 42284 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 169136 KiB

[startup+6.30024 s]
/proc/loadavg: 4.32 4.22 4.19 6/330 988438
/proc/meminfo: memFree=119150200/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=188752 CPUtime=8.19 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 25614 0 0 0 813 6 0 0 20 0 20 0 186998792 19566772224 47188 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 47188 5872 1 0 556259 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=13184 CPUtime=6.21 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 7579 0 0 0 618 3 0 0 20 0 20 0 186998793 19566772224 47188 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 47188 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 47188 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=62883555967033 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 47188 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 8.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188752 KiB

[startup+12.7003 s]
/proc/loadavg: 4.51 4.27 4.20 7/330 988507
/proc/meminfo: memFree=128119028/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=195364 CPUtime=14.59 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 28723 0 0 0 1452 7 0 0 20 0 20 0 186998792 19566772224 48841 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 48841 5892 1 0 556259 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=0 CPUtime=12.57 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 8808 0 0 0 1254 3 0 0 20 0 20 0 186998793 19566772224 48841 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=43852 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 48841 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=164 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 48841 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=188772 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 48841 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195364 KiB

[startup+25.5009 s]
/proc/loadavg: 4.43 4.26 4.20 5/331 988510
/proc/meminfo: memFree=127547052/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=408692 CPUtime=27.53 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 33592 0 0 0 2741 12 0 0 20 0 20 0 186998792 19566772224 102173 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 102173 5892 1 0 556259 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=188772 CPUtime=25.08 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 10034 0 0 0 2505 3 0 0 20 0 20 0 186998793 19566772224 102173 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=336916 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 102173 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=336916 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 102173 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=336916 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 102173 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 27.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 408692 KiB

[startup+51.1059 s]
/proc/loadavg: 4.63 4.32 4.22 4/310 988531
/proc/meminfo: memFree=126726012/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=687252 CPUtime=53.23 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 37139 0 0 0 5304 19 0 0 20 0 20 0 186998792 19566772224 171813 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 171813 5892 1 0 556259 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=11588 CPUtime=50.25 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 11617 0 0 0 5022 3 0 0 20 0 20 0 186998793 19566772224 171813 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0

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

/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 865 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 590596 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=2362372 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 590596 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 827.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2362384 KiB

[startup+882.301 s]
/proc/loadavg: 4.22 4.20 4.18 5/335 989741
/proc/meminfo: memFree=120100688/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=2542632 CPUtime=887.76 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 114650 0 0 0 88692 84 0 0 20 0 20 0 186998792 19566772224 635658 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 635658 5892 1 0 667675 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=11588 CPUtime=872.73 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 40381 0 0 0 87260 13 0 0 20 0 20 0 186998793 19566772224 635658 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=2362356 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 635658 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=2362356 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 992 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 635658 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 635658 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 887.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2542632 KiB

[startup+889.956 s]
# the end of solver process 988286 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=894.559 s, system=0.87156 s

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

[startup+883.201 s]
/proc/loadavg: 4.22 4.20 4.18 5/335 989741
/proc/meminfo: memFree=120094544/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=2548776 CPUtime=888.65 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 114653 0 0 0 88781 84 0 0 20 0 20 0 186998792 19566772224 637194 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 637194 5892 1 0 667675 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=5472 CPUtime=873.63 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 40384 0 0 0 87349 14 0 0 20 0 20 0 186998793 19566772224 637194 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 637194 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=11588 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 992 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 637194 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 637194 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 888.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2548776 KiB

[startup+886.4 s]
/proc/loadavg: 4.22 4.20 4.18 5/335 989742
/proc/meminfo: memFree=120010184/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=2569256 CPUtime=891.83 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 114715 0 0 0 89098 85 0 0 20 0 20 0 186998792 19566772224 642314 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 642314 5892 1 0 667675 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=2612 CPUtime=876.79 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 40446 0 0 0 87665 14 0 0 20 0 20 0 186998793 19566772224 642314 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 642314 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 992 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 642314 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=43852 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 642314 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 891.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2569256 KiB

[startup+888 s]*
/proc/loadavg: 4.20 4.19 4.18 5/335 989742
/proc/meminfo: memFree=119977388/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=2581544 CPUtime=893.43 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 114722 0 0 0 89258 85 0 0 20 0 20 0 186998792 19566772224 645386 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 645386 5892 1 0 667675 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=-8601140141917250236 CPUtime=878.39 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 40453 0 0 0 87825 14 0 0 20 0 20 0 186998793 19566772224 645386 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=11496 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 645386 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=11496 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 992 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 645386 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=11496 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 645386 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 893.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2581544 KiB

[startup+888.8 s]
/proc/loadavg: 4.20 4.19 4.18 5/335 989742
/proc/meminfo: memFree=119977388/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=2585640 CPUtime=894.22 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 114724 0 0 0 89337 85 0 0 20 0 20 0 186998792 19566772224 646410 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 646410 5892 1 0 667675 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=2577448 CPUtime=879.18 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 40455 0 0 0 87904 14 0 0 20 0 20 0 186998793 19566772224 646410 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=2164 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 646410 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=32812 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 992 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 646410 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=19660 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 646410 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 894.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2585640 KiB

[startup+889.6 s]
/proc/loadavg: 4.20 4.19 4.18 5/335 989742
/proc/meminfo: memFree=119963024/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=2595880 CPUtime=895.02 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 114729 0 0 0 89417 85 0 0 20 0 20 0 186998792 19566772224 648970 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 648970 5892 1 0 667675 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=43852 CPUtime=879.99 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 40460 0 0 0 87984 15 0 0 20 0 20 0 186998793 19566772224 648970 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=43852 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 648970 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=2501672 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 992 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 648970 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 648970 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 895.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2595880 KiB

[startup+889.8 s]
/proc/loadavg: 4.20 4.19 4.18 5/335 989742
/proc/meminfo: memFree=119963024/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19108176 memory=2597928 CPUtime=895.21 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 114730 0 0 0 89436 85 0 0 20 0 20 0 186998792 19566772224 649482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4777044 649482 5892 1 0 667675 0
[pid=988286/tid=988288] ppid=988283 vsize=19108176 memory=43852 CPUtime=880.19 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) R 988283 988286 984125 0 -1 4194368 40461 0 0 0 88004 15 0 0 20 0 20 0 186998793 19566772224 649482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19108176 memory=13184 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19566772224 649482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19108176 memory=5472 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 992 0 0 0 0 0 0 0 20 0 20 0 186998796 19566772224 649482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988319] ppid=988283 vsize=19108176 memory=2612 CPUtime=0 cores=5,7
/proc/988286/task/988319/stat : 988319 (Timer-0) S 988283 988286 984125 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186998819 19566772224 649482 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 895.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2597928 KiB

[startup+889.901 s]
/proc/loadavg: 4.20 4.19 4.18 5/335 989742
/proc/meminfo: memFree=119963024/131524600 swapFree=131071996/131071996
[pid=988286] ppid=988283 vsize=19241304 memory=2602464 CPUtime=895.34 cores=5,7
/proc/988286/stat : 988286 (java) S 988283 988286 984125 0 -1 1077936128 116717 0 0 0 89449 85 0 0 20 0 20 0 186998792 19703095296 650616 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
/proc/988286/statm: 4810326 650616 5891 1 0 668306 0
[pid=988286/tid=988288] ppid=988283 vsize=19241304 memory=11588 CPUtime=880.23 cores=5,7
/proc/988286/task/988288/stat : 988288 (java) S 988283 988286 984125 0 -1 1077936192 41414 0 0 0 88008 15 0 0 20 0 20 0 186998793 19703095296 650616 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988297] ppid=988283 vsize=19241304 memory=2362356 CPUtime=0 cores=5,7
/proc/988286/task/988297/stat : 988297 (Finalizer) S 988283 988286 984125 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 186998795 19703095296 650616 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
[pid=988286/tid=988304] ppid=988283 vsize=19241304 memory=2362356 CPUtime=0 cores=5,7
/proc/988286/task/988304/stat : 988304 (Common-Cleaner) S 988283 988286 984125 0 -1 1077936192 992 0 0 0 0 0 0 0 20 0 20 0 186998796 19703095296 650616 134679101440 93930726019072 93930726022768 140730842124992 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93930726030584 93930726031376 93930749997056 140730842133510 140730842133600 140730842133600 140730842140616 0
Current children cumulated CPU time: 895.34 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2602464 KiB

Child status: 10

Real time (s): 889.956
CPU time (s): 895.431
CPU user time (s): 894.559
CPU system time (s): 0.87156
CPU usage (%): 100.615
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2602464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 894.559
system time used= 0.87156
maximum resident set size= 2605644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116931
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28959
involuntary context switches= 3135


# summary of solver processes directly reported to runsolver:
#   pid: 988286
#   total CPU time (s): 895.431
#   total CPU user time (s): 894.559
#   total CPU system time (s): 0.87156

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.77194 second user time and 4.43786 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-19 02:18:12
IDJOB=4447094
IDBENCH=158360
IDSOLVER=3058
FILE ID=nodeC035/4447094-1721348280
RUNJOBID= nodeC035-1721341105-984138
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_K107.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447094-1721348280/watcher-4447094-1721348280 -o /tmp/evaluation-result-4447094-1721348280/solver-4447094-1721348280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721341105-984138 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4447094-1721348280.opb

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

MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99
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		: 3667.316
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		: 3634.716
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.944
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		: 3610.988
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		: 3667.317
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		: 3617.715
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.896
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		: 3609.245
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:        106653716 kB
MemAvailable:   107655324 kB
Buffers:          491904 kB
Cached:          1342556 kB
SwapCached:            0 kB
Active:           957632 kB
Inactive:       23251520 kB
Active(anon):       1544 kB
Inactive(anon): 22410876 kB
Active(file):     956088 kB
Inactive(file):   840644 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1420 kB
Writeback:             0 kB
AnonPages:      22374740 kB
Mapped:           126624 kB
Shmem:             37724 kB
KReclaimable:      89396 kB
Slab:             200640 kB
SReclaimable:      89396 kB
SUnreclaim:       111244 kB
KernelStack:        5008 kB
PageTables:        53744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   29086416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70528 kB
HardwareCorrupted:     0 kB
AnonHugePages:  21934080 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:33:02