Trace number 3454703

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 NameAnswerCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT 1013.11 511.47

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
MD5SUM321349c7a7114538010c83c600c72ae9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark10.7004
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables8281
Total number of constraints826
Number of constraints which are clauses364
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint91
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 171
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
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.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c ManyCore solver with 2 solvers running in parallel
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.00/0.11	c No reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3454703-1307186273.opb
0.00/0.11	c reading problem ... 
0.73/0.47	c ... done. Wall clock time 0.361s.
0.73/0.47	c #vars     8281
0.73/0.47	c #constraints  826
0.73/0.47	c constraints type 
0.73/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 364
0.73/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 462
0.73/0.47	c constraints type 
0.73/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 364
0.73/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 462
11.71/5.31	c cleaning 2489 clauses out of 5000 with flag 5000/5000
25.75/12.38	c cleaning 4246 clauses out of 8513 with flag 11002/11002
44.91/21.93	c cleaning 5603 clauses out of 11266 with flag 18001/18001
65.69/32.32	c cleaning 6797 clauses out of 13663 with flag 26001/26001
92.21/45.68	c cleaning 7912 clauses out of 15865 with flag 35000/35000
112.98/56.08	c cleaning 8943 clauses out of 17953 with flag 45000/45000
143.32/71.23	c cleaning 9468 clauses out of 19010 with flag 55000/55000
172.44/85.88	c cleaning 9727 clauses out of 19542 with flag 65000/65000
213.05/106.21	c cleaning 9856 clauses out of 19816 with flag 75001/75001
248.12/123.85	c cleaning 9923 clauses out of 19959 with flag 85000/85000
277.55/138.62	c cleaning 9937 clauses out of 20036 with flag 95000/95000
307.55/153.75	c cleaning 10008 clauses out of 20102 with flag 105003/105003
344.08/172.17	c cleaning 10024 clauses out of 20092 with flag 115001/115001
380.53/190.44	c cleaning 10029 clauses out of 20067 with flag 125000/125000
410.67/205.70	c cleaning 9937 clauses out of 20038 with flag 135000/135000
444.07/222.43	c cleaning 9972 clauses out of 20101 with flag 145000/145000
469.43/235.34	c cleaning 9954 clauses out of 20129 with flag 155000/155000
506.37/253.99	c cleaning 9898 clauses out of 20177 with flag 165002/165002
543.51/272.65	c cleaning 10106 clauses out of 20278 with flag 175001/175001
567.03/284.50	c cleaning 9986 clauses out of 20171 with flag 185000/185000
597.57/300.09	c cleaning 10000 clauses out of 20187 with flag 195002/195002
630.50/316.62	c cleaning 9984 clauses out of 20185 with flag 205000/205000
664.97/334.00	c cleaning 9981 clauses out of 20201 with flag 215000/215000
701.45/352.46	c cleaning 9955 clauses out of 20220 with flag 225000/225000
736.37/370.19	c cleaning 10057 clauses out of 20265 with flag 235000/235000
775.65/389.97	c cleaning 10021 clauses out of 20209 with flag 245001/245001
818.32/411.48	c cleaning 10006 clauses out of 20188 with flag 255001/255001
847.34/426.18	c cleaning 10042 clauses out of 20182 with flag 265001/265001
868.20/436.89	c cleaning 10006 clauses out of 20139 with flag 275000/275000
902.64/454.21	c cleaning 10038 clauses out of 20133 with flag 285000/285000
925.64/465.96	c cleaning 9891 clauses out of 20096 with flag 295001/295001
966.48/486.52	c cleaning 10010 clauses out of 20205 with flag 305001/305001
1010.25/508.77	c  And the winner is Resolution
1012.83/511.25	c starts		: 134
1012.83/511.25	c conflicts		: 313571
1012.83/511.25	c decisions		: 1416625
1012.83/511.25	c propagations		: 38356963
1012.83/511.25	c inspects		: 276832224
1012.83/511.25	c shortcuts		: 0
1012.83/511.25	c learnt literals	: 0
1012.83/511.25	c learnt binary clauses	: 0
1012.83/511.25	c learnt ternary clauses	: 0
1012.83/511.25	c learnt constraints	: 313571
1012.83/511.25	c ignored constraints	: 0
1012.83/511.25	c root simplifications	: 0
1012.83/511.25	c removed literals (reason simplification)	: 25028241
1012.83/511.25	c reason swapping (by a shorter reason)	: 0
1012.83/511.25	c Calls to reduceDB	: 32
1012.83/511.25	c number of reductions to clauses (during analyze)	: 0
1012.83/511.25	c number of learned constraints concerned by reduction	: 0
1012.83/511.25	c number of learning phase by resolution	: 0
1012.83/511.25	c number of learning phase by cutting planes	: 0
1012.83/511.25	c speed (assignments/second)	: 75094.88037902815
1012.83/511.25	c non guided choices	2288
1012.83/511.26	c learnt constraints type 
1012.83/511.27	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18765
1012.83/511.27	c constraints type 
1012.83/511.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 364
1012.83/511.27	c org.sat4j.minisat.constraints.card.MinWatchCard => 462
1012.83/511.27	c constraints type 
1012.83/511.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 364
1012.83/511.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 462
1012.83/511.27	s SATISFIABLE
1012.83/511.28	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 
1012.83/511.29	c Total wall clock time (in seconds): 511.181

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454703-1307186273/watcher-3454703-1307186273 -o /tmp/evaluation-result-3454703-1307186273/solver-3454703-1307186273 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454703-1307186273.opb 

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: 1.11 1.67 1.86 1/512 17819
/proc/meminfo: memFree=21532948/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 3729 0 1 0 0 0 0 0 23 0 2 0 830224033 10694979584 3430 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2611079 3443 917 9 0 2602235 0
[pid=17819/tid=17820] ppid=17817 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 15618 0 -1 4202560 5890 0 1 0 0 0 0 0 25 0 2 0 830224033 10694979584 6706 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.123911 s]
/proc/loadavg: 1.11 1.67 1.86 1/512 17819
/proc/meminfo: memFree=21532948/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10540164 CPUtime=0.14 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 13475 0 1 0 12 2 0 0 23 0 18 0 830224033 10793127936 13155 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2635041 13155 2137 9 0 2625775 0
[pid=17819/tid=17820] ppid=17817 vsize=10540164 CPUtime=0.1 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 15618 0 -1 4202560 11482 0 1 0 9 1 0 0 18 0 18 0 830224033 10793127936 13155 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10540164

[startup+0.213175 s]
/proc/loadavg: 1.11 1.67 1.86 1/512 17819
/proc/meminfo: memFree=21532948/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10540364 CPUtime=0.3 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 14679 0 1 0 28 2 0 0 23 0 18 0 830224033 10793332736 14207 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2635091 14208 2187 9 0 2625825 0
[pid=17819/tid=17820] ppid=17817 vsize=10540364 CPUtime=0.19 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 15618 0 -1 4202560 12384 0 1 0 18 1 0 0 18 0 18 0 830224033 10793332736 14208 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10540364

[startup+0.300894 s]
/proc/loadavg: 1.11 1.67 1.86 1/512 17819
/proc/meminfo: memFree=21532948/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10543904 CPUtime=0.53 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 18825 0 1 0 51 2 0 0 23 0 18 0 830224033 10796957696 17541 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2635976 17543 2201 9 0 2626710 0
[pid=17819/tid=17820] ppid=17817 vsize=10543904 CPUtime=0.28 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 15618 0 -1 4202560 14281 0 1 0 26 2 0 0 18 0 18 0 830224033 10796957696 17548 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505566707 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10543904

[startup+0.700739 s]
/proc/loadavg: 1.11 1.67 1.86 1/512 17819
/proc/meminfo: memFree=21532948/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10550688 CPUtime=1.57 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 40274 0 1 0 150 7 0 0 23 0 22 0 830224033 10803904512 38991 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2637672 39021 2221 9 0 2628406 0
[pid=17819/tid=17820] ppid=17817 vsize=10550688 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 15618 0 -1 4202560 33899 0 1 0 40 6 0 0 19 0 22 0 830224033 10803904512 39039 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10550688

[startup+1.50158 s]
/proc/loadavg: 1.11 1.67 1.86 10/560 17872
/proc/meminfo: memFree=21217736/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10565124 CPUtime=3.97 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 102068 0 1 0 385 12 0 0 23 0 22 0 830224033 10818686976 98464 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2641281 98473 2229 9 0 2632015 0
[pid=17819/tid=17820] ppid=17817 vsize=10565124 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 15618 0 -1 4202560 33899 0 1 0 40 6 0 0 15 0 22 0 830224033 10818686976 98473 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 98473 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 98475 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 98481 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 98481 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 98481 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 98484 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 98490 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 98490 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 15618 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830224036 10818686976 98490 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 0 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830224036 10818686976 98493 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830224036 10818686976 98499 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224039 10818686976 98499 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512515505 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10565124 CPUtime=0.79 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 15618 0 -1 4202560 8929 0 0 0 78 1 0 0 16 0 22 0 830224039 10818686976 98499 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10565124 CPUtime=0.79 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 15618 0 -1 4202560 5024 0 0 0 79 0 0 0 15 0 22 0 830224039 10818686976 98502 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224039 10818686976 98507 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830224039 10818686976 98507 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17865] ppid=17817 vsize=10565124 CPUtime=0.99 cores=0,2,4,6
/proc/17819/task/17865/stat : 17865 (java) R 17817 17819 15618 0 -1 4202560 711 0 0 0 99 0 0 0 21 0 22 0 830224080 10818686976 98507 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505737920 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17819/tid=17866] ppid=17817 vsize=10565124 CPUtime=0.89 cores=0,2,4,6
/proc/17819/task/17866/stat : 17866 (java) R 17817 17819 15618 0 -1 4202560 52383 0 0 0 85 4 0 0 25 0 22 0 830224080 10818686976 98511 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912506014586 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17867] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17867/stat : 17867 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 830224082 10818686976 98516 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17872] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17872/stat : 17872 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830224092 10818686976 98516 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10565124

[startup+3.10126 s]
/proc/loadavg: 1.34 1.71 1.88 6/560 17872
/proc/meminfo: memFree=20545532/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10565124 CPUtime=7.23 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 239074 0 1 0 696 27 0 0 23 0 22 0 830224033 10818686976 235468 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2641281 235468 2229 9 0 2632015 0
[pid=17819/tid=17820] ppid=17817 vsize=10565124 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 15618 0 -1 4202560 33899 0 1 0 40 6 0 0 15 0 22 0 830224033 10818686976 235468 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 235472 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 235475 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 235475 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 235475 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 235478 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 235482 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 235482 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224035 10818686976 235482 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 15618 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 830224036 10818686976 235483 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 0 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830224036 10818686976 235488 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830224036 10818686976 235489 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224039 10818686976 235489 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512515505 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10565124 CPUtime=0.82 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 15618 0 -1 4202560 8931 0 0 0 81 1 0 0 15 0 22 0 830224039 10818686976 235489 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10565124 CPUtime=0.84 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 15618 0 -1 4202560 5027 0 0 0 84 0 0 0 15 0 22 0 830224039 10818686976 235494 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224039 10818686976 235497 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830224039 10818686976 235497 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17865] ppid=17817 vsize=10565124 CPUtime=2.58 cores=0,2,4,6
/proc/17819/task/17865/stat : 17865 (java) R 17817 17819 15618 0 -1 4202560 1731 0 0 0 258 0 0 0 25 0 22 0 830224080 10818686976 235497 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505743259 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17819/tid=17866] ppid=17817 vsize=10565124 CPUtime=2.5 cores=0,2,4,6
/proc/17819/task/17866/stat : 17866 (java) R 17817 17819 15618 0 -1 4202560 188348 0 0 0 231 19 0 0 25 0 22 0 830224080 10818686976 235499 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912506014586 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17867] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17867/stat : 17867 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 830224082 10818686976 235504 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17872] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17872/stat : 17872 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830224092 10818686976 235504 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 10565124

[startup+6.30169 s]
/proc/loadavg: 1.34 1.71 1.88 6/560 17872
/proc/meminfo: memFree=19565368/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10565124 CPUtime=13.69 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 354979 0 1 0 1330 39 0 0 23 0 22 0 830224033 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2641281 350100 2255 9 0 2632015 0
[pid=17819/tid=17820] ppid=17817 vsize=10565124 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 15618 0 -1 4202560 33899 0 1 0 40 6 0 0 15 0 22 0 830224033 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830224035 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 15618 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830224035 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830224035 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 15618 0 -1 4202560 573 0 0 0 0 0 0 0 18 0 22 0 830224035 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 15618 0 -1 4202560 776 0 0 0 0 0 0 0 18 0 22 0 830224035 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10565124 CPUtime=0.01 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 15618 0 -1 4202560 1307 0 0 0 1 0 0 0 18 0 22 0 830224035 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10565124 CPUtime=0.01 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 15618 0 -1 4202560 1114 0 0 0 1 0 0 0 18 0 22 0 830224035 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10565124 CPUtime=0.01 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 15618 0 -1 4202560 1334 0 0 0 1 0 0 0 18 0 22 0 830224035 10818686976 350100 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0

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

[pid=17819/tid=17833] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224039 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512515505 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10565124 CPUtime=1.01 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 15618 0 -1 4202560 8956 0 0 0 100 1 0 0 15 0 22 0 830224039 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10565124 CPUtime=1.05 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 15618 0 -1 4202560 5057 0 0 0 105 0 0 0 15 0 22 0 830224039 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830224039 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 15618 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830224039 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17865] ppid=17817 vsize=10565124 CPUtime=493.19 cores=0,2,4,6
/proc/17819/task/17865/stat : 17865 (java) R 17817 17819 15618 0 -1 4202560 4501 0 0 0 49318 1 0 0 25 0 22 0 830224080 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505743229 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17819/tid=17866] ppid=17817 vsize=10565124 CPUtime=493.21 cores=0,2,4,6
/proc/17819/task/17866/stat : 17866 (java) R 17817 17819 15618 0 -1 4202560 781097 0 0 0 49240 81 0 0 25 0 22 0 830224080 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912506062212 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17867] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17867/stat : 17867 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 830224082 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17872] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17872/stat : 17872 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830224092 10818686976 972106 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1004.05
Current children cumulated vsize (KiB) 10565124

[startup+508.802 s]
/proc/loadavg: 3.77 3.48 2.72 5/560 17935
/proc/meminfo: memFree=16638596/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10565124 CPUtime=1010.43 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 980552 0 1 0 100929 114 0 0 23 0 20 0 830224033 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2641281 972108 2257 9 0 2632015 0
[pid=17819/tid=17820] ppid=17817 vsize=10565124 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 15618 0 -1 4202560 33909 0 1 0 40 6 0 0 15 0 20 0 830224033 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10565124 CPUtime=0.66 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 15618 0 -1 4202560 17298 0 0 0 63 3 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10565124 CPUtime=0.4 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 15618 0 -1 4202560 7688 0 0 0 39 1 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10565124 CPUtime=0.57 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 15618 0 -1 4202560 13092 0 0 0 55 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10565124 CPUtime=0.55 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 15618 0 -1 4202560 15290 0 0 0 53 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10565124 CPUtime=0.53 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 15618 0 -1 4202560 13204 0 0 0 51 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10565124 CPUtime=0.64 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 15618 0 -1 4202560 19051 0 0 0 62 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10565124 CPUtime=0.56 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 15618 0 -1 4202560 16377 0 0 0 53 3 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10565124 CPUtime=0.59 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 15618 0 -1 4202560 14145 0 0 0 58 1 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10565124 CPUtime=10.52 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 15618 0 -1 4202560 29696 0 0 0 1048 4 0 0 15 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 0 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512515505 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10565124 CPUtime=1.01 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 15618 0 -1 4202560 8956 0 0 0 100 1 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10565124 CPUtime=1.05 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 15618 0 -1 4202560 5057 0 0 0 105 0 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 15618 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17866] ppid=17817 vsize=10565124 CPUtime=496.41 cores=0,2,4,6
/proc/17819/task/17866/stat : 17866 (java) R 17817 17819 15618 0 -1 4202560 781097 0 0 0 49560 81 0 0 25 0 20 0 830224080 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505939904 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17867] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17867/stat : 17867 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 830224082 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1010.43
Current children cumulated vsize (KiB) 10565124

[startup+510.401 s]
/proc/loadavg: 3.77 3.48 2.72 4/558 17935
/proc/meminfo: memFree=16637988/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10565124 CPUtime=1012.04 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 980553 0 1 0 101090 114 0 0 23 0 20 0 830224033 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2641281 972108 2257 9 0 2632015 0
[pid=17819/tid=17820] ppid=17817 vsize=10565124 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) R 17817 17819 15618 0 -1 4202560 33910 0 1 0 40 6 0 0 15 0 20 0 830224033 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10565124 CPUtime=0.66 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 15618 0 -1 4202560 17298 0 0 0 63 3 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10565124 CPUtime=0.4 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 15618 0 -1 4202560 7688 0 0 0 39 1 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10565124 CPUtime=0.57 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 15618 0 -1 4202560 13092 0 0 0 55 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10565124 CPUtime=0.55 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 15618 0 -1 4202560 15290 0 0 0 53 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10565124 CPUtime=0.53 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 15618 0 -1 4202560 13204 0 0 0 51 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10565124 CPUtime=0.64 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 15618 0 -1 4202560 19051 0 0 0 62 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10565124 CPUtime=0.56 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 15618 0 -1 4202560 16377 0 0 0 53 3 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10565124 CPUtime=0.59 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 15618 0 -1 4202560 14145 0 0 0 58 1 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10565124 CPUtime=10.52 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 15618 0 -1 4202560 29696 0 0 0 1048 4 0 0 16 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 0 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512515505 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10565124 CPUtime=1.01 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 15618 0 -1 4202560 8956 0 0 0 100 1 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10565124 CPUtime=1.05 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 15618 0 -1 4202560 5057 0 0 0 105 0 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 15618 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17866] ppid=17817 vsize=10565124 CPUtime=498.03 cores=0,2,4,6
/proc/17819/task/17866/stat : 17866 (java) R 17817 17819 15618 0 -1 4202560 781097 0 0 0 49722 81 0 0 25 0 20 0 830224080 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505940461 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17867] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17867/stat : 17867 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 830224082 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1012.04
Current children cumulated vsize (KiB) 10565124

[startup+511.201 s]
/proc/loadavg: 3.77 3.48 2.72 4/558 17935
/proc/meminfo: memFree=16637988/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=10565124 CPUtime=1012.83 cores=0,2,4,6
/proc/17819/stat : 17819 (java) S 17817 17819 15618 0 -1 4202496 980553 0 1 0 101169 114 0 0 23 0 20 0 830224033 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 2641281 972108 2257 9 0 2632015 0
[pid=17819/tid=17820] ppid=17817 vsize=10565124 CPUtime=0.46 cores=0,2,4,6
/proc/17819/task/17820/stat : 17820 (java) S 17817 17819 15618 0 -1 4202560 33910 0 1 0 40 6 0 0 15 0 20 0 830224033 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17822] ppid=17817 vsize=10565124 CPUtime=0.66 cores=0,2,4,6
/proc/17819/task/17822/stat : 17822 (java) S 17817 17819 15618 0 -1 4202560 17298 0 0 0 63 3 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17823] ppid=17817 vsize=10565124 CPUtime=0.4 cores=0,2,4,6
/proc/17819/task/17823/stat : 17823 (java) S 17817 17819 15618 0 -1 4202560 7688 0 0 0 39 1 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17824] ppid=17817 vsize=10565124 CPUtime=0.57 cores=0,2,4,6
/proc/17819/task/17824/stat : 17824 (java) S 17817 17819 15618 0 -1 4202560 13092 0 0 0 55 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17825] ppid=17817 vsize=10565124 CPUtime=0.55 cores=0,2,4,6
/proc/17819/task/17825/stat : 17825 (java) S 17817 17819 15618 0 -1 4202560 15290 0 0 0 53 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17826] ppid=17817 vsize=10565124 CPUtime=0.53 cores=0,2,4,6
/proc/17819/task/17826/stat : 17826 (java) S 17817 17819 15618 0 -1 4202560 13204 0 0 0 51 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17827] ppid=17817 vsize=10565124 CPUtime=0.64 cores=0,2,4,6
/proc/17819/task/17827/stat : 17827 (java) S 17817 17819 15618 0 -1 4202560 19051 0 0 0 62 2 0 0 15 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17828] ppid=17817 vsize=10565124 CPUtime=0.56 cores=0,2,4,6
/proc/17819/task/17828/stat : 17828 (java) S 17817 17819 15618 0 -1 4202560 16377 0 0 0 53 3 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17829] ppid=17817 vsize=10565124 CPUtime=0.59 cores=0,2,4,6
/proc/17819/task/17829/stat : 17829 (java) S 17817 17819 15618 0 -1 4202560 14145 0 0 0 58 1 0 0 16 0 20 0 830224035 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17830] ppid=17817 vsize=10565124 CPUtime=10.52 cores=0,2,4,6
/proc/17819/task/17830/stat : 17830 (java) S 17817 17819 15618 0 -1 4202560 29696 0 0 0 1048 4 0 0 15 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 0 0 16800975 18446604449117099904 0 0 -1 4 0 0 0
[pid=17819/tid=17831] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17831/stat : 17831 (java) S 17817 17819 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17832] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17832/stat : 17832 (java) S 17817 17819 15618 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 20 0 830224036 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17833] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17833/stat : 17833 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512515505 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17834] ppid=17817 vsize=10565124 CPUtime=1.01 cores=0,2,4,6
/proc/17819/task/17834/stat : 17834 (java) S 17817 17819 15618 0 -1 4202560 8956 0 0 0 100 1 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 2 0 0 0
[pid=17819/tid=17835] ppid=17817 vsize=10565124 CPUtime=1.05 cores=0,2,4,6
/proc/17819/task/17835/stat : 17835 (java) S 17817 17819 15618 0 -1 4202560 5057 0 0 0 105 0 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17836] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17836/stat : 17836 (java) S 17817 17819 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512507801 0 4 0 16800975 18446604449117099904 0 0 -1 6 0 0 0
[pid=17819/tid=17837] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17837/stat : 17837 (java) S 17817 17819 15618 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 20 0 830224039 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
[pid=17819/tid=17866] ppid=17817 vsize=10565124 CPUtime=498.81 cores=0,2,4,6
/proc/17819/task/17866/stat : 17866 (java) R 17817 17819 15618 0 -1 4202560 781097 0 0 0 49800 81 0 0 25 0 20 0 830224080 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 46912505940072 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17819/tid=17867] ppid=17817 vsize=10565124 CPUtime=0 cores=0,2,4,6
/proc/17819/task/17867/stat : 17867 (java) S 17817 17819 15618 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 830224082 10818686976 972108 33554432000 1073741824 1073778376 140735894904608 18446744073709551615 254512508416 0 4 0 16800975 18446604449117099904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1012.83
Current children cumulated vsize (KiB) 10565124

[startup+511.401 s]
/proc/loadavg: 3.77 3.48 2.72 4/558 17935
/proc/meminfo: memFree=16637988/32950928 swapFree=34259960/67111528
[pid=17819] ppid=17817 vsize=0 CPUtime=1013.03 cores=0,2,4,6
/proc/17819/stat : 17819 (java) R 17817 17819 15618 0 -1 4203524 980588 0 1 0 101180 123 0 0 18 0 1 0 830224033 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17819/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1013.03
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 511.47
CPU time (s): 1013.11
CPU user time (s): 1011.8
CPU system time (s): 1.3078
CPU usage (%): 198.078
Max. virtual memory (cumulated for all children) (KiB): 10565124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1011.8
system time used= 1.3078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 980588
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14170
involuntary context switches= 5997

runsolver used 2.84957 second user time and 6.02008 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-04 13:17:53
IDJOB=3454703
IDBENCH=1156
IDSOLVER=1950
FILE ID=node149/3454703-1307186273
RUNJOBID= node149-1307186273-17809
PBS_JOBID= 13508817
Free space on /tmp= 73764 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454703-1307186273/watcher-3454703-1307186273 -o /tmp/evaluation-result-3454703-1307186273/solver-3454703-1307186273 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454703-1307186273.opb

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

MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9
RANDOM SEED=2049977963

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21533104 kB
Buffers:        336968 kB
Cached:        3270788 kB
SwapCached:     123196 kB
Active:         365592 kB
Inactive:     10716216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21533104 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:            1180 kB
Writeback:           0 kB
AnonPages:     7375392 kB
Mapped:          17188 kB
Slab:           147940 kB
PageTables:     117604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173083864 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73764 MiB
End job on node149 at 2011-06-04 13:26:25