Trace number 4427509

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 Partial RoundingSAT 2024 2024-07-12SAT (TO)24 3600.69 3471.04

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM2f5de9b63d0a2988dce846045b262c40
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 benchmark20
Best CPU time to get the best result obtained on this benchmark41.0486
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.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 		2113181440
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2122317824
0.00/0.09	c Number of processors 	2
0.13/0.16	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.16	 - never skip resolution steps
0.13/0.16	 - Auto-division on coefficients is disabled
0.13/0.16	 - No postprocessing
0.13/0.16	 - Conflict is considered as is when resolving
0.13/0.16	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.13/0.16	 - Weaken first using unassigned literals
0.13/0.16	 - Bump strategy: ALWAYS_ONE
0.13/0.16	 - Bumper: ASSIGNED
0.13/0.16	--- Begin Solver configuration ---
0.13/0.16	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.13/0.16	Learn all clauses as in MiniSAT
0.13/0.16	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.16	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.16	No reason simplification
0.13/0.16	Armin Biere (Picosat) restarts strategy
0.13/0.16	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.13/0.16	timeout=2147483s
0.13/0.16	DB Simplification allowed=false
0.13/0.16	Listener: none
0.13/0.16	--- End Solver configuration ---
0.13/0.17	c Pseudo Boolean Optimization by upper bound
0.13/0.17	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.17	c  - never skip resolution steps
0.13/0.17	c  - Auto-division on coefficients is disabled
0.13/0.17	c  - No postprocessing
0.13/0.17	c  - Conflict is considered as is when resolving
0.13/0.17	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.13/0.17	c  - Weaken first using unassigned literals
0.13/0.17	c  - Bump strategy: ALWAYS_ONE
0.13/0.17	c  - Bumper: ASSIGNED
0.13/0.17	c --- Begin Solver configuration ---
0.13/0.17	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.13/0.17	c Learn all clauses as in MiniSAT
0.13/0.17	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.17	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.17	c No reason simplification
0.13/0.17	c Armin Biere (Picosat) restarts strategy
0.13/0.17	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.13/0.17	c timeout=2147483s
0.13/0.17	c DB Simplification allowed=false
0.13/0.17	c Listener: none
0.13/0.17	c --- End Solver configuration ---
0.13/0.17	c solving HOME/instance-4427509-1720997857.opb
0.13/0.17	c reading problem ... 
0.13/0.17	c  objective function found
1.10/0.67	c ... done. Wall clock time 0.484s.
1.10/0.67	c declared #vars     5499
1.10/0.67	c #constraints  19319
1.10/0.67	c constraints type 
1.10/0.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428
1.10/0.67	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.10/0.67	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1.10/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885
1.10/0.67	c 19319 constraints processed.
1.10/0.67	c objective function length is 613 literals
1.28/0.71	c SATISFIABLE
1.28/0.71	c OPTIMIZING...
1.28/0.71	c Got one! Elapsed wall clock time (in seconds):0.542
1.28/0.71	o 27
48.21/40.17	c cleaning 2500 clauses out of 5004 with flag 0/5004
50.11/41.61	c Got one! Elapsed wall clock time (in seconds):41.444
50.11/41.61	o 26
59.83/51.10	c Got one! Elapsed wall clock time (in seconds):50.931
59.83/51.10	o 25
121.60/111.42	c cleaning 3927 clauses out of 7899 with flag 0/10399
193.88/182.50	c cleaning 4981 clauses out of 9976 with flag 0/16403
281.07/267.91	c cleaning 5827 clauses out of 11993 with flag 0/23401
350.77/336.78	c Got one! Elapsed wall clock time (in seconds):336.617
350.77/336.78	o 24
494.62/479.05	c cleaning 7297 clauses out of 16349 with flag 0/33584
576.05/559.48	c cleaning 4185 clauses out of 15052 with flag 0/39584
666.20/648.24	c cleaning 4544 clauses out of 17866 with flag 0/46583
776.62/755.83	c cleaning 5840 clauses out of 21322 with flag 0/54583
917.22/895.09	c cleaning 6690 clauses out of 24482 with flag 0/63583
1113.40/1089.73	c cleaning 6349 clauses out of 27792 with flag 0/73583
1316.02/1290.50	c cleaning 8325 clauses out of 32443 with flag 0/84583
1482.93/1454.28	c cleaning 8783 clauses out of 36119 with flag 0/96584
1717.90/1686.20	c cleaning 9601 clauses out of 40338 with flag 0/109586
1995.49/1960.18	c cleaning 10503 clauses out of 44734 with flag 0/123583
2337.20/2290.20	c cleaning 11046 clauses out of 49232 with flag 0/138584
2932.45/2849.26	c cleaning 10852 clauses out of 54186 with flag 0/154584
3420.05/3303.95	c cleaning 13166 clauses out of 60333 with flag 0/171583
3600.05/3470.73	c starts		: 120
3600.05/3470.75	c conflicts		: 183467
3600.05/3470.75	c decisions		: 2464273
3600.05/3470.75	c propagations		: 81860632
3600.05/3470.75	c inspects		: 982125417
3600.05/3470.75	c shortcuts		: 0
3600.05/3470.75	c learnt literals	: 0
3600.05/3470.75	c learnt binary clauses	: 1
3600.05/3470.75	c learnt ternary clauses	: 5
3600.05/3470.75	c learnt constraints	: 183466
3600.05/3470.75	c ignored constraints	: 0
3600.05/3470.75	c root simplifications	: 0
3600.05/3470.75	c removed literals (reason simplification)	: 0
3600.05/3470.75	c reason swapping (by a shorter reason)	: 0
3600.05/3470.75	c Calls to reduceDB	: 17
3600.05/3470.75	c Number of update (reduction) of LBD	: 0
3600.05/3470.75	c Imported unit clauses	: 0
3600.05/3470.75	c No decision after first conflict	: false
3600.05/3470.76	c number of reductions to clauses (during analyze)	: 0
3600.05/3470.76	c number of learned constraints concerned by reduction	: 0
3600.05/3470.76	c number of learning phase by resolution	: 0
3600.05/3470.76	c number of learning phase by cutting planes	: 0
3600.05/3470.76	c number of rounding to 1 operations	: 973658
3600.05/3470.76	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3470.80	c number of reductions of the coefficients by power 2 	: 0
3600.05/3470.80	c number of right shift for reduction by power 2 	: 0
3600.05/3470.80	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3470.80	c number of ending skipping 	: 0
3600.05/3470.80	c number of internal skipping 	: 0
3600.05/3470.80	c number of derivation steps 	: 4171605
3600.05/3470.80	c number of skipped derivation steps 	: 0
3600.05/3470.80	c number of remaining unassigned 	: 2377263
3600.05/3470.80	c number of remaining assigned 	: 106766237
3600.05/3470.80	c number of falsified literals weakened from reason	: 0
3600.05/3470.80	c number of falsified literals weakened from conflict	: 0
3600.05/3470.80	c time for arithmetic operations	: 17722989114
3600.05/3470.80	c minimum degree of deleted constraints	: 4
3600.05/3470.80	c maximum degree of deleted constraints	: 52114814131
3600.05/3470.80	c number of deleted constraints	: 124416
3600.05/3470.80	c speed (assignments/second)	: 23590.15802920823
3600.24/3470.82	c non guided choices	: 0
3600.43/3470.94	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 35009
3600.43/3470.94	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 444
3600.43/3470.94	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.43/3470.94	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 23596
3600.43/3470.94	s SATISFIABLE
3600.43/3470.94	c Found 4 solution(s)
3600.43/3470.98	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 
3600.64/3471.01	c objective function=24
3600.64/3471.01	c Total wall clock time (in seconds): 3470.845

Verifier Data 

OK	24

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427509-1720997857/watcher-4427509-1720997857 -o /tmp/evaluation-result-4427509-1720997857/solver-4427509-1720997857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720994548-763931 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427509-1720997857.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=766317, runsolver pid=766314

[startup+0.100664 s]*
/proc/loadavg: 4.38 4.51 4.39 7/316 766335
/proc/meminfo: memFree=112759924/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=18975048 memory=65468 CPUtime=0.13 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 7202 0 0 0 11 2 0 0 20 0 18 0 151941601 19430449152 16367 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4743762 16367 5731 1 0 551406 0
[pid=766317/tid=766319] ppid=766314 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 5747 0 0 0 7 2 0 0 20 0 18 0 151941601 19430449152 16367 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151941604 19430449152 16367 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=18975048 memory=15815599515270057 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151941604 19430449152 16367 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65468 KiB

[startup+0.206661 s]*
/proc/loadavg: 4.38 4.51 4.39 7/316 766335
/proc/meminfo: memFree=112753812/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=18975048 memory=72104 CPUtime=0.34 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 7694 0 0 0 31 3 0 0 20 0 18 0 151941601 19430449152 18026 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4743762 18026 5864 1 0 551735 0
[pid=766317/tid=766319] ppid=766314 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 6033 0 0 0 16 2 0 0 20 0 18 0 151941601 19430449152 18026 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=18975048 memory=3715 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151941604 19430449152 18026 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=18975048 memory=14973377819450890 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151941604 19430449152 18026 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 72104 KiB

[startup+0.312883 s]*
/proc/loadavg: 4.38 4.51 4.39 8/317 766336
/proc/meminfo: memFree=112666376/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19041612 memory=158688 CPUtime=0.53 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 7992 0 0 0 48 5 0 0 20 0 19 0 151941601 19498610688 39672 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4760403 39672 5864 1 0 552100 0
[pid=766317/tid=766319] ppid=766314 vsize=19041612 memory=-8889093454057349820 CPUtime=0.27 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 6092 0 0 0 23 4 0 0 20 0 19 0 151941601 19498610688 39672 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151941604 19498610688 39672 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 151941604 19498610688 39672 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158688 KiB

[startup+0.703748 s]
/proc/loadavg: 4.38 4.51 4.39 6/317 766336
/proc/meminfo: memFree=112526644/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=632460 CPUtime=1.28 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 9911 0 0 0 112 16 0 0 20 0 20 0 151941601 19566772224 158115 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 158115 5901 1 0 553436 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=5476 CPUtime=0.62 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 6427 0 0 0 48 14 0 0 20 0 20 0 151941601 19566772224 158115 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 158115 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 158115 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 632460 KiB

[startup+1.50067 s]
/proc/loadavg: 4.38 4.51 4.39 7/318 766337
/proc/meminfo: memFree=112167124/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=720544 CPUtime=2.86 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 22051 0 0 0 266 20 0 0 20 0 20 0 151941601 19566772224 180136 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 180136 5901 1 0 560049 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=12320 CPUtime=1.39 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 6562 0 0 0 124 15 0 0 20 0 20 0 151941601 19566772224 180136 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 180136 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 180136 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 180136 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 720544 KiB

[startup+3.10566 s]
/proc/loadavg: 4.43 4.52 4.39 6/318 766339
/proc/meminfo: memFree=111812780/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=1039484 CPUtime=6.05 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 22682 0 0 0 578 27 0 0 20 0 20 0 151941601 19566772224 259871 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 259871 5901 1 0 560078 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=0 CPUtime=2.95 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 6849 0 0 0 274 21 0 0 20 0 20 0 151941601 19566772224 259871 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 259871 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 259871 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 259871 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 6.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1039484 KiB

[startup+6.30047 s]
/proc/loadavg: 4.43 4.52 4.39 6/319 766340
/proc/meminfo: memFree=111442292/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=1364016 CPUtime=10.31 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 31200 0 0 0 997 34 0 0 20 0 20 0 151941601 19566772224 341004 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 341004 5901 1 0 560081 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=0 CPUtime=6.05 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 7851 0 0 0 577 28 0 0 20 0 20 0 151941601 19566772224 341004 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=12320 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 341004 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 341004 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=41196 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 341004 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 10.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1364016 KiB

[startup+12.7005 s]
/proc/loadavg: 4.40 4.51 4.39 6/321 766511
/proc/meminfo: memFree=110749556/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=2135152 CPUtime=17.28 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 33328 0 0 0 1678 50 0 0 20 0 20 0 151941601 19566772224 533788 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 533788 5901 1 0 1088565 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=2092080 CPUtime=12.1 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 8285 0 0 0 1171 39 0 0 20 0 20 0 151941601 19566772224 533788 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=1948624 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 533788 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=641360 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 533788 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=1070620 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 533788 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 17.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2135152 KiB

[startup+25.5005 s]
/proc/loadavg: 4.44 4.52 4.39 5/321 766513
/proc/meminfo: memFree=110086684/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=2714936 CPUtime=30.59 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 36468 0 0 0 2996 63 0 0 20 0 20 0 151941601 19566772224 678734 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 678734 5901 1 0 1088565 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=1948624 CPUtime=24.61 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 9889 0 0 0 2413 48 0 0 20 0 20 0 151941601 19566772224 678734 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=1790904 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 678734 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 678734 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=3958 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 678734 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 30.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2714936 KiB

[startup+51.1134 s]
/proc/loadavg: 4.36 4.49 4.38 6/321 766516
/proc/meminfo: memFree=109247964/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=3551640 CPUtime=60.02 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 57995 0 0 0 5916 86 0 0 20 0 20 0 151941601 19566772224 887910 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 887910 5901 1 0 1090478 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=3146128 CPUtime=49.71 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 13998 0 0 0 4909 62 0 0 20 0 20 0 151941601 19566772224 887910 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=-8889093454057349820 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 887910 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=1220 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 887910 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0

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

[startup+3222.3 s]
/proc/loadavg: 4.83 4.43 4.32 5/322 767992
/proc/meminfo: memFree=107830264/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=3487400 CPUtime=3333.49 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 420370 0 0 0 332974 375 0 0 20 0 20 0 151941601 19566772224 871850 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 871850 5968 1 0 884739 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=3487320 CPUtime=3157.2 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 149204 0 0 0 315629 91 0 0 20 0 20 0 151941601 19566772224 871850 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=-8889093454057349820 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 871850 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=3487400 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 2709 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 871850 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=3487400 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 871850 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3487400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.34 4.36 4.30 6/322 768003
/proc/meminfo: memFree=107825672/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=3487420 CPUtime=3398.4 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 423044 0 0 0 339457 383 0 0 20 0 20 0 151941601 19566772224 871855 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 871855 5968 1 0 884741 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=3487420 CPUtime=3215.52 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) S 766314 766317 763919 0 -1 1077936192 150046 0 0 0 321460 92 0 0 20 0 20 0 151941601 19566772224 871855 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 871855 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=3487420 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 2709 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 871855 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=3487420 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 871855 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 3398.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3487420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.35 4.30 5/325 768018
/proc/meminfo: memFree=107156164/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=4154832 CPUtime=3462.02 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 426626 0 0 0 345795 407 0 0 20 0 20 0 151941601 19566772224 1038708 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 1038708 5968 1 0 1051987 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=3487532 CPUtime=3274.23 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 151387 0 0 0 327314 109 0 0 20 0 20 0 151941601 19566772224 1038708 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=4154832 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 1038708 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 2709 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 1038708 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 1038708 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 3462.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4154832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.33 4.29 6/325 768028
/proc/meminfo: memFree=107154528/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=4155180 CPUtime=3526.06 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 441845 0 0 0 352190 416 0 0 20 0 20 0 151941601 19566772224 1038795 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 1038795 5968 1 0 1051988 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=3487532 CPUtime=3333.04 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 154359 0 0 0 333194 110 0 0 20 0 20 0 151941601 19566772224 1038795 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=3487400 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 1038795 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 2752 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 1038795 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=4155180 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 1038795 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 3526.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4155180 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.36 4.31 5/322 768422
/proc/meminfo: memFree=107152580/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=4155196 CPUtime=3589.06 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 442715 0 0 0 358483 423 0 0 20 0 20 0 151941601 19566772224 1038799 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 1038799 5968 1 0 1051990 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=3487532 CPUtime=3391.9 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 154933 0 0 0 339080 110 0 0 20 0 20 0 151941601 19566772224 1038799 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 1038799 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=4155180 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 2752 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 1038799 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=1900 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 1038799 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 3589.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4155196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3470.7 s]
/proc/loadavg: 4.35 4.35 4.30 5/322 768424
/proc/meminfo: memFree=107152444/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19108176 memory=4155292 CPUtime=3600.05 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 442847 0 0 0 359580 425 0 0 20 0 20 0 151941601 19566772224 1038823 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4777044 1038823 5968 1 0 1052048 0
[pid=766317/tid=766319] ppid=766314 vsize=19108176 memory=3487532 CPUtime=3400.12 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 155043 0 0 0 339902 110 0 0 20 0 20 0 151941601 19566772224 1038823 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19108176 memory=1900 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 1038823 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19108176 memory=12720 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 2752 0 0 0 0 0 0 0 20 0 20 0 151941604 19566772224 1038823 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766337] ppid=766314 vsize=19108176 memory=4155292 CPUtime=0 cores=1,3
/proc/766317/task/766337/stat : 766337 (Timer-0) S 766314 766317 763919 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151941668 19566772224 1038823 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4155292 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.42 s, system=4.27741 s

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

[startup+3470.81 s]
/proc/loadavg: 4.35 4.35 4.30 5/322 768424
/proc/meminfo: memFree=107152444/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19307868 memory=4156108 CPUtime=3600.24 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 445433 0 0 0 359599 425 0 0 20 0 21 0 151941601 19771256832 1039027 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4826967 1039027 5967 1 0 1053007 0
[pid=766317/tid=766319] ppid=766314 vsize=19307868 memory=3474306343530397781 CPUtime=3400.21 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) R 766314 766317 763919 0 -1 4194368 155132 0 0 0 339911 110 0 0 20 0 21 0 151941601 19771256832 1039027 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19307868 memory=19428 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151941604 19771256832 1039027 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19307868 memory=-8889093454057349820 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 2752 0 0 0 0 0 0 0 20 0 21 0 151941604 19771256832 1039027 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4156108 KiB

[startup+3471.01 s]*
/proc/loadavg: 4.35 4.35 4.30 5/323 768427
/proc/meminfo: memFree=107151648/131655788 swapFree=131071996/131071996
[pid=766317] ppid=766314 vsize=19307868 memory=4156176 CPUtime=3600.64 cores=1,3
/proc/766317/stat : 766317 (java) S 766314 766317 763919 0 -1 1077936128 445678 0 0 0 359638 426 0 0 20 0 21 0 151941601 19771256832 1039044 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
/proc/766317/statm: 4826967 1039044 5967 1 0 1053007 0
[pid=766317/tid=766319] ppid=766314 vsize=19307868 memory=-8887684975367201468 CPUtime=3400.39 cores=1,3
/proc/766317/task/766319/stat : 766319 (java) S 766314 766317 763919 0 -1 1077936192 155134 0 0 0 339929 110 0 0 20 0 21 0 151941601 19771256832 1039044 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766328] ppid=766314 vsize=19307868 memory=-7160856065023042944 CPUtime=0 cores=1,3
/proc/766317/task/766328/stat : 766328 (Finalizer) S 766314 766317 763919 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 151941604 19771256832 1039044 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=766335] ppid=766314 vsize=19307868 memory=11548 CPUtime=0 cores=1,3
/proc/766317/task/766335/stat : 766335 (Common-Cleaner) S 766314 766317 763919 0 -1 1077936192 2752 0 0 0 0 0 0 0 20 0 21 0 151941604 19771256832 1039044 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
[pid=766317/tid=768426] ppid=766314 vsize=19307868 memory=2684 CPUtime=0.12 cores=1,3
/proc/766317/task/768426/stat : 768426 (Thread-0) S 766314 766317 763919 0 -1 1077936192 458 0 0 0 12 0 0 0 20 0 21 0 152288673 19771256832 1039044 134679101440 94135986900992 94135986904688 140736661567504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94135986912504 94135986913296 94135999979520 140736661570544 140736661570657 140736661570657 140736661577672 0
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4156176 KiB

Child status: 143

Real time (s): 3471.04
CPU time (s): 3600.69
CPU user time (s): 3596.42
CPU system time (s): 4.27741
CPU usage (%): 103.735
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4312360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.42
system time used= 4.27741
maximum resident set size= 4312360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123781
involuntary context switches= 14306


# summary of solver processes directly reported to runsolver:
#   pid: 766317
#   total CPU time (s): 3600.69
#   total CPU user time (s): 3596.42
#   total CPU system time (s): 4.27741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6327 second user time and 32.1989 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-15 00:57:50
IDJOB=4427509
IDBENCH=148192
IDSOLVER=3046
FILE ID=nodeC004/4427509-1720997857
RUNJOBID= nodeC004-1720994548-763931
SLURM_JOB_ID= 7505305
Free space on /tmp= 723756 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427509-1720997857/watcher-4427509-1720997857 -o /tmp/evaluation-result-4427509-1720997857/solver-4427509-1720997857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720994548-763931 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427509-1720997857.opb

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

MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40
RANDOM SEED=18983235

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112804540 kB
MemAvailable:   113163696 kB
Buffers:          342536 kB
Cached:           858748 kB
SwapCached:            0 kB
Active:           563076 kB
Inactive:       17733772 kB
Active(anon):       3344 kB
Inactive(anon): 17129916 kB
Active(file):     559732 kB
Inactive(file):   603856 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1124 kB
Writeback:             0 kB
AnonPages:      17095216 kB
Mapped:           123016 kB
Shmem:             37700 kB
KReclaimable:      71532 kB
Slab:             164812 kB
SReclaimable:      71532 kB
SUnreclaim:        93280 kB
KernelStack:        4800 kB
PageTables:        43452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   19878416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            49152 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16740352 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:      168776 kB
DirectMap2M:     8124416 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 723716 MiB
End job on nodeC004 at 2024-07-15 01:55:41