Trace number 4440417

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07OPT cert.46877 1422.66 1426.27

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__256.opb
MD5SUM88337e6e5493c2d9c389f064d6ad9b51
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 benchmark46877
Best CPU time to get the best result obtained on this benchmark0.087608
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10258
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)42
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint256
Maximum length of a constraint2049
Number of terms in the objective function 10240
Biggest coefficient in the objective function 94409
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 446607872
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 94409
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 446607872
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.22/0.34	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.22/0.34	c This is free software under the dual EPL/GNU LGPL licenses.
0.22/0.34	c See www.sat4j.org for details.
0.22/0.36	c version CUSTOM.v20240707
0.22/0.39	c java.runtime.name	OpenJDK Runtime Environment
0.22/0.39	c java.vm.name		OpenJDK 64-Bit Server VM
0.22/0.39	c java.vm.version	22.0.1+8-16
0.22/0.39	c java.vm.vendor	Oracle Corporation
0.22/0.39	c sun.arch.data.model	64
0.22/0.39	c java.version		22.0.1
0.22/0.39	c os.name		Linux
0.22/0.39	c os.version		4.18.0-301.1.el8.x86_64
0.22/0.39	c os.arch		amd64
0.22/0.40	c Free memory 		2115194816
0.22/0.40	c Max memory 		16282288128
0.22/0.40	c Total memory 		2122317824
0.22/0.41	c Number of processors 	2
0.37/0.51	--- Begin Solver configuration ---
0.37/0.51	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.37/0.51	Learn all clauses as in MiniSAT
0.37/0.51	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.37/0.51	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.37/0.51	Expensive reason simplification
0.37/0.51	Glucose 2.1 dynamic restart strategy
0.37/0.51	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.37/0.51	timeout=2147483s
0.37/0.51	DB Simplification allowed=false
0.37/0.51	Listener: none
0.37/0.51	--- End Solver configuration ---
0.37/0.52	c Pseudo Boolean Optimization by upper bound
0.37/0.52	c --- Begin Solver configuration ---
0.37/0.52	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.37/0.52	c Learn all clauses as in MiniSAT
0.37/0.52	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.37/0.52	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.37/0.52	c Expensive reason simplification
0.37/0.52	c Glucose 2.1 dynamic restart strategy
0.37/0.52	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.37/0.52	c timeout=2147483s
0.37/0.52	c DB Simplification allowed=false
0.37/0.52	c Listener: none
0.37/0.52	c --- End Solver configuration ---
0.37/0.52	c solving HOME/instance-4440417-1721820325.opb
0.37/0.52	c reading problem ... 
0.37/0.53	c using VERIPB proof format
0.53/0.53	c  objective function found
1.05/0.87	c ... done. Wall clock time 0.342s.
1.05/0.87	c declared #vars     10258
1.05/0.87	c #constraints  80
1.05/0.87	c constraints type 
1.05/0.87	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 42
1.05/0.87	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 36
1.05/0.87	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2
1.05/0.87	c 80 constraints processed.
1.05/0.90	c objective function length is 10240 literals
2.44/1.58	c SATISFIABLE
2.44/1.58	c OPTIMIZING...
2.44/1.58	c Got one! Elapsed wall clock time (in seconds):1.06
2.44/1.58	o 46877
21.12/16.29	c cleaning 2642 clauses out of 5284 with flag 17913/5289
61.17/54.96	c cleaning 4191 clauses out of 8670 with flag 40739/11324
86.43/79.79	c cleaning 5770 clauses out of 11540 with flag 65853/18392
119.64/112.47	c cleaning 6830 clauses out of 13659 with flag 91561/26289
149.77/142.40	c cleaning 7850 clauses out of 15791 with flag 122018/35256
185.51/178.16	c cleaning 8962 clauses out of 17932 with flag 162014/45258
219.67/212.20	c cleaning 9987 clauses out of 19974 with flag 202167/56271
264.66/257.28	c cleaning 11047 clauses out of 22093 with flag 241295/68388
310.84/303.38	c cleaning 11927 clauses out of 23918 with flag 292933/81266
355.74/347.98	c cleaning 12861 clauses out of 25976 with flag 356014/95264
407.72/399.71	c cleaning 13950 clauses out of 28087 with flag 418736/110256
467.55/459.57	c cleaning 14977 clauses out of 30136 with flag 492890/126268
532.64/534.64	c cleaning 15897 clauses out of 32124 with flag 568548/143256
585.59/587.67	c cleaning 17092 clauses out of 34208 with flag 630285/161256
647.33/649.31	c cleaning 18053 clauses out of 36105 with flag 697368/180260
708.95/710.84	c cleaning 19013 clauses out of 38031 with flag 770177/200260
775.74/777.64	c cleaning 19987 clauses out of 39991 with flag 844340/221256
845.72/848.77	c cleaning 20989 clauses out of 41980 with flag 922010/243256
922.75/925.41	c cleaning 21978 clauses out of 43974 with flag 1003438/266256
1001.53/1004.21	c cleaning 22982 clauses out of 45973 with flag 1087877/290256
1084.08/1086.85	c cleaning 23917 clauses out of 47965 with flag 1175849/315256
1171.32/1175.15	c cleaning 25024 clauses out of 50047 with flag 1271303/341284
1251.97/1255.76	c cleaning 25962 clauses out of 51962 with flag 1364246/368256
1339.92/1343.60	c cleaning 26974 clauses out of 53962 with flag 1459311/396256
1422.46/1426.16	c starts		: 923
1422.46/1426.18	c conflicts		: 423497
1422.46/1426.18	c decisions		: 11567744
1422.46/1426.18	c propagations		: 313679367
1422.46/1426.18	c inspects		: 1885337648
1422.46/1426.18	c shortcuts		: 0
1422.46/1426.18	c learnt literals	: 459
1422.46/1426.18	c learnt binary clauses	: 1258
1422.46/1426.18	c learnt ternary clauses	: 1837
1422.46/1426.18	c learnt constraints	: 423037
1422.46/1426.18	c ignored constraints	: 0
1422.46/1426.18	c root simplifications	: 0
1422.46/1426.18	c removed literals (reason simplification)	: 16170633
1422.46/1426.18	c reason swapping (by a shorter reason)	: 0
1422.46/1426.18	c Calls to reduceDB	: 24
1422.46/1426.18	c Number of update (reduction) of LBD	: 231358
1422.46/1426.19	c Imported unit clauses	: 0
1422.46/1426.19	c No decision after first conflict	: false
1422.46/1426.19	c number of reductions to clauses (during analyze)	: 0
1422.46/1426.19	c number of learned constraints concerned by reduction	: 0
1422.46/1426.19	c number of learning phase by resolution	: 0
1422.46/1426.19	c number of learning phase by cutting planes	: 0
1422.46/1426.19	c number of rounding to 1 operations	: 0
1422.46/1426.19	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1422.46/1426.19	c number of reductions of the coefficients by power 2 	: 0
1422.57/1426.21	c number of right shift for reduction by power 2 	: 0
1422.57/1426.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
1422.57/1426.21	c number of ending skipping 	: 0
1422.57/1426.21	c number of internal skipping 	: 0
1422.57/1426.21	c number of derivation steps 	: 0
1422.57/1426.21	c number of skipped derivation steps 	: 0
1422.57/1426.21	c number of remaining unassigned 	: 0
1422.57/1426.21	c number of remaining assigned 	: 0
1422.57/1426.21	c number of falsified literals weakened from reason	: 0
1422.57/1426.21	c number of falsified literals weakened from conflict	: 0
1422.57/1426.21	c time for arithmetic operations	: 0
1422.57/1426.21	c minimum degree of deleted constraints	: null
1422.57/1426.21	c maximum degree of deleted constraints	: null
1422.57/1426.21	c number of deleted constraints	: 0
1422.57/1426.21	c speed (assignments/second)	: 220081.23755954055
1422.57/1426.21	c non guided choices	: 0
1422.57/1426.21	s OPTIMUM FOUND
1422.57/1426.21	c Found 1 solution(s)
1422.57/1426.23	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 x10246 -x10247 -x10248 -x10249 x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 
1422.57/1426.24	c objective function=46877
1422.57/1426.24	c Total wall clock time (in seconds): 1425.717

Verifier Data

OK	46877

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED BOUNDS 46877 <= obj <= 46877
Verification succeeded.

VeriPB + CakePB

-- time out --

Watcher Data

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=166421, runsolver pid=166416

[startup+0.100069 s]*
/proc/loadavg: 0.12 0.10 0.09 1/252 166455
/proc/meminfo: memFree=125183764/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=16995924 memory=24480 CPUtime=0.02 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 1705 0 87 0 0 2 0 0 20 0 5 0 18021967 17403826176 6120 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16784588 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4248981 6120 3796 1 0 540786 0
[pid=166421/tid=166440] ppid=166416 vsize=16995924 memory=4026531971 CPUtime=0.01 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 1205 0 56 0 0 1 0 0 20 0 5 0 18021972 17403826176 6697 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 3 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166464] ppid=166416 vsize=16995924 memory=1699107 CPUtime=0 cores=5,7
/proc/166421/task/166464/stat : 166464 (java) R 166416 166421 166372 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 5 0 18021978 17403826176 6697 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 16995924 KiB
Current children cumulated memory: 24480 KiB

[startup+0.215591 s]*
/proc/loadavg: 0.12 0.10 0.09 6/280 166483
/proc/meminfo: memFree=125083488/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=18594536 memory=48228 CPUtime=0.07 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 5858 0 111 0 3 4 0 0 20 0 13 0 18021967 19040804864 12057 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4648634 12057 4702 1 0 548981 0
[pid=166421/tid=166440] ppid=166416 vsize=18594536 memory=8737651120394928259 CPUtime=0.06 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) S 166416 166421 166372 0 -1 1077936192 5235 0 80 0 3 3 0 0 20 0 13 0 18021972 19040804864 12057 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=18594536 memory=1699107 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 13 0 18021989 19040804864 12057 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166505] ppid=166416 vsize=18594536 memory=3978987682432076123 CPUtime=0 cores=5,7
/proc/166421/task/166505/stat : 166505 (java) R 166416 166421 166372 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 13 0 18021990 19040804864 12057 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18594536 KiB
Current children cumulated memory: 48228 KiB

[startup+0.317332 s]*
/proc/loadavg: 0.12 0.10 0.09 7/316 166519
/proc/meminfo: memFree=125056328/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=18993908 memory=57248 CPUtime=0.22 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 6733 0 111 0 16 6 0 0 20 0 18 0 18021967 19449761792 14312 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4748477 14312 5836 1 0 550940 0
[pid=166421/tid=166440] ppid=166416 vsize=18993908 memory=-8527959959426343612 CPUtime=0.14 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 5604 0 80 0 10 4 0 0 20 0 18 0 18021972 19449761792 14312 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021989 19449761792 14346 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=18993908 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18021992 19449761792 14346 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57248 KiB

[startup+0.702784 s]
/proc/loadavg: 0.12 0.10 0.09 16/316 166519
/proc/meminfo: memFree=125014064/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=18993908 memory=79192 CPUtime=0.86 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 8810 0 111 0 77 9 0 0 20 0 18 0 18021967 19449761792 19798 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4748477 19798 6053 1 0 552487 0
[pid=166421/tid=166440] ppid=166416 vsize=18993908 memory=5724 CPUtime=0.46 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 6075 0 80 0 41 5 0 0 20 0 18 0 18021972 19449761792 19798 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=18993908 memory=2216 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021989 19449761792 19798 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=18993908 memory=232784134201 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18021992 19449761792 19798 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 79192 KiB

[startup+1.50877 s]
/proc/loadavg: 0.12 0.10 0.09 13/319 166522
/proc/meminfo: memFree=124845796/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=176808 CPUtime=2.44 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 14280 0 111 0 230 14 0 0 20 0 20 0 18021967 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 44202 6160 1 0 554370 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=0 CPUtime=1.2 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 6677 0 80 0 111 9 0 0 20 0 20 0 18021972 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=26440 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=104 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 44202 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 176808 KiB

[startup+3.10592 s]
/proc/loadavg: 0.91 0.26 0.14 7/324 166527
/proc/meminfo: memFree=123984568/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=203532 CPUtime=5.4 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 25422 0 111 0 522 18 0 0 20 0 20 0 18021967 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 50883 6161 1 0 558452 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=0 CPUtime=2.75 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 7576 0 80 0 266 9 0 0 20 0 20 0 18021972 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=11616 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=164 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 50883 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 203532 KiB

[startup+6.30025 s]
/proc/loadavg: 0.91 0.26 0.14 8/326 166531
/proc/meminfo: memFree=123159260/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=214280 CPUtime=10.03 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 26032 0 111 0 984 19 0 0 20 0 20 0 18021967 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 53570 6169 1 0 558457 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=0 CPUtime=5.84 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 7622 0 80 0 574 10 0 0 20 0 20 0 18021972 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=280504448404352 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=185312 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 53570 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 10.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 214280 KiB

[startup+12.7004 s]
/proc/loadavg: 1.46 0.40 0.19 5/299 166631
/proc/meminfo: memFree=123123904/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=322188 CPUtime=17.28 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 33493 0 111 0 1703 25 0 0 20 0 20 0 18021967 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 80547 6169 1 0 558457 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=246236 CPUtime=12.04 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 8612 0 80 0 1191 13 0 0 20 0 20 0 18021972 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 80547 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 17.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 322188 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 0.56 0.24 5/324 166804
/proc/meminfo: memFree=122373648/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=347144 CPUtime=31.21 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 48305 0 111 0 3090 31 0 0 20 0 20 0 18021967 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 86786 6182 1 0 558489 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=0 CPUtime=24.66 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 11412 0 80 0 2452 14 0 0 20 0 20 0 18021972 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=355224 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=59456 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 86786 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 31.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 347144 KiB

[startup+51.1137 s]
/proc/loadavg: 2.93 0.90 0.37 5/324 166807
/proc/meminfo: memFree=121293976/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=511220 CPUtime=57.39 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 62198 0 111 0 5700 39 0 0 20 0 20 0 18021967 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 127805 6182 1 0 558555 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=511220 CPUtime=49.67 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 13035 0 80 0 4950 17 0 0 20 0 20 0 18021972 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=511220 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 89 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=482548 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 127805 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0

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

/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 910 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651513 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=11616 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651513 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1178.62 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2606052 KiB

[startup+1242.3 s]
/proc/loadavg: 4.12 4.08 3.14 5/317 167526
/proc/meminfo: memFree=93158932/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=2606064 CPUtime=1238.54 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 137721 0 111 0 123621 233 0 0 20 0 20 0 18021967 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 651516 6228 1 0 666705 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=59632 CPUtime=1217.35 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 37110 0 80 0 121603 132 0 0 20 0 20 0 18021972 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1454 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=1470206954874831193 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=2606064 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 984 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=59632 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651516 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1238.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2606064 KiB

[startup+1302.3 s]
/proc/loadavg: 4.17 4.10 3.21 5/317 167536
/proc/meminfo: memFree=92829472/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=2606092 CPUtime=1298.65 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 138681 0 111 0 129626 239 0 0 20 0 20 0 18021967 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 651523 6228 1 0 666705 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=2606088 CPUtime=1276.8 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 37454 0 80 0 127544 136 0 0 20 0 20 0 18021972 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1456 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=-8744977166470259388 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=11616 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 984 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=2606088 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1298.65 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2606092 KiB

[startup+1362.3 s]
/proc/loadavg: 4.18 4.11 3.27 5/317 167546
/proc/meminfo: memFree=92412368/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=2606092 CPUtime=1358.68 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 139300 0 111 0 135622 246 0 0 20 0 20 0 18021967 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 651523 6228 1 0 666705 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=-8744977166470259388 CPUtime=1336.3 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 37968 0 80 0 133490 140 0 0 20 0 20 0 18021972 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1459 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=2606088 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=2606092 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 987 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=2606092 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651523 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1358.68 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2606092 KiB

[startup+1422.3 s]
/proc/loadavg: 4.06 4.09 3.32 5/317 167556
/proc/meminfo: memFree=92021540/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=2606112 CPUtime=1418.63 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 141279 0 111 0 141610 253 0 0 20 0 20 0 18021967 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 651528 6228 1 0 666705 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=-8744977166470259388 CPUtime=1396.04 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 38744 0 80 0 139459 145 0 0 20 0 20 0 18021972 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1460 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=2606092 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=2606112 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=4588496 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1418.63 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2606112 KiB

[startup+1426.27 s]
# the end of solver process 166421 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1420.09 s, system=2.57073 s

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

[startup+1424 s]*
/proc/loadavg: 4.06 4.09 3.32 5/317 167557
/proc/meminfo: memFree=92007208/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=2606112 CPUtime=1420.34 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 141305 0 111 0 141781 253 0 0 20 0 20 0 18021967 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 651528 6228 1 0 666705 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=-9175919749565817532 CPUtime=1397.75 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 38770 0 80 0 139630 145 0 0 20 0 20 0 18021972 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1460 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=4852 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=4588496 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=2712 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1420.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2606112 KiB

[startup+1425.6 s]
/proc/loadavg: 4.06 4.09 3.32 5/317 167557
/proc/meminfo: memFree=92001248/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=2606112 CPUtime=1421.92 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 141307 0 111 0 141939 253 0 0 20 0 20 0 18021967 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 651528 6228 1 0 666705 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=18416 CPUtime=1399.33 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 38772 0 80 0 139788 145 0 0 20 0 20 0 18021972 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1460 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=2216 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=25760 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=11616 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651528 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1421.92 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2606112 KiB

[startup+1426 s]*
/proc/loadavg: 4.06 4.09 3.32 5/317 167557
/proc/meminfo: memFree=91995624/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19127036 memory=2606144 CPUtime=1422.34 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 141910 0 111 0 141981 253 0 0 20 0 20 0 18021967 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4781759 651536 6228 1 0 666705 0
[pid=166421/tid=166440] ppid=166416 vsize=19127036 memory=-9175919749565817532 CPUtime=1399.74 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) R 166416 166421 166372 0 -1 4194368 39205 0 80 0 139829 145 0 0 20 0 20 0 18021972 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 1460 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19127036 memory=1470206954874831193 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19127036 memory=59632 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166522] ppid=166416 vsize=19127036 memory=12368 CPUtime=0 cores=5,7
/proc/166421/task/166522/stat : 166522 (Timer-0) S 166416 166421 166372 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18022060 19586084864 651536 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1422.34 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2606144 KiB

[startup+1426.2 s]
/proc/loadavg: 4.06 4.09 3.32 5/317 167557
/proc/meminfo: memFree=91995624/131655788 swapFree=131062208/131071996
[pid=166421] ppid=166416 vsize=19260164 memory=2607012 CPUtime=1422.57 cores=5,7
/proc/166421/stat : 166421 (java) S 166416 166421 166372 0 -1 1077936128 146333 0 111 0 142003 254 0 0 20 0 20 0 18021967 19722407936 651753 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 0 0 16800975 0 0 0 17 5 0 0 2 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
/proc/166421/statm: 4815041 651753 6229 1 0 667455 0
[pid=166421/tid=166440] ppid=166416 vsize=19260164 memory=-8744977166470259388 CPUtime=1399.86 cores=5,7
/proc/166421/task/166440/stat : 166440 (java) S 166416 166421 166372 0 -1 1077936192 40695 0 80 0 139840 146 0 0 20 0 20 0 18021972 19722407936 651753 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1462 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166488] ppid=166416 vsize=19260164 memory=1690645 CPUtime=0 cores=5,7
/proc/166421/task/166488/stat : 166488 (Finalizer) S 166416 166421 166372 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021989 19722407936 651753 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
[pid=166421/tid=166518] ppid=166416 vsize=19260164 memory=1699318 CPUtime=0 cores=5,7
/proc/166421/task/166518/stat : 166518 (Common-Cleaner) S 166416 166421 166372 0 -1 1077936192 1069 0 0 0 0 0 0 0 20 0 20 0 18021992 19722407936 651753 134679101440 94574217035776 94574217039472 140724090884896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94574217047288 94574217048080 94574244179968 140724090893231 140724090893413 140724090893413 140724090900424 0
Current children cumulated CPU time: 1422.57 s
Current children cumulated vsize: 19260164 KiB
Current children cumulated memory: 2607012 KiB

Child status: 30

Real time (s): 1426.27
CPU time (s): 1422.66
CPU user time (s): 1420.09
CPU system time (s): 2.57073
CPU usage (%): 99.7468
Max. virtual memory (cumulated for all children) (KiB): 19260164
Max. memory (cumulated for all children) (KiB): 2607012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1420.09
system time used= 2.57073
maximum resident set size= 2608020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147012
page faults= 111
swaps= 0
block input operations= 20744
block output operations= 1864648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45952
involuntary context switches= 3145


# summary of solver processes directly reported to runsolver:
#   pid: 166421
#   total CPU time (s): 1422.66
#   total CPU user time (s): 1420.09
#   total CPU system time (s): 2.57073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0463 second user time and 14.999 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-24 13:25:25
IDJOB=4440417
IDBENCH=148744
IDSOLVER=3079
FILE ID=nodeC007/4440417-1721820325
RUNJOBID= nodeC007-1721820325-166386
SLURM_JOB_ID= 7891455
Free space on /tmp= 723784 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__256.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440417-1721820325/watcher-4440417-1721820325 -o /tmp/evaluation-result-4440417-1721820325/solver-4440417-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721820325-166386 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440417-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440417-1721820325.opb

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

MD5SUM BENCH= 88337e6e5493c2d9c389f064d6ad9b51
RANDOM SEED=1968991675

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125239296 kB
MemAvailable:   129909164 kB
Buffers:          248532 kB
Cached:          5112116 kB
SwapCached:          160 kB
Active:          1666268 kB
Inactive:        3941144 kB
Active(anon):       1720 kB
Inactive(anon):   290392 kB
Active(file):    1664548 kB
Inactive(file):  3650752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131062208 kB
Dirty:              1836 kB
Writeback:             0 kB
AnonPages:        246652 kB
Mapped:            87784 kB
Shmem:             45352 kB
KReclaimable:     389532 kB
Slab:             501268 kB
SReclaimable:     389532 kB
SUnreclaim:       111736 kB
KernelStack:        3572 kB
PageTables:         9560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     611308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      437064 kB
DirectMap2M:    60284928 kB
DirectMap1G:    75497472 kB

Free space on /tmp at the end= 723540 MiB
End job on nodeC007 at 2024-07-24 13:49:12