Trace number 4458435

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)-84 3600.3 3150.96

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb
MD5SUM2373b25163347951ef97566f5f53795c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-98
Best CPU time to get the best result obtained on this benchmark0.495475
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7450
Total number of constraints2649
Number of constraints which are clauses2500
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints50
Minimum length of a constraint3
Maximum length of a constraint51
Number of terms in the objective function 4950
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4950
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 50
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4950
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4458435-1721890509.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
0.34/0.25	c ... done. Wall clock time 0.113s.
0.34/0.25	c declared #vars     7450
0.34/0.25	c #constraints  2649
0.34/0.25	c constraints type 
0.34/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 99
0.34/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 50
0.34/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2500
0.34/0.25	c 2649 constraints processed.
0.34/0.26	c objective function length is 4950 literals
3.47/1.98	c cleaning 2495 clauses out of 5000 with flag 32820/5000
5.88/4.11	c cleaning 4253 clauses out of 8508 with flag 71615/11003
7.19/5.39	c SATISFIABLE
7.19/5.39	c OPTIMIZING...
7.19/5.39	c Got one! Elapsed wall clock time (in seconds):5.265
7.19/5.39	o -84
8.47/6.31	c cleaning 4977 clauses out of 9959 with flag 14883/16707
19.13/15.98	c cleaning 5486 clauses out of 10981 with flag 36110/22706
31.41/26.92	c cleaning 6245 clauses out of 12495 with flag 53690/29706
46.09/40.91	c cleaning 7125 clauses out of 14250 with flag 75367/37706
60.93/54.67	c cleaning 8060 clauses out of 16125 with flag 99829/46706
77.75/70.53	c cleaning 9029 clauses out of 18065 with flag 124615/56706
96.77/87.75	c cleaning 10015 clauses out of 20037 with flag 152898/67707
117.91/107.61	c cleaning 11006 clauses out of 22022 with flag 184087/79707
144.49/130.18	c cleaning 12008 clauses out of 24015 with flag 216455/92706
170.92/154.67	c cleaning 13004 clauses out of 26008 with flag 250240/106707
201.93/183.98	c cleaning 14000 clauses out of 28003 with flag 287237/121706
242.99/218.92	c cleaning 14999 clauses out of 30003 with flag 327042/137706
283.49/257.86	c cleaning 16003 clauses out of 32005 with flag 368648/154707
328.88/301.23	c cleaning 17001 clauses out of 34002 with flag 413967/172707
378.67/345.66	c cleaning 17998 clauses out of 36000 with flag 460928/191706
431.56/396.02	c cleaning 18994 clauses out of 38003 with flag 510810/211707
481.74/443.71	c cleaning 20001 clauses out of 40008 with flag 565589/232706
538.01/492.47	c cleaning 21001 clauses out of 42008 with flag 620561/254707
597.49/549.58	c cleaning 22004 clauses out of 44007 with flag 676256/277707
662.57/605.39	c cleaning 23000 clauses out of 46002 with flag 735493/301706
724.01/663.30	c cleaning 23995 clauses out of 48003 with flag 798152/326707
802.12/732.10	c cleaning 25002 clauses out of 50008 with flag 864709/352707
865.99/792.83	c cleaning 25999 clauses out of 52006 with flag 933746/379707
942.32/860.91	c cleaning 26998 clauses out of 54007 with flag 1009916/407707
1022.06/928.99	c cleaning 28001 clauses out of 56008 with flag 1082459/436706
1115.06/1008.91	c cleaning 29002 clauses out of 58007 with flag 1160352/466706
1223.48/1104.21	c cleaning 30000 clauses out of 60006 with flag 1237546/497707
1326.06/1194.32	c cleaning 30999 clauses out of 62005 with flag 1313419/529706
1433.78/1405.54	c cleaning 32000 clauses out of 64006 with flag 1395438/562706
1558.99/1518.78	c cleaning 33002 clauses out of 66006 with flag 1490096/596706
1673.58/1621.83	c cleaning 33999 clauses out of 68005 with flag 1580330/631707
1797.60/1735.79	c cleaning 35001 clauses out of 70006 with flag 1670539/667707
1937.11/1854.78	c cleaning 36000 clauses out of 72005 with flag 1758005/704707
2095.10/1984.91	c cleaning 36998 clauses out of 74004 with flag 1847547/742706
2232.66/2097.73	c cleaning 37998 clauses out of 76007 with flag 1937620/781707
2385.63/2223.33	c cleaning 39001 clauses out of 78009 with flag 2034100/821707
2526.37/2329.85	c cleaning 40002 clauses out of 80008 with flag 2134191/862707
2692.37/2465.84	c cleaning 41003 clauses out of 82005 with flag 2233019/904706
2854.05/2591.11	c cleaning 41997 clauses out of 84002 with flag 2335563/947706
3009.19/2710.02	c cleaning 43000 clauses out of 86005 with flag 2448615/991706
3196.58/2849.21	c cleaning 43999 clauses out of 88006 with flag 2562526/1036707
3361.75/2969.91	c cleaning 45000 clauses out of 90006 with flag 2677804/1082706
3554.65/3113.89	c cleaning 45999 clauses out of 92006 with flag 2796863/1129706
3600.03/3150.42	c starts		: 1393
3600.03/3150.43	c conflicts		: 1140404
3600.03/3150.43	c decisions		: 7885057
3600.03/3150.43	c propagations		: 50919074
3600.03/3150.43	c inspects		: 935412696
3600.03/3150.43	c shortcuts		: 0
3600.03/3150.43	c learnt literals	: 0
3600.03/3150.43	c learnt binary clauses	: 0
3600.03/3150.43	c learnt ternary clauses	: 0
3600.03/3150.43	c learnt constraints	: 1140404
3600.03/3150.43	c ignored constraints	: 0
3600.03/3150.43	c root simplifications	: 0
3600.03/3150.43	c removed literals (reason simplification)	: 7446681
3600.03/3150.43	c reason swapping (by a shorter reason)	: 0
3600.03/3150.43	c Calls to reduceDB	: 45
3600.03/3150.43	c Number of update (reduction) of LBD	: 14900
3600.03/3150.43	c Imported unit clauses	: 0
3600.03/3150.43	c No decision after first conflict	: false
3600.03/3150.43	c number of reductions to clauses (during analyze)	: 0
3600.03/3150.43	c number of learned constraints concerned by reduction	: 0
3600.03/3150.43	c number of learning phase by resolution	: 0
3600.03/3150.43	c number of learning phase by cutting planes	: 0
3600.03/3150.43	c number of rounding to 1 operations	: 0
3600.03/3150.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3150.43	c number of reductions of the coefficients by power 2 	: 0
3600.03/3150.43	c number of right shift for reduction by power 2 	: 0
3600.03/3150.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3150.43	c number of ending skipping 	: 0
3600.03/3150.43	c number of internal skipping 	: 0
3600.03/3150.43	c number of derivation steps 	: 0
3600.03/3150.43	c number of skipped derivation steps 	: 0
3600.03/3150.43	c number of remaining unassigned 	: 0
3600.03/3150.43	c number of remaining assigned 	: 0
3600.03/3150.43	c number of falsified literals weakened from reason	: 0
3600.03/3150.43	c number of falsified literals weakened from conflict	: 0
3600.03/3150.43	c time for arithmetic operations	: 0
3600.03/3150.43	c minimum degree of deleted constraints	: null
3600.03/3150.43	c maximum degree of deleted constraints	: null
3600.03/3150.43	c number of deleted constraints	: 0
3600.03/3150.43	c speed (assignments/second)	: 16164.010550605353
3600.03/3150.43	c non guided choices	: 6990
3600.03/3150.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 56705
3600.03/3150.48	s SATISFIABLE
3600.03/3150.48	c Found 1 solution(s)
3600.03/3150.49	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 
3600.03/3150.49	c objective function=-84
3600.03/3150.49	c Total wall clock time (in seconds): 3150.359

Verifier Data 

OK	-84

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (57963 MiB free)
  memory of node 1: 64473 MiB (44365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458435-1721890509/watcher-4458435-1721890509 -o /tmp/evaluation-result-4458435-1721890509/solver-4458435-1721890509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721886864-277997 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4458435-1721890509 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4458435-1721890509.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100079 s]*
/proc/loadavg: 4.20 4.30 4.43 5/335 280399
/proc/meminfo: memFree=104740388/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=18975048 memory=65336 CPUtime=0.13 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 7225 0 0 0 11 2 0 0 20 0 18 0 25573893 19430449152 16334 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4743762 16334 5675 1 0 549355 0
[pid=280381/tid=280383] ppid=280378 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 5756 0 0 0 7 1 0 0 20 0 18 0 25573894 19430449152 16334 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25573896 19430449152 16334 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=18975048 memory=14130048090726622 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25573897 19430449152 16334 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65336 KiB

[startup+0.209499 s]*
/proc/loadavg: 4.20 4.30 4.43 7/335 280399
/proc/meminfo: memFree=104723676/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=18976112 memory=81616 CPUtime=0.34 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 8371 0 0 0 31 3 0 0 20 0 18 0 25573893 19431538688 20404 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4744028 20404 5819 1 0 550422 0
[pid=280381/tid=280383] ppid=280378 vsize=18976112 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 5952 0 0 0 16 2 0 0 20 0 18 0 25573894 19431538688 20404 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=18976112 memory=1532351 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25573896 19431538688 20404 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=18976112 memory=15816698926204594 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25573897 19431538688 20404 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18976112 KiB
Current children cumulated memory: 81616 KiB

[startup+0.306862 s]*
/proc/loadavg: 4.20 4.30 4.43 7/336 280400
/proc/meminfo: memFree=104709104/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19041612 memory=95068 CPUtime=0.51 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 9393 0 0 0 48 3 0 0 20 0 19 0 25573893 19498610688 23767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4760403 23767 5857 1 0 550997 0
[pid=280381/tid=280383] ppid=280378 vsize=19041612 memory=-8599174253781951164 CPUtime=0.26 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 1077936192 6088 0 0 0 24 2 0 0 20 0 19 0 25573894 19498610688 23767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25573896 19498610688 23767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 25573897 19498610688 23767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 25573921 19498610688 23767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95068 KiB

[startup+0.700254 s]
/proc/loadavg: 4.20 4.30 4.43 6/336 280400
/proc/meminfo: memFree=104669392/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19041612 memory=166044 CPUtime=1.27 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 11456 0 0 0 122 5 0 0 20 0 19 0 25573893 19498610688 41511 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4760403 41511 5873 1 0 552198 0
[pid=280381/tid=280383] ppid=280378 vsize=19041612 memory=12264 CPUtime=0.6 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 6128 0 0 0 56 4 0 0 20 0 19 0 25573894 19498610688 41511 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19041612 memory=12264 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25573896 19498610688 41511 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 25573897 19498610688 41511 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19041612 memory=25656 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 25573921 19498610688 41511 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166044 KiB

[startup+1.5075 s]
/proc/loadavg: 4.20 4.30 4.43 7/337 280401
/proc/meminfo: memFree=104618752/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=188488 CPUtime=2.87 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 15043 0 0 0 280 7 0 0 20 0 20 0 25573893 19566772224 47122 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 47122 5905 1 0 552672 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=12264 CPUtime=1.35 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 6402 0 0 0 131 4 0 0 20 0 20 0 25573894 19566772224 47122 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 47122 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 47122 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 47122 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188488 KiB

[startup+3.1065 s]
/proc/loadavg: 4.19 4.30 4.43 5/337 280401
/proc/meminfo: memFree=104393704/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=361604 CPUtime=4.84 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 18525 0 0 0 473 11 0 0 20 0 20 0 25573893 19566772224 90401 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 90401 5905 1 0 552820 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=0 CPUtime=2.87 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 7490 0 0 0 280 7 0 0 20 0 20 0 25573894 19566772224 90401 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 90401 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=192692 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 90401 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 90401 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 361604 KiB

[startup+6.3005 s]
/proc/loadavg: 4.19 4.30 4.43 5/337 280403
/proc/meminfo: memFree=104057768/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=650844 CPUtime=8.47 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 20157 0 0 0 827 20 0 0 20 0 20 0 25573893 19566772224 162711 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 162711 5905 1 0 659346 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=12264 CPUtime=5.95 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 8185 0 0 0 581 14 0 0 20 0 20 0 25573894 19566772224 162711 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 162711 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=5868026940071957080 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 162711 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=5592 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 162711 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 8.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 650844 KiB

[startup+12.7005 s]
/proc/loadavg: 4.33 4.32 4.44 5/312 280432
/proc/meminfo: memFree=109159216/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=2828904 CPUtime=15.71 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 23281 0 0 0 1504 67 0 0 20 0 20 0 25573893 19566772224 707226 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 707226 5905 1 0 1453189 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=0 CPUtime=11.55 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 9040 0 0 0 1106 49 0 0 20 0 20 0 25573894 19566772224 707226 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=2718312 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 707226 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 707226 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=16084 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 707226 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 15.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2828904 KiB

[startup+25.5005 s]
/proc/loadavg: 4.33 4.32 4.43 5/337 280474
/proc/meminfo: memFree=108864992/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=6419584 CPUtime=29.84 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 27229 0 0 0 2830 154 0 0 20 0 20 0 25573893 19566772224 1604896 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 1604896 5905 1 0 2142534 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=2718312 CPUtime=22.83 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 10393 0 0 0 2165 118 0 0 20 0 20 0 25573894 19566772224 1604896 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=16084 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 1604896 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 1604896 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 1604896 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 29.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6419584 KiB

[startup+51.1061 s]
/proc/loadavg: 4.21 4.30 4.42 5/339 280861
/proc/meminfo: memFree=103534852/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=10484896 CPUtime=57.1 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 33131 0 0 0 5441 269 0 0 20 0 20 0 25573893 19566772224 2621224 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 2621224 5905 1 0 3013613 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=11616 CPUtime=45.04 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 13681 0 0 0 4286 218 0 0 20 0 20 0 25573894 19566772224 2621224 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 69 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0

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

Current children cumulated memory: 16270904 KiB

[startup+2802.3 s]
/proc/loadavg: 4.38 4.48 4.45 6/339 282192
/proc/meminfo: memFree=44591232/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=16271068 CPUtime=3129.88 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 858276 0 0 0 309784 3204 0 0 20 0 20 0 25573893 19566772224 4067767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 4067767 5952 1 0 4082751 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=16270900 CPUtime=2437.88 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 213150 0 0 0 240885 2903 0 0 20 0 20 0 25573894 19566772224 4067767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 16031 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=16270892 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 4067767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 1517 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 4067767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=16271068 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 4067767 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 3129.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16271068 KiB

[startup+2862.3 s]
/proc/loadavg: 4.51 4.50 4.46 5/339 282206
/proc/meminfo: memFree=44011248/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=16271072 CPUtime=3216.82 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 861083 0 0 0 318411 3271 0 0 20 0 20 0 25573893 19566772224 4067768 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 4067768 5952 1 0 4082751 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=16270900 CPUtime=2492.37 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 214547 0 0 0 246274 2963 0 0 20 0 20 0 25573894 19566772224 4067768 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 16139 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 4067768 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=16271072 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 1517 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 4067768 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=7738402858627985254 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 4067768 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 3216.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16271072 KiB

[startup+2922.3 s]
/proc/loadavg: 4.62 4.53 4.47 6/341 282219
/proc/meminfo: memFree=42864828/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=16273156 CPUtime=3292.9 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 900728 0 0 0 325924 3366 0 0 20 0 20 0 25573893 19566772224 4068289 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 4068289 5952 1 0 4082751 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=16271072 CPUtime=2546.04 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 218225 0 0 0 251553 3051 0 0 20 0 20 0 25573894 19566772224 4068289 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 16253 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=16084 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 4068289 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=279662501039312 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 1633 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 4068289 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 4068289 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 3292.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16273156 KiB

[startup+2982.3 s]
/proc/loadavg: 4.72 4.57 4.49 4/341 282230
/proc/meminfo: memFree=42277176/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=16273160 CPUtime=3383.1 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 903167 0 0 0 334861 3449 0 0 20 0 20 0 25573893 19566772224 4068290 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 4068290 5952 1 0 4082766 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=16273156 CPUtime=2601.01 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 219547 0 0 0 256975 3126 0 0 20 0 20 0 25573894 19566772224 4068290 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 16328 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=16273156 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 4068290 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=16273160 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 1633 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 4068290 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=-8599174253781951164 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 4068290 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 3383.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16273160 KiB

[startup+3042.3 s]
/proc/loadavg: 4.74 4.62 4.51 5/344 282250
/proc/meminfo: memFree=41227816/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=16273232 CPUtime=3457.48 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 905707 0 0 0 342216 3532 0 0 20 0 20 0 25573893 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 4068308 5952 1 0 4082766 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=16273160 CPUtime=2654.49 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 220570 0 0 0 262247 3202 0 0 20 0 20 0 25573894 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 16448 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=16273156 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=2288 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 1633 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=16273232 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 3457.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16273232 KiB

[startup+3102.3 s]
/proc/loadavg: 4.57 4.59 4.51 5/344 282260
/proc/meminfo: memFree=40838088/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=16273232 CPUtime=3533.32 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 907536 0 0 0 349731 3601 0 0 20 0 20 0 25573893 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 4068308 5952 1 0 4082766 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=16273232 CPUtime=2710.44 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 221897 0 0 0 267777 3267 0 0 20 0 20 0 25573894 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 16511 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=16273232 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=16273232 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 1633 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=16273232 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 4068308 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 3533.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16273232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3150.4 s]
/proc/loadavg: 4.53 4.59 4.51 5/344 282269
/proc/meminfo: memFree=40221580/131524600 swapFree=131061696/131071996
[pid=280381] ppid=280378 vsize=19108176 memory=16273320 CPUtime=3600.03 cores=0,2
/proc/280381/stat : 280381 (java) S 280378 280381 277987 0 -1 1077936128 944698 0 0 0 356348 3655 0 0 20 0 20 0 25573893 19566772224 4068330 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
/proc/280381/statm: 4777044 4068330 5952 1 0 4082793 0
[pid=280381/tid=280383] ppid=280378 vsize=19108176 memory=16084 CPUtime=2755.59 cores=0,2
/proc/280381/task/280383/stat : 280383 (java) R 280378 280381 277987 0 -1 4194368 227531 0 0 0 272247 3312 0 0 20 0 20 0 25573894 19566772224 4068330 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 16537 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280392] ppid=280378 vsize=19108176 memory=1944 CPUtime=0 cores=0,2
/proc/280381/task/280392/stat : 280392 (Finalizer) S 280378 280381 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25573896 19566772224 4068330 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280399] ppid=280378 vsize=19108176 memory=39784 CPUtime=0 cores=0,2
/proc/280381/task/280399/stat : 280399 (Common-Cleaner) S 280378 280381 277987 0 -1 1077936192 1717 0 0 0 0 0 0 0 20 0 20 0 25573897 19566772224 4068330 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
[pid=280381/tid=280400] ppid=280378 vsize=19108176 memory=-8599174253781951164 CPUtime=0 cores=0,2
/proc/280381/task/280400/stat : 280400 (Timer-0) S 280378 280381 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25573921 19566772224 4068330 134679101440 94430671691776 94430671695472 140729702815296 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94430671703288 94430671704080 94430695968768 140729702818731 140729702818913 140729702818913 140729702825928 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16273320 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.67 s, system=36.6294 s

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

[startup+3150.8 s]
/proc/loadavg: 4.53 4.59 4.51 6/326 282272
/proc/meminfo: memFree=45690536/131524600 swapFree=131061696/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3150.9 s]
/proc/loadavg: 4.53 4.59 4.51 6/326 282272
/proc/meminfo: memFree=45690536/131524600 swapFree=131061696/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3150.96
CPU time (s): 3600.3
CPU user time (s): 3563.67
CPU system time (s): 36.6294
CPU usage (%): 114.26
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 16273320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.67
system time used= 36.6294
maximum resident set size= 16274824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 82960120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144112
involuntary context switches= 55319


# summary of solver processes directly reported to runsolver:
#   pid: 280381
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3563.67
#   total CPU system time (s): 36.6294

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41638 second user time and 17.1057 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-25 08:55:09
IDJOB=4458435
IDBENCH=177419
IDSOLVER=3079
FILE ID=nodeC024/4458435-1721890509
RUNJOBID= nodeC024-1721886864-277997
SLURM_JOB_ID= 8089288
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458435-1721890509/watcher-4458435-1721890509 -o /tmp/evaluation-result-4458435-1721890509/solver-4458435-1721890509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721886864-277997 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4458435-1721890509 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4458435-1721890509.opb

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

MD5SUM BENCH= 2373b25163347951ef97566f5f53795c
RANDOM SEED=147898104

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        104785880 kB
MemAvailable:   119644424 kB
Buffers:          301672 kB
Cached:         15332636 kB
SwapCached:          580 kB
Active:          2649628 kB
Inactive:       23351700 kB
Active(anon):       4040 kB
Inactive(anon): 10416844 kB
Active(file):    2645588 kB
Inactive(file): 12934856 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:             44468 kB
Writeback:             0 kB
AnonPages:      10362076 kB
Mapped:           132324 kB
Shmem:             53788 kB
KReclaimable:     235848 kB
Slab:             357372 kB
SReclaimable:     235848 kB
SUnreclaim:       121524 kB
KernelStack:        5136 kB
PageTables:        30116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11638788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10024960 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC024 at 2024-07-25 09:47:40