Trace number 4523157

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)-6135 3600.3 3418.01

General information on the benchmark

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

Verifier Data 

OK	-6135

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: 63708 MiB (62928 MiB free)
  memory of node 1: 64465 MiB (61040 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523157-1751650993/watcher-4523157-1751650993 -o /tmp/evaluation-result-4523157-1751650993/solver-4523157-1751650993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751650993-98446 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523157-1751650993 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523157-1751650993.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=98481, runsolver pid=98477

[startup+0.10006 s]*
/proc/loadavg: 1.27 1.79 2.22 6/292 98530
/proc/meminfo: memFree=126900592/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=18930384 memory=55380 CPUtime=0.11 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 6479 0 0 0 9 2 0 0 20 0 18 0 80773811 19384713216 13845 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4732596 13845 5354 1 0 547573 0
[pid=98481/tid=98487] ppid=98477 vsize=18930384 memory=4026532379 CPUtime=0.06 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 5008 0 0 0 5 1 0 0 20 0 18 0 80773813 19384713216 13845 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=18930384 memory=219932787024 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80773815 19384713216 13845 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=18930384 memory=54087446195522 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80773815 19384713216 13845 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55380 KiB

[startup+0.205552 s]*
/proc/loadavg: 1.27 1.79 2.22 4/309 98547
/proc/meminfo: memFree=126871496/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=18930384 memory=58924 CPUtime=0.17 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 6803 0 0 0 15 2 0 0 20 0 18 0 80773811 19384713216 14731 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4732596 14731 5418 1 0 547794 0
[pid=98481/tid=98487] ppid=98477 vsize=18930384 memory=4026852891 CPUtime=0.1 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) D 98477 98481 97586 0 -1 4456512 5215 0 0 0 9 1 0 0 20 0 18 0 80773813 19384713216 14731 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=18930384 memory=219932787024 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80773815 19384713216 14731 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=18930384 memory=54087446195522 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80773815 19384713216 14731 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58924 KiB

[startup+0.305476 s]*
/proc/loadavg: 1.27 1.79 2.22 3/309 98547
/proc/meminfo: memFree=126848776/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=18930384 memory=81236 CPUtime=0.34 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 7354 0 0 0 31 3 0 0 20 0 18 0 80773811 19384713216 20309 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4732596 20309 5418 1 0 548164 0
[pid=98481/tid=98487] ppid=98477 vsize=18930384 memory=-6000919481346778214 CPUtime=0.18 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 5274 0 0 0 16 2 0 0 20 0 18 0 80773813 19384713216 20309 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 80773815 19384713216 20309 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 80773815 19384713216 20309 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 81236 KiB

[startup+0.700221 s]
/proc/loadavg: 1.27 1.79 2.22 9/310 98548
/proc/meminfo: memFree=126774412/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=18996948 memory=130036 CPUtime=1.1 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 9250 0 0 0 105 5 0 0 20 0 19 0 80773811 19452874752 32509 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4749237 32509 5482 1 0 549494 0
[pid=98481/tid=98487] ppid=98477 vsize=18996948 memory=19200 CPUtime=0.5 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 5443 0 0 0 47 3 0 0 20 0 19 0 80773813 19452874752 32509 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 80773815 19452874752 32509 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 80773815 19452874752 32509 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 80773850 19452874752 32509 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130036 KiB

[startup+1.50024 s]
/proc/loadavg: 1.27 1.79 2.22 7/314 98552
/proc/meminfo: memFree=126429472/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=183852 CPUtime=2.69 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 15838 0 0 0 261 8 0 0 20 0 20 0 80773811 19521036288 45963 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 45963 5514 1 0 552779 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=10752 CPUtime=1.27 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 5851 0 0 0 123 4 0 0 20 0 20 0 80773813 19521036288 45963 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 45963 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 45963 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=4624 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 45963 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183852 KiB

[startup+3.10571 s]
/proc/loadavg: 1.27 1.79 2.22 6/315 98553
/proc/meminfo: memFree=124968096/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=387048 CPUtime=5.17 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 19375 0 0 0 503 14 0 0 20 0 20 0 80773811 19521036288 96762 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 96762 5514 1 0 713627 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=-6000919476967990374 CPUtime=2.74 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 6611 0 0 0 267 7 0 0 20 0 20 0 80773813 19521036288 96762 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 96762 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 96762 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 96762 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 387048 KiB

[startup+6.30022 s]
/proc/loadavg: 1.49 1.82 2.23 4/318 98556
/proc/meminfo: memFree=122854892/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=1537040 CPUtime=8.88 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 22159 0 0 0 848 40 0 0 20 0 20 0 80773811 19521036288 384260 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 384260 5514 1 0 1845834 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=10752 CPUtime=5.61 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 7099 0 0 0 534 27 0 0 20 0 20 0 80773813 19521036288 384260 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 384260 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 384260 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=183980 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 384260 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 8.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1537040 KiB

[startup+12.7001 s]
/proc/loadavg: 1.69 1.86 2.24 2/318 98556
/proc/meminfo: memFree=118891704/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=2903704 CPUtime=13.63 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 23670 0 0 0 1294 69 0 0 20 0 20 0 80773811 19521036288 725926 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 725926 5514 1 0 2081884 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=183980 CPUtime=9.38 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) D 98477 98481 97586 0 -1 4194368 7510 0 0 0 892 46 0 0 20 0 20 0 80773813 19521036288 725926 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=2811496 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 725926 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=19200 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 725926 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 725926 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 13.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2903704 KiB

[startup+25.5003 s]
/proc/loadavg: 2.06 1.93 2.26 4/320 98558
/proc/meminfo: memFree=117301276/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=3881408 CPUtime=25.61 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 26630 0 0 0 2461 100 0 0 20 0 20 0 80773811 19521036288 970352 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 970352 5514 1 0 2261570 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=19200 CPUtime=19.11 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 8381 0 0 0 1844 67 0 0 20 0 20 0 80773813 19521036288 970352 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 970352 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=-6000919476967990374 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 37 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 970352 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=3476420 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 970352 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 25.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3881408 KiB

[startup+51.1057 s]
/proc/loadavg: 2.51 2.05 2.29 4/320 98559
/proc/meminfo: memFree=113574496/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=5818388 CPUtime=52.94 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 35259 0 0 0 5136 158 0 0 20 0 20 0 80773811 19521036288 1454597 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 1454597 5514 1 0 2418254 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=14720 CPUtime=42.85 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 11888 0 0 0 4183 102 0 0 20 0 20 0 80773813 19521036288 1454597 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=5607416 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 1454597 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0

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

/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=19200 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 2611 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 3219.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16225824 KiB

[startup+3102.3 s]
/proc/loadavg: 2.23 3.25 3.45 3/294 98758
/proc/meminfo: memFree=59625080/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=16225824 CPUtime=3280.29 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 520669 0 0 0 326070 1959 0 0 20 0 20 0 80773811 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 4056456 5546 1 0 4069183 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=-6000919476967990374 CPUtime=2995.59 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 300818 0 0 0 297876 1683 0 0 20 0 20 0 80773813 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=16225824 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=19200 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 2620 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=16225824 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 3280.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16225824 KiB

[startup+3162.3 s]
/proc/loadavg: 2.19 3.05 3.37 3/295 98761
/proc/meminfo: memFree=59197232/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=16225824 CPUtime=3340.9 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 530265 0 0 0 332110 1980 0 0 20 0 20 0 80773811 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 4056456 5546 1 0 4069183 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=5276 CPUtime=3054.55 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 307882 0 0 0 303753 1702 0 0 20 0 20 0 80773813 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=21872 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 2662 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=19200 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 3340.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16225824 KiB

[startup+3222.3 s]
/proc/loadavg: 2.41 2.95 3.31 3/294 98763
/proc/meminfo: memFree=58674904/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=16225824 CPUtime=3410.16 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 539669 0 0 0 339003 2013 0 0 20 0 20 0 80773811 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 4056456 5546 1 0 4069185 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=21872 CPUtime=3113.01 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 313606 0 0 0 309570 1731 0 0 20 0 20 0 80773813 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=16225824 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 2695 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 4056456 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 3410.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16225824 KiB

[startup+3282.3 s]
/proc/loadavg: 2.26 2.81 3.24 3/294 98765
/proc/meminfo: memFree=58064140/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=16234124 CPUtime=3471.94 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 548832 0 0 0 345151 2043 0 0 20 0 20 0 80773811 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 4058531 5546 1 0 4071273 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=16225824 CPUtime=3170.85 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 318957 0 0 0 315327 1758 0 0 20 0 20 0 80773813 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=16234124 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 2776 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 3471.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16234124 KiB

[startup+3342.3 s]
/proc/loadavg: 2.19 2.69 3.17 3/295 98768
/proc/meminfo: memFree=57619832/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=16234124 CPUtime=3523.74 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 556714 0 0 0 350311 2063 0 0 20 0 20 0 80773811 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 4058531 5546 1 0 4071273 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=16234124 CPUtime=3220.97 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 324638 0 0 0 320321 1776 0 0 20 0 20 0 80773813 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=16234124 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=16234124 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 2816 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=7936 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 3523.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16234124 KiB

[startup+3402.3 s]
/proc/loadavg: 2.17 2.59 3.10 3/295 98771
/proc/meminfo: memFree=57259992/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=16234124 CPUtime=3584.18 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 565487 0 0 0 356336 2082 0 0 20 0 20 0 80773811 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 4058531 5546 1 0 4071273 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=16234124 CPUtime=3279.73 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 331029 0 0 0 326180 1793 0 0 20 0 20 0 80773813 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=16234124 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 2832 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=16234124 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 3584.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16234124 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3417.8 s]
/proc/loadavg: 2.20 2.58 3.09 3/295 98771
/proc/meminfo: memFree=57174912/131249992 swapFree=33009392/33010684
[pid=98481] ppid=98477 vsize=19063512 memory=16234124 CPUtime=3600.04 cores=0,2
/proc/98481/stat : 98481 (java) S 98477 98481 97586 0 -1 4194304 566549 0 0 0 357918 2086 0 0 20 0 20 0 80773811 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
/proc/98481/statm: 4765878 4058531 5546 1 0 4071273 0
[pid=98481/tid=98487] ppid=98477 vsize=19063512 memory=16234124 CPUtime=3294.76 cores=0,2
/proc/98481/task/98487/stat : 98487 (java) R 98477 98481 97586 0 -1 4194368 331774 0 0 0 327679 1797 0 0 20 0 20 0 80773813 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98504] ppid=98477 vsize=19063512 memory=16234124 CPUtime=0 cores=0,2
/proc/98481/task/98504/stat : 98504 (Finalizer) S 98477 98481 97586 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98520] ppid=98477 vsize=19063512 memory=4624 CPUtime=0 cores=0,2
/proc/98481/task/98520/stat : 98520 (Common-Cleaner) S 98477 98481 97586 0 -1 4194368 2832 0 0 0 0 0 0 0 20 0 20 0 80773815 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
[pid=98481/tid=98548] ppid=98477 vsize=19063512 memory=2600 CPUtime=0 cores=0,2
/proc/98481/task/98548/stat : 98548 (Timer-0) S 98477 98481 97586 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 80773850 19521036288 4058531 18446744073709551615 93908212932608 93908212936304 140720414147424 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93908212944120 93908212944912 93908230676480 140720414153007 140720414153189 140720414153189 140720414158792 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16234124 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.38 s, system=20.9222 s

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

[startup+3418.01 s]*
/proc/loadavg: 2.20 2.58 3.09 2/277 98774
/proc/meminfo: memFree=73393872/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3418.01
CPU time (s): 3600.3
CPU user time (s): 3579.38
CPU system time (s): 20.9222
CPU usage (%): 105.333
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 16234124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.38
system time used= 20.9222
maximum resident set size= 16235020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40044168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127688
involuntary context switches= 21313


# summary of solver processes directly reported to runsolver:
#   pid: 98481
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3579.38
#   total CPU system time (s): 20.9222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12716 second user time and 16.3579 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-04 19:43:13
IDJOB=4523157
IDBENCH=179713
IDSOLVER=3364
FILE ID=nodeC035/4523157-1751650993
RUNJOBID= nodeC035-1751650993-98446
SLURM_JOB_ID= 9672340
Free space on /tmp= 432732 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_230_000.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523157-1751650993/watcher-4523157-1751650993 -o /tmp/evaluation-result-4523157-1751650993/solver-4523157-1751650993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751650993-98446 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4523157-1751650993 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4523157-1751650993.opb

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

MD5SUM BENCH= c0a31fcc227365986291d6c595cc47ca
RANDOM SEED=1308907534

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126939140 kB
MemAvailable:   129675808 kB
Buffers:             664 kB
Cached:          3485316 kB
SwapCached:          332 kB
Active:           382308 kB
Inactive:        3174032 kB
Active(anon):      67348 kB
Inactive(anon):    21036 kB
Active(file):     314960 kB
Inactive(file):  3152996 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1952 kB
Writeback:             0 kB
AnonPages:         73816 kB
Mapped:           104764 kB
Shmem:             17700 kB
KReclaimable:     215900 kB
Slab:             307668 kB
SReclaimable:     215900 kB
SUnreclaim:        91768 kB
KernelStack:        4032 kB
PageTables:         2808 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     349520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432728 MiB
End job on nodeC035 at 2025-07-04 20:40:11