Trace number 4524659

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 2025-06-06MSAT (TO) 3600.36 3576.16

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
MD5SUM27dacbcdd21377e3b42728cc67725307
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.16922
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables10100
Total number of constraints201
Number of soft constraints201
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Top cost 9959
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 9958
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.10/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.11	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	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.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4524659-1751616355.wbo
0.10/0.15	c reading problem ... 
0.28/0.25	c ... done. Wall clock time 0.105s.
0.28/0.25	c declared #vars     10100
0.28/0.25	c internal #vars     10301
0.28/0.25	c #constraints  202
0.28/0.26	c constraints type 
0.28/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.28/0.26	c org.sat4j.specs.Constr$1 => 1
0.28/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 101
0.28/0.26	c 202 constraints processed.
0.28/0.27	c objective function length is 201 literals
2.15/1.40	c cleaning 2498 clauses out of 5000 with flag 30906/5000
3.88/3.01	c cleaning 4246 clauses out of 8503 with flag 71967/11001
6.83/5.80	c cleaning 5620 clauses out of 11257 with flag 118232/18001
9.99/8.97	c cleaning 6813 clauses out of 13637 with flag 173691/26001
14.45/13.30	c cleaning 7902 clauses out of 15823 with flag 238277/35000
19.86/18.59	c cleaning 8957 clauses out of 17924 with flag 307269/45003
26.44/25.06	c cleaning 9974 clauses out of 19966 with flag 381943/56002
34.49/32.90	c cleaning 10992 clauses out of 21991 with flag 462274/68001
45.56/43.80	c cleaning 11992 clauses out of 23998 with flag 551656/81000
57.74/55.88	c cleaning 12996 clauses out of 26006 with flag 638942/95000
70.39/67.98	c cleaning 13999 clauses out of 28010 with flag 726919/110000
85.43/82.81	c cleaning 15000 clauses out of 30011 with flag 826160/126000
97.87/95.03	c cleaning 15994 clauses out of 32011 with flag 947445/143000
111.37/108.42	c cleaning 16997 clauses out of 34018 with flag 1084480/161001
126.95/123.11	c cleaning 18004 clauses out of 36020 with flag 1222118/180000
144.18/140.31	c cleaning 19001 clauses out of 38016 with flag 1368731/200000
167.29/163.13	c cleaning 19997 clauses out of 40016 with flag 1529039/221001
201.30/197.01	c cleaning 21002 clauses out of 42018 with flag 1722290/243000
233.10/228.54	c cleaning 22002 clauses out of 44016 with flag 1913684/266000
267.21/261.74	c cleaning 23000 clauses out of 46017 with flag 2107342/290003
309.37/303.68	c cleaning 23999 clauses out of 48014 with flag 2307985/315000
347.13/341.13	c cleaning 25002 clauses out of 50017 with flag 2503713/341002
388.11/381.88	c cleaning 25999 clauses out of 52015 with flag 2717341/368002
428.70/421.20	c cleaning 26997 clauses out of 54014 with flag 2948533/396000
476.30/468.44	c cleaning 27997 clauses out of 56018 with flag 3173292/425001
526.05/517.96	c cleaning 29001 clauses out of 58020 with flag 3412278/455000
578.28/569.89	c cleaning 30001 clauses out of 60019 with flag 3662112/486000
642.67/634.00	c cleaning 31002 clauses out of 62019 with flag 3923166/518001
708.25/697.71	c cleaning 31999 clauses out of 64016 with flag 4195828/551000
777.98/767.26	c cleaning 32995 clauses out of 66017 with flag 4482987/585000
847.66/836.57	c cleaning 34005 clauses out of 68022 with flag 4773209/620000
912.89/901.53	c cleaning 34999 clauses out of 70017 with flag 5047541/656000
975.52/963.83	c cleaning 35998 clauses out of 72018 with flag 5301698/693000
1035.82/1023.78	c cleaning 37005 clauses out of 74020 with flag 5558499/731000
1095.19/1082.83	c cleaning 38001 clauses out of 76015 with flag 5820130/770000
1184.42/1170.29	c cleaning 38999 clauses out of 78014 with flag 6108289/810000
1255.32/1240.83	c cleaning 39996 clauses out of 80015 with flag 6387906/851000
1324.65/1309.87	c cleaning 41003 clauses out of 82020 with flag 6657706/893001
1403.46/1388.41	c cleaning 41998 clauses out of 84016 with flag 6954896/936000
1500.25/1485.09	c cleaning 43001 clauses out of 86019 with flag 7248236/980001
1583.45/1568.10	c cleaning 43997 clauses out of 88017 with flag 7564267/1025000
1659.62/1643.88	c cleaning 45003 clauses out of 90021 with flag 7879618/1071001
1758.57/1742.52	c cleaning 46000 clauses out of 92019 with flag 8207299/1118002
1846.24/1829.96	c cleaning 47001 clauses out of 94020 with flag 8529483/1166003
1950.93/1934.02	c cleaning 48001 clauses out of 96016 with flag 8871283/1215000
2051.00/2032.08	c cleaning 49001 clauses out of 98018 with flag 9211276/1265003
2168.80/2149.36	c cleaning 50000 clauses out of 100016 with flag 9565664/1316002
2284.92/2265.32	c cleaning 50998 clauses out of 102014 with flag 9930125/1368000
2395.91/2375.90	c cleaning 52001 clauses out of 104017 with flag 10293116/1421001
2514.40/2493.94	c cleaning 53003 clauses out of 106017 with flag 10661837/1475002
2647.35/2626.81	c cleaning 53995 clauses out of 108012 with flag 11035646/1530000
2759.46/2738.60	c cleaning 54998 clauses out of 110021 with flag 11407052/1586004
2916.29/2895.17	c cleaning 56003 clauses out of 112019 with flag 11853919/1643000
3058.09/3036.56	c cleaning 57004 clauses out of 114019 with flag 12283823/1701003
3170.57/3149.07	c SATISFIABLE
3170.57/3149.07	c OPTIMIZING...
3170.57/3149.07	c Got one! Elapsed wall clock time (in seconds):3148.925
3170.57/3149.07	o 42
3181.56/3159.32	c cleaning 56627 clauses out of 113264 with flag 28021/1757252
3187.85/3165.66	c cleaning 31317 clauses out of 62637 with flag 66292/1763252
3194.09/3171.84	c cleaning 19158 clauses out of 38321 with flag 109046/1770253
3199.23/3176.94	c cleaning 13577 clauses out of 27162 with flag 159847/1778252
3205.69/3183.27	c cleaning 11287 clauses out of 22586 with flag 223296/1787253
3211.38/3188.94	c cleaning 10640 clauses out of 21299 with flag 295776/1797253
3217.36/3194.93	c cleaning 10826 clauses out of 21661 with flag 377586/1808255
3224.15/3201.73	c cleaning 11408 clauses out of 22832 with flag 472672/1820252
3231.89/3209.44	c cleaning 12205 clauses out of 24424 with flag 566523/1833252
3241.37/3218.98	c cleaning 13107 clauses out of 26224 with flag 670312/1847257
3253.30/3230.73	c cleaning 14046 clauses out of 28112 with flag 779260/1862252
3265.97/3243.41	c cleaning 15028 clauses out of 30067 with flag 899505/1878253
3280.99/3258.37	c cleaning 16011 clauses out of 32038 with flag 1032687/1895252
3297.94/3275.32	c cleaning 17006 clauses out of 34030 with flag 1184907/1913255
3316.88/3294.22	c cleaning 18003 clauses out of 36021 with flag 1335603/1932252
3340.43/3317.63	c cleaning 19001 clauses out of 38019 with flag 1490271/1952253
3360.93/3337.91	c cleaning 19997 clauses out of 40019 with flag 1654522/1973254
3385.37/3362.44	c cleaning 21003 clauses out of 42020 with flag 1833581/1995252
3409.23/3386.36	c cleaning 22002 clauses out of 44018 with flag 2005723/2018253
3438.42/3415.48	c cleaning 23002 clauses out of 46015 with flag 2183458/2042252
3467.58/3444.45	c cleaning 24000 clauses out of 48014 with flag 2371677/2067253
3501.25/3477.92	c cleaning 25001 clauses out of 50013 with flag 2590442/2093252
3534.80/3511.38	c cleaning 25999 clauses out of 52012 with flag 2809431/2120252
3567.98/3544.21	c cleaning 26999 clauses out of 54013 with flag 3037176/2148252
3600.09/3576.01	c starts		: 3
3600.09/3576.03	c conflicts		: 2173836
3600.09/3576.03	c decisions		: 2403147
3600.09/3576.03	c propagations		: 23893966
3600.09/3576.03	c inspects		: 10170121901
3600.09/3576.03	c shortcuts		: 0
3600.09/3576.03	c learnt literals	: 0
3600.09/3576.03	c learnt binary clauses	: 0
3600.09/3576.03	c learnt ternary clauses	: 0
3600.09/3576.03	c learnt constraints	: 2173836
3600.09/3576.03	c ignored constraints	: 0
3600.09/3576.03	c root simplifications	: 0
3600.09/3576.03	c removed literals (reason simplification)	: 1149073
3600.09/3576.03	c reason swapping (by a shorter reason)	: 0
3600.09/3576.03	c Calls to reduceDB	: 78
3600.09/3576.03	c Number of update (reduction) of LBD	: 1058942
3600.09/3576.03	c Imported unit clauses	: 0
3600.09/3576.03	c No decision after first conflict	: false
3600.09/3576.03	c number of reductions to clauses (during analyze)	: 0
3600.09/3576.03	c number of learned constraints concerned by reduction	: 0
3600.09/3576.03	c number of learning phase by resolution	: 0
3600.09/3576.03	c number of learning phase by cutting planes	: 0
3600.09/3576.03	c number of rounding to 1 operations	: 0
3600.09/3576.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3576.03	c number of reductions of the coefficients by power 2 	: 0
3600.09/3576.03	c number of right shift for reduction by power 2 	: 0
3600.09/3576.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3576.03	c number of ending skipping 	: 0
3600.09/3576.03	c number of internal skipping 	: 0
3600.09/3576.04	c number of derivation steps 	: 0
3600.09/3576.04	c number of skipped derivation steps 	: 0
3600.09/3576.04	c number of remaining unassigned 	: 0
3600.09/3576.04	c number of remaining assigned 	: 0
3600.09/3576.04	c number of falsified literals weakened from reason	: 0
3600.09/3576.04	c number of falsified literals weakened from conflict	: 0
3600.09/3576.04	c time for arithmetic operations	: 0
3600.09/3576.04	c minimum degree of deleted constraints	: null
3600.09/3576.04	c maximum degree of deleted constraints	: null
3600.09/3576.05	c number of deleted constraints	: 0
3600.09/3576.05	c speed (assignments/second)	: 6682.19321896533
3600.09/3576.05	c non guided choices	: 15690
3600.09/3576.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 52598
3600.09/3576.09	s SATISFIABLE
3600.09/3576.09	c Found 1 solution(s)
3600.30/3576.11	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 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 
3600.30/3576.12	c objective function=42
3600.30/3576.12	c Total wall clock time (in seconds): 3575.971

Verifier Data

OK	42

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: 63665 MiB (62511 MiB free)
  memory of node 1: 64507 MiB (63802 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524659-1751616355/watcher-4524659-1751616355 -o /tmp/evaluation-result-4524659-1751616355/solver-4524659-1751616355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751616355-87892 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524659-1751616355.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 1.06 1.08 1.18 6/332 88019
/proc/meminfo: memFree=129271540/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=18930384 memory=54696 CPUtime=0.1 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 6241 0 71 0 8 2 0 0 20 0 18 0 77315360 19384713216 13674 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4732596 13674 5353 1 0 547455 0
[pid=87942/tid=87945] ppid=87933 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 4899 0 71 0 5 1 0 0 20 0 18 0 77315362 19384713216 13674 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77315364 19384713216 13674 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77315365 19384713216 13674 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54696 KiB

[startup+0.204945 s]*
/proc/loadavg: 1.06 1.08 1.18 12/333 88020
/proc/meminfo: memFree=129231948/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=18930384 memory=65088 CPUtime=0.28 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 6752 0 71 0 26 2 0 0 20 0 18 0 77315360 19384713216 16272 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4732596 16272 5417 1 0 547891 0
[pid=87942/tid=87945] ppid=87933 vsize=18930384 memory=4026794268 CPUtime=0.14 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 5185 0 71 0 13 1 0 0 20 0 18 0 77315362 19384713216 16272 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77315364 19384713216 16272 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77315365 19384713216 16272 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65088 KiB

[startup+0.304922 s]*
/proc/loadavg: 1.06 1.08 1.18 13/336 88023
/proc/meminfo: memFree=129191780/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=18996948 memory=84444 CPUtime=0.47 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 8395 0 71 0 44 3 0 0 20 0 19 0 77315360 19452874752 21111 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4749237 21111 5449 1 0 549325 0
[pid=87942/tid=87945] ppid=87933 vsize=18996948 memory=-6000919485624706407 CPUtime=0.22 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 5310 0 71 0 20 2 0 0 20 0 19 0 77315362 19452874752 21111 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77315364 19452874752 21111 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77315365 19452874752 21111 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77315388 19452874752 21111 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84444 KiB

[startup+0.700211 s]
/proc/loadavg: 1.06 1.08 1.18 10/336 88023
/proc/meminfo: memFree=129151960/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=18996948 memory=109008 CPUtime=1.24 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 9865 0 71 0 121 3 0 0 20 0 19 0 77315360 19452874752 27252 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4749237 27252 5481 1 0 550271 0
[pid=87942/tid=87945] ppid=87933 vsize=18996948 memory=18816 CPUtime=0.6 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 5337 0 71 0 58 2 0 0 20 0 19 0 77315362 19452874752 27252 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77315364 19452874752 27252 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77315365 19452874752 27252 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77315388 19452874752 27252 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 109008 KiB

[startup+1.5002 s]
/proc/loadavg: 1.06 1.08 1.18 7/336 88023
/proc/meminfo: memFree=129036832/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=18996948 memory=161692 CPUtime=2.31 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 15470 0 71 0 226 5 0 0 20 0 19 0 77315360 19452874752 40423 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4749237 40423 5481 1 0 551631 0
[pid=87942/tid=87945] ppid=87933 vsize=18996948 memory=10880 CPUtime=1.38 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 6529 0 71 0 135 3 0 0 20 0 19 0 77315362 19452874752 40423 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77315364 19452874752 40423 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77315365 19452874752 40423 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77315388 19452874752 40423 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161692 KiB

[startup+3.10531 s]
/proc/loadavg: 1.37 1.15 1.20 6/339 88026
/proc/meminfo: memFree=128756600/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=203276 CPUtime=3.99 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 16425 0 71 0 393 6 0 0 20 0 20 0 77315360 19521036288 50819 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 50819 5513 1 0 551922 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=10880 CPUtime=2.94 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 6837 0 71 0 291 3 0 0 20 0 20 0 77315362 19521036288 50819 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=-6000919494214640999 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 50819 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 50819 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 50819 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 203276 KiB

[startup+6.30018 s]
/proc/loadavg: 1.37 1.15 1.20 6/339 88026
/proc/meminfo: memFree=128409248/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=355696 CPUtime=7.33 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 17421 0 71 0 723 10 0 0 20 0 20 0 77315360 19521036288 88924 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 88924 5545 1 0 551922 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=0 CPUtime=5.99 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 6932 0 71 0 596 3 0 0 20 0 20 0 77315362 19521036288 88924 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 88924 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 88924 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 88924 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 355696 KiB

[startup+12.7002 s]
/proc/loadavg: 1.78 1.24 1.23 7/340 88027
/proc/meminfo: memFree=127829884/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=590404 CPUtime=13.86 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 20136 0 71 0 1372 14 0 0 20 0 20 0 77315360 19521036288 147601 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 147601 5545 1 0 658431 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=565828 CPUtime=12.24 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 7755 0 71 0 1219 5 0 0 20 0 20 0 77315362 19521036288 147601 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 147601 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 147601 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 147601 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 13.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 590404 KiB

[startup+25.5002 s]
/proc/loadavg: 2.20 1.35 1.27 6/340 88027
/proc/meminfo: memFree=126231240/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=1060688 CPUtime=27.02 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 24315 0 71 0 2679 23 0 0 20 0 20 0 77315360 19521036288 265172 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 265172 5545 1 0 658441 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=958264 CPUtime=24.64 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 8663 0 71 0 2458 6 0 0 20 0 20 0 77315362 19521036288 265172 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=958264 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 265172 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=859216 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 265172 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=-6000919494214640999 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 265172 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 27.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1060688 KiB

[startup+51.1056 s]
/proc/loadavg: 2.97 1.60 1.35 6/340 88028
/proc/meminfo: memFree=123553408/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=1678352 CPUtime=52.95 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 26394 0 71 0 5259 36 0 0 20 0 20 0 77315360 19521036288 419588 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 419588 5545 1 0 785865 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=1169232 CPUtime=49.75 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 9149 0 71 0 4967 8 0 0 20 0 20 0 77315362 19521036288 419588 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0

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

[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.04 6/339 88176
/proc/meminfo: memFree=95392996/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=9538860 CPUtime=3244.76 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 191076 0 71 0 324196 280 0 0 20 0 20 0 77315360 19521036288 2384715 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 2384715 5545 1 0 3141256 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=9181440 CPUtime=3191.46 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 104790 0 71 0 319098 48 0 0 20 0 20 0 77315362 19521036288 2384715 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=9524524 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 2384715 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=9524524 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 1058 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 2384715 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=9538860 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2384715 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3244.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9538860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.04 6/340 88183
/proc/meminfo: memFree=94678144/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=9823532 CPUtime=3305 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 193741 0 71 0 330213 287 0 0 20 0 20 0 77315360 19521036288 2455883 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 2455883 5545 1 0 3141256 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=9669932 CPUtime=3250.9 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 106304 0 71 0 325042 48 0 0 20 0 20 0 77315362 19521036288 2455883 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 2455883 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 1191 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 2455883 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=9181440 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2455883 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3305 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9823532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.13 4.05 7/340 88196
/proc/meminfo: memFree=94037584/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=10265900 CPUtime=3365.32 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 196936 0 71 0 336236 296 0 0 20 0 20 0 77315360 19521036288 2566475 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 2566475 5545 1 0 3141256 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=9823532 CPUtime=3310.29 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 108380 0 71 0 330981 48 0 0 20 0 20 0 77315362 19521036288 2566475 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 2566475 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=10016044 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 1191 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 2566475 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=10265900 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2566475 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3365.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10265900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.05 6/340 88198
/proc/meminfo: memFree=93672344/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=10411308 CPUtime=3425.35 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 198825 0 71 0 342234 301 0 0 20 0 20 0 77315360 19521036288 2602827 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 2602827 5545 1 0 3141256 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=10880 CPUtime=3369.92 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 110055 0 71 0 336944 48 0 0 20 0 20 0 77315362 19521036288 2602827 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=10016044 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 2602827 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=18816 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 1232 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 2602827 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=10280236 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2602827 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3425.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10411308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/341 88201
/proc/meminfo: memFree=93190400/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=10890568 CPUtime=3485.68 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 201665 0 71 0 348257 311 0 0 20 0 20 0 77315360 19521036288 2722642 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 2722642 5545 1 0 3141256 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=10880 CPUtime=3429.27 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 111864 0 71 0 342878 49 0 0 20 0 20 0 77315362 19521036288 2722642 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=10016044 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 2722642 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=10630444 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 1313 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 2722642 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=10630444 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2722642 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3485.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10890568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.05 6/340 88203
/proc/meminfo: memFree=92952844/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=11130208 CPUtime=3545.78 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 205299 0 71 0 354261 317 0 0 20 0 20 0 77315360 19521036288 2782552 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 2782552 5545 1 0 3141256 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=10411308 CPUtime=3488.86 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 114404 0 71 0 348837 49 0 0 20 0 20 0 77315362 19521036288 2782552 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=10265900 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 2782552 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=2892 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 1314 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 2782552 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=11130208 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2782552 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3545.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11130208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3576 s]*
/proc/loadavg: 4.10 4.11 4.05 4/289 88273
/proc/meminfo: memFree=113996264/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19063512 memory=11945312 CPUtime=3600.09 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 208488 0 71 0 359675 334 0 0 20 0 20 0 77315360 19521036288 2986328 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4765878 2986328 5545 1 0 3141256 0
[pid=87942/tid=87945] ppid=87933 vsize=19063512 memory=-6000919494214640999 CPUtime=3541.68 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 116191 0 71 0 354119 49 0 0 20 0 20 0 77315362 19521036288 2986328 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19063512 memory=-4050210904893933204 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315364 19521036288 2986328 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19063512 memory=5724 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 1353 0 0 0 0 0 0 0 20 0 20 0 77315365 19521036288 2986328 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=88023] ppid=87933 vsize=19063512 memory=8832 CPUtime=0 cores=0,2
/proc/87942/task/88023/stat : 88023 (Timer-0) S 87933 87942 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2986328 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11945312 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.98 s, system=3.3827 s

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

[startup+3576.11 s]
/proc/loadavg: 4.10 4.11 4.05 4/289 88273
/proc/meminfo: memFree=113996264/131250000 swapFree=33010416/33010684
[pid=87942] ppid=87933 vsize=19263204 memory=11946080 CPUtime=3600.3 cores=0,2
/proc/87942/stat : 87942 (java) S 87933 87942 87161 0 -1 4194304 210844 0 71 0 359695 335 0 0 20 0 21 0 77315360 19725520896 2986520 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
/proc/87942/statm: 4815801 2986520 5577 1 0 3142222 0
[pid=87942/tid=87945] ppid=87933 vsize=19263204 memory=0 CPUtime=3541.78 cores=0,2
/proc/87942/task/87945/stat : 87945 (java) R 87933 87942 87161 0 -1 4194368 116306 0 71 0 354129 49 0 0 20 0 21 0 77315362 19725520896 2986520 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87976] ppid=87933 vsize=19263204 memory=11525472 CPUtime=0 cores=0,2
/proc/87942/task/87976/stat : 87976 (Finalizer) S 87933 87942 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77315364 19725520896 2986520 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
[pid=87942/tid=87986] ppid=87933 vsize=19263204 memory=4352 CPUtime=0 cores=0,2
/proc/87942/task/87986/stat : 87986 (Common-Cleaner) S 87933 87942 87161 0 -1 4194368 1353 0 0 0 0 0 0 0 20 0 21 0 77315365 19725520896 2986520 18446744073709551615 94385643638784 94385643642480 140729693227984 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94385643650296 94385643651088 94385654063104 140729693235583 140729693235684 140729693235684 140729693241288 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 11946080 KiB

Child status: 143

Real time (s): 3576.16
CPU time (s): 3600.36
CPU user time (s): 3596.98
CPU system time (s): 3.3827
CPU usage (%): 100.677
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 11946080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.98
system time used= 3.38271
maximum resident set size= 11946208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211076
page faults= 71
swaps= 0
block input operations= 0
block output operations= 16376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110865
involuntary context switches= 11180


# summary of solver processes directly reported to runsolver:
#   pid: 87942
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3596.98
#   total CPU system time (s): 3.3827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25768 second user time and 16.465 second system time

The end

Launcher Data

Begin job on nodeC027 at 2025-07-04 10:05:55
IDJOB=4524659
IDBENCH=143154
IDSOLVER=3380
FILE ID=nodeC027/4524659-1751616355
RUNJOBID= nodeC027-1751616355-87892
SLURM_JOB_ID= 9598902
Free space on /tmp= 431184 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524659-1751616355/watcher-4524659-1751616355 -o /tmp/evaluation-result-4524659-1751616355/solver-4524659-1751616355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751616355-87892 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524659-1751616355.wbo

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

MD5SUM BENCH= 27dacbcdd21377e3b42728cc67725307
RANDOM SEED=1187436590

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.698
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1883.697
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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.895
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1924.260
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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		: 3599.635
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1939.846
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
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.927
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1630.693
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129346792 kB
MemAvailable:   129698484 kB
Buffers:            2488 kB
Cached:          1150040 kB
SwapCached:           12 kB
Active:           614876 kB
Inactive:         609516 kB
Active(anon):      87128 kB
Inactive(anon):     2792 kB
Active(file):     527748 kB
Inactive(file):   606724 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1612 kB
Writeback:             0 kB
AnonPages:         75028 kB
Mapped:           104052 kB
Shmem:             18056 kB
KReclaimable:     112520 kB
Slab:             202316 kB
SReclaimable:     112520 kB
SUnreclaim:        89796 kB
KernelStack:        4068 kB
PageTables:         2624 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     336768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431184 MiB
End job on nodeC027 at 2025-07-04 11:05:31