Trace number 4085176

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 PB 2.3.6 Resolution PB16SAT (TO)7941 1800.04 1769.08

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM2b9af9044591fd3eb9f5def12c800cff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7680
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7680
Optimality of the best value was proved NO
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085176-1465223933.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.82/0.45	c ... done. Wall clock time 0.335s.
0.82/0.45	c declared #vars     10724
0.82/0.45	c #constraints  2045
0.82/0.45	c constraints type 
0.82/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 523
0.82/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1139
0.82/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 383
0.82/0.45	c 2045 constraints processed.
0.82/0.45	c objective function length is 9324 literals
1.92/0.90	c cleaning 2477 clauses out of 4989 with flag 11187/5000
2.15/1.17	c cleaning 4257 clauses out of 8513 with flag 25715/11010
2.48/1.48	c cleaning 5561 clauses out of 11240 with flag 43769/18003
2.48/1.49	c SATISFIABLE
2.48/1.49	c OPTIMIZING...
2.48/1.49	c Got one! Elapsed wall clock time (in seconds):1.38
2.48/1.49	o 8214
2.89/1.78	c cleaning 5233 clauses out of 10670 with flag 15000/23006
3.11/1.96	c Got one! Elapsed wall clock time (in seconds):1.845
3.11/1.96	o 7941
3.59/2.35	c cleaning 5557 clauses out of 11330 with flag 15242/28912
13.05/11.68	c cleaning 5877 clauses out of 11774 with flag 40294/34913
23.72/22.16	c cleaning 6448 clauses out of 12896 with flag 72480/41912
37.21/35.35	c cleaning 7224 clauses out of 14448 with flag 107924/49912
52.91/50.78	c cleaning 8112 clauses out of 16225 with flag 148502/58913
70.55/67.79	c cleaning 9046 clauses out of 18112 with flag 194526/68912
88.67/85.65	c cleaning 10021 clauses out of 20066 with flag 246116/79912
109.83/106.21	c cleaning 11011 clauses out of 22046 with flag 301901/91913
130.66/126.78	c cleaning 12006 clauses out of 24034 with flag 362768/104912
153.85/149.57	c cleaning 12990 clauses out of 26028 with flag 427550/118912
178.33/173.68	c cleaning 14019 clauses out of 28038 with flag 472888/133912
203.59/198.45	c cleaning 15005 clauses out of 30022 with flag 516104/149915
231.72/226.22	c cleaning 15993 clauses out of 32014 with flag 562416/166912
260.58/254.78	c cleaning 16991 clauses out of 34023 with flag 611036/184914
292.66/286.31	c cleaning 18008 clauses out of 36030 with flag 662353/203912
325.14/318.15	c cleaning 18998 clauses out of 38022 with flag 716125/223912
361.38/353.68	c cleaning 20012 clauses out of 40024 with flag 773257/244912
397.97/389.61	c cleaning 21004 clauses out of 42013 with flag 833013/266913
435.21/426.33	c cleaning 21997 clauses out of 44008 with flag 895315/289912
473.39/463.94	c cleaning 22980 clauses out of 46011 with flag 960266/313912
514.22/504.04	c cleaning 23996 clauses out of 48031 with flag 1028252/338912
557.24/546.63	c cleaning 25004 clauses out of 50035 with flag 1099887/364912
598.16/586.64	c cleaning 26011 clauses out of 52033 with flag 1174228/391914
638.86/626.86	c cleaning 27005 clauses out of 54020 with flag 1250514/419912
683.31/670.49	c cleaning 27996 clauses out of 56015 with flag 1329356/448912
730.32/716.35	c cleaning 28998 clauses out of 58019 with flag 1411352/478912
777.20/762.67	c cleaning 30005 clauses out of 60023 with flag 1496271/509914
825.12/809.81	c cleaning 31012 clauses out of 62023 with flag 1583677/541919
875.81/859.70	c cleaning 31998 clauses out of 64004 with flag 1673400/574912
928.38/911.32	c cleaning 33000 clauses out of 66006 with flag 1766736/608912
982.96/964.82	c cleaning 33995 clauses out of 68006 with flag 1862656/643912
1038.41/1019.42	c cleaning 34996 clauses out of 70011 with flag 1961022/679912
1094.39/1074.63	c cleaning 36001 clauses out of 72015 with flag 2061443/716912
1153.76/1132.81	c cleaning 36994 clauses out of 74014 with flag 2166513/754912
1214.04/1192.41	c cleaning 37998 clauses out of 76020 with flag 2273165/793912
1277.27/1254.61	c cleaning 39000 clauses out of 78026 with flag 2383303/833916
1340.07/1315.81	c cleaning 40005 clauses out of 80022 with flag 2495338/874912
1407.70/1382.60	c cleaning 41008 clauses out of 82017 with flag 2609594/916912
1480.58/1454.35	c cleaning 41995 clauses out of 84009 with flag 2726617/959912
1552.31/1525.41	c cleaning 43000 clauses out of 86015 with flag 2845893/1003913
1625.25/1597.13	c cleaning 44008 clauses out of 88015 with flag 2968843/1048913
1705.11/1675.51	c cleaning 44975 clauses out of 90006 with flag 3093544/1094912
1784.84/1753.81	c cleaning 46003 clauses out of 92031 with flag 3221860/1141912
1800.04/1769.00	c starts		: 1845
1800.04/1769.00	c conflicts		: 1151817
1800.04/1769.00	c decisions		: 11191054
1800.04/1769.00	c propagations		: 43287756
1800.04/1769.00	c inspects		: 3045155415
1800.04/1769.00	c shortcuts		: 0
1800.04/1769.00	c learnt literals	: 54
1800.04/1769.00	c learnt binary clauses	: 43
1800.04/1769.00	c learnt ternary clauses	: 25
1800.04/1769.00	c learnt constraints	: 1151762
1800.04/1769.00	c ignored constraints	: 0
1800.04/1769.00	c root simplifications	: 0
1800.04/1769.00	c removed literals (reason simplification)	: 0
1800.04/1769.00	c reason swapping (by a shorter reason)	: 0
1800.04/1769.00	c Calls to reduceDB	: 47
1800.04/1769.00	c Number of update (reduction) of LBD	: 363279
1800.04/1769.00	c Imported unit clauses	: 0
1800.04/1769.00	c number of reductions to clauses (during analyze)	: 0
1800.04/1769.00	c number of learned constraints concerned by reduction	: 0
1800.04/1769.00	c number of learning phase by resolution	: 0
1800.04/1769.00	c number of learning phase by cutting planes	: 0
1800.04/1769.00	c speed (assignments/second)	: 24477.033426538233
1800.04/1769.00	c non guided choices	195116
1800.04/1769.03	c learnt constraints type 
1800.04/1769.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 43
1800.04/1769.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55890
1800.04/1769.03	s SATISFIABLE
1800.04/1769.03	c Found 2 solution(s)
1800.04/1769.04	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 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 x10271 -x10272 -x10273 -x10274 x10275 -x10276 -x10277 -x10278 x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 x10373 -x10374 -x10375 -x10376 x10377 -x10378 -x10379 -x10380 x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 x10530 -x10531 -x10532 -x10533 -x10534 x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 x10620 -x10621 -x10622 -x10623 -x10624 x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 x10674 -x10675 -x10676 -x10677 x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 
1800.04/1769.05	c objective function=7941
1800.04/1769.05	c Total wall clock time (in seconds): 1768.938

Verifier Data 

OK	7941

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085176-1465223933/watcher-4085176-1465223933 -o /tmp/evaluation-result-4085176-1465223933/solver-4085176-1465223933 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085176-1465223933.opb 

pid=2627
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.70 2.46 2.28 3/194 2630
/proc/meminfo: memFree=25514832/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/2630/stat : 2630 (java) R 2627 2630 32365 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 104325638 9433088 59 33554432000 1073741824 1073778376 140734522285504 140734522282632 240556011399 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2304 67 53 9 0 36 0

[startup+0.100116 s]
/proc/loadavg: 2.70 2.46 2.28 3/194 2630
/proc/meminfo: memFree=25514832/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 104325638 9787879424 6029 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2389619 6029 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20027 s]
/proc/loadavg: 2.70 2.46 2.28 3/194 2630
/proc/meminfo: memFree=25514832/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 5001 0 1 0 28 1 0 0 20 0 18 0 104325638 9787879424 6966 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2389619 6966 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300271 s]
/proc/loadavg: 2.70 2.46 2.28 3/194 2630
/proc/meminfo: memFree=25514832/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9558476 CPUtime=0.53 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 8415 0 1 0 51 2 0 0 20 0 18 0 104325638 9787879424 13476 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2389619 13491 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476

[startup+0.700263 s]
/proc/loadavg: 2.70 2.46 2.28 3/194 2630
/proc/meminfo: memFree=25514832/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9625040 CPUtime=1.61 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 12837 0 1 0 156 5 0 0 20 0 19 0 104325638 9856040960 42351 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2406260 42361 2273 9 0 2396937 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 9625040

[startup+1.50068 s]
/proc/loadavg: 2.70 2.46 2.28 3/212 2649
/proc/meminfo: memFree=25354484/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 13854 0 1 0 254 5 0 0 20 0 19 0 104325638 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2406260 42053 2281 9 0 2396937 0
[pid=2630/tid=2632] ppid=2627 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/2630/task/2632/stat : 2632 (java) R 2627 2630 32365 0 -1 4202560 2473 0 1 0 142 3 0 0 20 0 19 0 104325639 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140115094158680 140114936290369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2633] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2633/stat : 2633 (java) S 2627 2630 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140115055651112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2634] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2634/stat : 2634 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114936195240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2635] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2635/stat : 2635 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114935142952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2636] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2636/stat : 2636 (java) S 2627 2630 32365 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114934090152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2637] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2637/stat : 2637 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114933037864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2638] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2638/stat : 2638 (java) S 2627 2630 32365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114931985064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2639] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2639/stat : 2639 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114930932776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2640] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2640/stat : 2640 (java) S 2627 2630 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114929879976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2641] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2641/stat : 2641 (java) S 2627 2630 32365 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 104325641 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114447550696 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2642] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2642/stat : 2642 (java) S 2627 2630 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114446496760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2643] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2643/stat : 2643 (java) S 2627 2630 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114445444360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2644] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2644/stat : 2644 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114444392848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2645] ppid=2627 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/2630/task/2645/stat : 2645 (java) S 2627 2630 32365 0 -1 4202560 4281 0 0 0 50 0 0 0 20 0 19 0 104325644 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114443340472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2646] ppid=2627 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/2630/task/2646/stat : 2646 (java) R 2627 2630 32365 0 -1 4202560 5738 0 0 0 58 0 0 0 20 0 19 0 104325644 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114442287672 140115096888523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2647] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2647/stat : 2647 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114441235576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2648] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2648/stat : 2648 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114440182984 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2649] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2649/stat : 2649 (java) S 2627 2630 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104325688 9856040960 42053 33554432000 1073741824 1073778376 140734522285504 140114439127976 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.70 2.46 2.28 3/212 2649
/proc/meminfo: memFree=25354112/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 14044 0 1 0 433 5 0 0 20 0 19 0 104325638 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2406260 42056 2284 9 0 2396937 0
[pid=2630/tid=2632] ppid=2627 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/2630/task/2632/stat : 2632 (java) R 2627 2630 32365 0 -1 4202560 2474 0 1 0 302 3 0 0 20 0 19 0 104325639 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140115094157728 140114937060730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2633] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2633/stat : 2633 (java) S 2627 2630 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140115055651112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2634] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2634/stat : 2634 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114936195240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2635] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2635/stat : 2635 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114935142952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2636] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2636/stat : 2636 (java) S 2627 2630 32365 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114934090152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2637] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2637/stat : 2637 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114933037864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2638] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2638/stat : 2638 (java) S 2627 2630 32365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114931985064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2639] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2639/stat : 2639 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114930932776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2640] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2640/stat : 2640 (java) S 2627 2630 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114929879976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2641] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2641/stat : 2641 (java) S 2627 2630 32365 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 104325641 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114447550696 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2642] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2642/stat : 2642 (java) S 2627 2630 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114446496760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2643] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2643/stat : 2643 (java) S 2627 2630 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114445444360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2644] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2644/stat : 2644 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114444392848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2645] ppid=2627 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/2630/task/2645/stat : 2645 (java) S 2627 2630 32365 0 -1 4202560 4284 0 0 0 61 0 0 0 20 0 19 0 104325644 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114443340472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2646] ppid=2627 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/2630/task/2646/stat : 2646 (java) S 2627 2630 32365 0 -1 4202560 5924 0 0 0 66 0 0 0 20 0 19 0 104325644 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114442287672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2647] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2647/stat : 2647 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114441235576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2648] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2648/stat : 2648 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114440182984 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2649] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2649/stat : 2649 (java) S 2627 2630 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104325688 9856040960 42056 33554432000 1073741824 1073778376 140734522285504 140114439127976 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.64 2.45 2.27 3/212 2649
/proc/meminfo: memFree=25355632/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9625040 CPUtime=7.59 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 14045 0 1 0 753 6 0 0 20 0 19 0 104325638 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2406260 41503 2284 9 0 2396937 0
[pid=2630/tid=2632] ppid=2627 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/2630/task/2632/stat : 2632 (java) R 2627 2630 32365 0 -1 4202560 2475 0 1 0 621 3 0 0 20 0 19 0 104325639 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140115094157728 140114937060730 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2633] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2633/stat : 2633 (java) S 2627 2630 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140115055651112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2634] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2634/stat : 2634 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114936195240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2635] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2635/stat : 2635 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114935142952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2636] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2636/stat : 2636 (java) S 2627 2630 32365 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114934090152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2637] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2637/stat : 2637 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114933037864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2638] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2638/stat : 2638 (java) S 2627 2630 32365 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114931985064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2639] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2639/stat : 2639 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114930932776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2640] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2640/stat : 2640 (java) S 2627 2630 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104325640 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114929879976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2641] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2641/stat : 2641 (java) S 2627 2630 32365 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 104325641 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114447550696 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2642] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2642/stat : 2642 (java) S 2627 2630 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114446496760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2643] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2643/stat : 2643 (java) S 2627 2630 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114445444360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2644] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2644/stat : 2644 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114444392848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2645] ppid=2627 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/2630/task/2645/stat : 2645 (java) S 2627 2630 32365 0 -1 4202560 4284 0 0 0 61 0 0 0 20 0 19 0 104325644 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114443340472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2646] ppid=2627 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/2630/task/2646/stat : 2646 (java) S 2627 2630 32365 0 -1 4202560 5924 0 0 0 66 0 0 0 20 0 19 0 104325644 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114442287672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2647] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2647/stat : 2647 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114441235576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2648] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2648/stat : 2648 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114440182984 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2649] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2649/stat : 2649 (java) S 2627 2630 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104325688 9856040960 41503 33554432000 1073741824 1073778376 140734522285504 140114439127976 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 9625040


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

[pid=2630/tid=2649] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2649/stat : 2649 (java) S 2627 2630 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104325688 9856040960 829363 33554432000 1073741824 1073778376 140734522285504 140114439127976 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1630.45
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.23 2.26 2.27 3/213 2780
/proc/meminfo: memFree=26139108/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9625040 CPUtime=1691.32 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 33335 0 1 0 168598 534 0 0 20 0 19 0 104325638 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2406260 861138 2292 9 0 2396937 0
[pid=2630/tid=2632] ppid=2627 vsize=9625040 CPUtime=1641.8 cores=0,2,4,6
/proc/2630/task/2632/stat : 2632 (java) R 2627 2630 32365 0 -1 4202560 2600 0 1 0 164151 29 0 0 20 0 19 0 104325639 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140115094158576 140114936993728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2633] ppid=2627 vsize=9625040 CPUtime=4.69 cores=0,2,4,6
/proc/2630/task/2633/stat : 2633 (java) S 2627 2630 32365 0 -1 4202560 1464 0 0 0 412 57 0 0 20 0 19 0 104325640 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140115055651112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2634] ppid=2627 vsize=9625040 CPUtime=4.29 cores=0,2,4,6
/proc/2630/task/2634/stat : 2634 (java) S 2627 2630 32365 0 -1 4202560 1573 0 0 0 374 55 0 0 20 0 19 0 104325640 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114936195240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2635] ppid=2627 vsize=9625040 CPUtime=4.67 cores=0,2,4,6
/proc/2630/task/2635/stat : 2635 (java) S 2627 2630 32365 0 -1 4202560 1724 0 0 0 402 65 0 0 20 0 19 0 104325640 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114935142952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2636] ppid=2627 vsize=9625040 CPUtime=4.8 cores=0,2,4,6
/proc/2630/task/2636/stat : 2636 (java) S 2627 2630 32365 0 -1 4202560 1712 0 0 0 408 72 0 0 20 0 19 0 104325640 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114934090152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2637] ppid=2627 vsize=9625040 CPUtime=5.02 cores=0,2,4,6
/proc/2630/task/2637/stat : 2637 (java) S 2627 2630 32365 0 -1 4202560 1649 0 0 0 436 66 0 0 20 0 19 0 104325640 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114933037864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2638] ppid=2627 vsize=9625040 CPUtime=4.9 cores=0,2,4,6
/proc/2630/task/2638/stat : 2638 (java) S 2627 2630 32365 0 -1 4202560 1513 0 0 0 423 67 0 0 20 0 19 0 104325640 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114931985064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2639] ppid=2627 vsize=9625040 CPUtime=4.44 cores=0,2,4,6
/proc/2630/task/2639/stat : 2639 (java) S 2627 2630 32365 0 -1 4202560 1559 0 0 0 386 58 0 0 20 0 19 0 104325640 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114930932776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2640] ppid=2627 vsize=9625040 CPUtime=4.96 cores=0,2,4,6
/proc/2630/task/2640/stat : 2640 (java) S 2627 2630 32365 0 -1 4202560 1944 0 0 0 429 67 0 0 20 0 19 0 104325640 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114929879976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2641] ppid=2627 vsize=9625040 CPUtime=6.09 cores=0,2,4,6
/proc/2630/task/2641/stat : 2641 (java) S 2627 2630 32365 0 -1 4202560 6029 0 0 0 605 4 0 0 20 0 19 0 104325641 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114447550696 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2642] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2642/stat : 2642 (java) S 2627 2630 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114446496760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2643] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2643/stat : 2643 (java) S 2627 2630 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114445444360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2644] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2644/stat : 2644 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114444392848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2645] ppid=2627 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/2630/task/2645/stat : 2645 (java) S 2627 2630 32365 0 -1 4202560 4286 0 0 0 62 0 0 0 20 0 19 0 104325644 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114443340472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2646] ppid=2627 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/2630/task/2646/stat : 2646 (java) S 2627 2630 32365 0 -1 4202560 5924 0 0 0 66 0 0 0 20 0 19 0 104325644 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114442287672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2647] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2647/stat : 2647 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114441235576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2648] ppid=2627 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/2630/task/2648/stat : 2648 (java) S 2627 2630 32365 0 -1 4202560 95 0 0 0 10 16 0 0 20 0 19 0 104325644 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114440182984 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2649] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2649/stat : 2649 (java) S 2627 2630 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104325688 9856040960 861138 33554432000 1073741824 1073778376 140734522285504 140114439127976 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1691.32
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.40 2.34 2.29 3/213 2781
/proc/meminfo: memFree=25865328/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9625040 CPUtime=1752.31 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 34024 0 1 0 174664 567 0 0 20 0 19 0 104325638 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2406260 929954 2292 9 0 2396937 0
[pid=2630/tid=2632] ppid=2627 vsize=9625040 CPUtime=1700.81 cores=0,2,4,6
/proc/2630/task/2632/stat : 2632 (java) R 2627 2630 32365 0 -1 4202560 2603 0 1 0 170051 30 0 0 20 0 19 0 104325639 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140115094158576 140114936952916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2633] ppid=2627 vsize=9625040 CPUtime=4.83 cores=0,2,4,6
/proc/2630/task/2633/stat : 2633 (java) S 2627 2630 32365 0 -1 4202560 1525 0 0 0 421 62 0 0 20 0 19 0 104325640 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140115055651112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2634] ppid=2627 vsize=9625040 CPUtime=4.54 cores=0,2,4,6
/proc/2630/task/2634/stat : 2634 (java) S 2627 2630 32365 0 -1 4202560 1701 0 0 0 390 64 0 0 20 0 19 0 104325640 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114936195240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2635] ppid=2627 vsize=9625040 CPUtime=4.82 cores=0,2,4,6
/proc/2630/task/2635/stat : 2635 (java) S 2627 2630 32365 0 -1 4202560 1767 0 0 0 414 68 0 0 20 0 19 0 104325640 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114935142952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2636] ppid=2627 vsize=9625040 CPUtime=4.98 cores=0,2,4,6
/proc/2630/task/2636/stat : 2636 (java) S 2627 2630 32365 0 -1 4202560 1756 0 0 0 423 75 0 0 20 0 19 0 104325640 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114934090152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2637] ppid=2627 vsize=9625040 CPUtime=5.17 cores=0,2,4,6
/proc/2630/task/2637/stat : 2637 (java) S 2627 2630 32365 0 -1 4202560 1706 0 0 0 447 70 0 0 20 0 19 0 104325640 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114933037864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2638] ppid=2627 vsize=9625040 CPUtime=5.1 cores=0,2,4,6
/proc/2630/task/2638/stat : 2638 (java) S 2627 2630 32365 0 -1 4202560 1559 0 0 0 440 70 0 0 20 0 19 0 104325640 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114931985064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2639] ppid=2627 vsize=9625040 CPUtime=4.59 cores=0,2,4,6
/proc/2630/task/2639/stat : 2639 (java) S 2627 2630 32365 0 -1 4202560 1626 0 0 0 399 60 0 0 20 0 19 0 104325640 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114930932776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2640] ppid=2627 vsize=9625040 CPUtime=5.11 cores=0,2,4,6
/proc/2630/task/2640/stat : 2640 (java) S 2627 2630 32365 0 -1 4202560 2000 0 0 0 439 72 0 0 20 0 19 0 104325640 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114929879976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2641] ppid=2627 vsize=9625040 CPUtime=6.55 cores=0,2,4,6
/proc/2630/task/2641/stat : 2641 (java) S 2627 2630 32365 0 -1 4202560 6209 0 0 0 651 4 0 0 20 0 19 0 104325641 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114447550696 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2642] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2642/stat : 2642 (java) S 2627 2630 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114446496760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2643] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2643/stat : 2643 (java) S 2627 2630 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114445444360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2644] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2644/stat : 2644 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114444392848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2645] ppid=2627 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/2630/task/2645/stat : 2645 (java) S 2627 2630 32365 0 -1 4202560 4286 0 0 0 62 0 0 0 20 0 19 0 104325644 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114443340472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2646] ppid=2627 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/2630/task/2646/stat : 2646 (java) S 2627 2630 32365 0 -1 4202560 5924 0 0 0 66 0 0 0 20 0 19 0 104325644 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114442287672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2647] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2647/stat : 2647 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114441235576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2648] ppid=2627 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/2630/task/2648/stat : 2648 (java) S 2627 2630 32365 0 -1 4202560 99 0 0 0 10 17 0 0 20 0 19 0 104325644 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114440182984 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2649] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2649/stat : 2649 (java) S 2627 2630 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104325688 9856040960 929954 33554432000 1073741824 1073778376 140734522285504 140114439127976 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1752.31
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1769 s]
/proc/loadavg: 2.23 2.30 2.28 3/213 2782
/proc/meminfo: memFree=25703056/32872528 swapFree=15844/1710320
[pid=2630] ppid=2627 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/2630/stat : 2630 (java) S 2627 2630 32365 0 -1 4202496 34536 0 1 0 179418 586 0 0 20 0 19 0 104325638 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140734522276640 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2630/statm: 2406260 971635 2292 9 0 2396937 0
[pid=2630/tid=2632] ppid=2627 vsize=9625040 CPUtime=1746.46 cores=0,2,4,6
/proc/2630/task/2632/stat : 2632 (java) R 2627 2630 32365 0 -1 4202560 2605 0 1 0 174615 31 0 0 20 0 19 0 104325639 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140115094150864 140114936952882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2633] ppid=2627 vsize=9625040 CPUtime=5.07 cores=0,2,4,6
/proc/2630/task/2633/stat : 2633 (java) S 2627 2630 32365 0 -1 4202560 1560 0 0 0 443 64 0 0 20 0 19 0 104325640 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140115055651112 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2634] ppid=2627 vsize=9625040 CPUtime=4.69 cores=0,2,4,6
/proc/2630/task/2634/stat : 2634 (java) S 2627 2630 32365 0 -1 4202560 1727 0 0 0 403 66 0 0 20 0 19 0 104325640 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114936195240 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2635] ppid=2627 vsize=9625040 CPUtime=5 cores=0,2,4,6
/proc/2630/task/2635/stat : 2635 (java) S 2627 2630 32365 0 -1 4202560 1811 0 0 0 430 70 0 0 20 0 19 0 104325640 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114935142952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2636] ppid=2627 vsize=9625040 CPUtime=5.18 cores=0,2,4,6
/proc/2630/task/2636/stat : 2636 (java) S 2627 2630 32365 0 -1 4202560 1794 0 0 0 441 77 0 0 20 0 19 0 104325640 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114934090152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2637] ppid=2627 vsize=9625040 CPUtime=5.34 cores=0,2,4,6
/proc/2630/task/2637/stat : 2637 (java) S 2627 2630 32365 0 -1 4202560 1780 0 0 0 460 74 0 0 20 0 19 0 104325640 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114933037864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2638] ppid=2627 vsize=9625040 CPUtime=5.2 cores=0,2,4,6
/proc/2630/task/2638/stat : 2638 (java) S 2627 2630 32365 0 -1 4202560 1591 0 0 0 449 71 0 0 20 0 19 0 104325640 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114931985064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2639] ppid=2627 vsize=9625040 CPUtime=4.76 cores=0,2,4,6
/proc/2630/task/2639/stat : 2639 (java) S 2627 2630 32365 0 -1 4202560 1691 0 0 0 414 62 0 0 20 0 19 0 104325640 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114930932776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2630/tid=2640] ppid=2627 vsize=9625040 CPUtime=5.28 cores=0,2,4,6
/proc/2630/task/2640/stat : 2640 (java) S 2627 2630 32365 0 -1 4202560 2030 0 0 0 455 73 0 0 20 0 19 0 104325640 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114929879976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2641] ppid=2627 vsize=9625040 CPUtime=7.12 cores=0,2,4,6
/proc/2630/task/2641/stat : 2641 (java) S 2627 2630 32365 0 -1 4202560 6371 0 0 0 708 4 0 0 20 0 19 0 104325641 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114447550696 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2642] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2642/stat : 2642 (java) S 2627 2630 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114446496760 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2643] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2643/stat : 2643 (java) S 2627 2630 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104325642 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114445444360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2644] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2644/stat : 2644 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114444392848 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2645] ppid=2627 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/2630/task/2645/stat : 2645 (java) S 2627 2630 32365 0 -1 4202560 4286 0 0 0 62 0 0 0 20 0 19 0 104325644 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114443340472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2630/tid=2646] ppid=2627 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/2630/task/2646/stat : 2646 (java) S 2627 2630 32365 0 -1 4202560 5924 0 0 0 66 0 0 0 20 0 19 0 104325644 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114442287672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2647] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2647/stat : 2647 (java) S 2627 2630 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104325644 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114441235576 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2630/tid=2648] ppid=2627 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/2630/task/2648/stat : 2648 (java) S 2627 2630 32365 0 -1 4202560 103 0 0 0 11 18 0 0 20 0 19 0 104325644 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114440182984 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2630/tid=2649] ppid=2627 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2630/task/2649/stat : 2649 (java) S 2627 2630 32365 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104325688 9856040960 971635 33554432000 1073741824 1073778376 140734522285504 140114439127976 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2630 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2630 and gives
#  childrusage.ru_utime.tv_sec=1789
#  childrusage.ru_utime.tv_usec=858900
#  childrusage.ru_stime.tv_sec=6
#  childrusage.ru_stime.tv_usec=263047
# CPU time returned by wait4() is 1796.12
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1769.08
CPU time (s): 1800.04
CPU user time (s): 1794.18
CPU system time (s): 5.86
CPU usage (%): 101.75
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.86
system time used= 6.26305
maximum resident set size= 3886680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34578
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41316
involuntary context switches= 35505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0225 second user time and 12.862 second system time

The end

Launcher Data 

Begin job on node146 at 2016-06-06 16:38:53
IDJOB=4085176
IDBENCH=1882
IDSOLVER=2546
FILE ID=node146/4085176-1465223933
RUNJOBID= node146-1465217554-32381
PBS_JOBID= 19843206
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085176-1465223933/watcher-4085176-1465223933 -o /tmp/evaluation-result-4085176-1465223933/solver-4085176-1465223933 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32381 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085176-1465223933.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2b9af9044591fd3eb9f5def12c800cff
RANDOM SEED=1893162591

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25515268 kB
Buffers:           15644 kB
Cached:           243836 kB
SwapCached:         1468 kB
Active:          4734768 kB
Inactive:         200256 kB
Active(anon):    4675928 kB
Inactive(anon):     1704 kB
Active(file):      58840 kB
Inactive(file):   198552 kB
Unevictable:     1710320 kB
Mlocked:           15844 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       6501524 kB
Mapped:            15428 kB
Shmem:                 0 kB
Slab:             568568 kB
SReclaimable:      12020 kB
SUnreclaim:       556548 kB
KernelStack:        1760 kB
PageTables:        16724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6808164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6320128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node146 at 2016-06-06 17:08:22