Trace number 3728961

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
PB11: Sat4j Res//CP 2.3.0SAT 939.341 473.096

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
MD5SUM321349c7a7114538010c83c600c72ae9
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark9.64253
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.04/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.13	c See www.sat4j.org for details.
0.04/0.13	c version 2.3.1.v20110525
0.04/0.13	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.13	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.13	c java.vm.version	19.1-b02
0.04/0.13	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.13	c sun.arch.data.model	64
0.04/0.13	c java.version		1.6.0_24
0.04/0.13	c os.name		Linux
0.04/0.13	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.13	c os.arch		amd64
0.04/0.13	c Free memory 		9996466904
0.04/0.13	c Max memory 		10048897024
0.04/0.13	c Total memory 		10048897024
0.04/0.13	c Number of processors 	8
0.04/0.15	c Pseudo Boolean Optimization
0.04/0.15	c ManyCore solver with 2 solvers running in parallel
0.04/0.15	c --- Begin Solver configuration ---
0.04/0.15	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.04/0.15	c Learn all clauses as in MiniSAT
0.04/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.04/0.15	c Expensive reason simplification
0.04/0.15	c Armin Biere (Picosat) restarts strategy
0.04/0.15	c Glucose learned constraints deletion strategy
0.04/0.15	c timeout=2147483s
0.04/0.15	c DB Simplification allowed=false
0.04/0.15	c --- End Solver configuration ---
0.04/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.04/0.15	c --- Begin Solver configuration ---
0.04/0.15	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.04/0.15	c Learn all clauses as in MiniSAT
0.04/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.04/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.04/0.15	c No reason simplification
0.04/0.15	c Armin Biere (Picosat) restarts strategy
0.04/0.15	c Glucose learned constraints deletion strategy
0.04/0.15	c timeout=2147483s
0.04/0.15	c DB Simplification allowed=false
0.04/0.15	c --- End Solver configuration ---
0.04/0.15	c solving HOME/instance-3728961-1338678623.opb
0.04/0.15	c reading problem ... 
0.70/0.47	c ... done. Wall clock time 0.314s.
0.70/0.47	c #vars     8281
0.70/0.47	c #constraints  826
0.70/0.47	c constraints type 
0.70/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 364
0.70/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 462
0.70/0.47	c constraints type 
0.70/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 364
0.70/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 462
11.40/5.13	c cleaning 2489 clauses out of 5000 with flag 5000/5000
24.49/11.61	c cleaning 4246 clauses out of 8513 with flag 11002/11002
41.67/20.21	c cleaning 5603 clauses out of 11266 with flag 18001/18001
60.49/29.60	c cleaning 6797 clauses out of 13663 with flag 26001/26001
83.82/41.39	c cleaning 7912 clauses out of 15865 with flag 35000/35000
101.99/50.47	c cleaning 8943 clauses out of 17953 with flag 45000/45000
128.78/63.87	c cleaning 9468 clauses out of 19010 with flag 55000/55000
155.93/77.49	c cleaning 9727 clauses out of 19542 with flag 65000/65000
195.81/97.41	c cleaning 9856 clauses out of 19816 with flag 75001/75001
226.96/113.06	c cleaning 9923 clauses out of 19959 with flag 85000/85000
252.64/125.92	c cleaning 9937 clauses out of 20036 with flag 95000/95000
278.90/139.14	c cleaning 10008 clauses out of 20102 with flag 105003/105003
311.07/155.35	c cleaning 10024 clauses out of 20092 with flag 115001/115001
342.96/171.36	c cleaning 10029 clauses out of 20067 with flag 125000/125000
369.38/184.60	c cleaning 9937 clauses out of 20038 with flag 135000/135000
399.07/199.59	c cleaning 9972 clauses out of 20101 with flag 145000/145000
421.60/210.96	c cleaning 9954 clauses out of 20129 with flag 155000/155000
453.21/226.82	c cleaning 9898 clauses out of 20177 with flag 165002/165002
486.05/243.34	c cleaning 10106 clauses out of 20278 with flag 175001/175001
506.82/253.87	c cleaning 9986 clauses out of 20171 with flag 185000/185000
533.44/267.40	c cleaning 10000 clauses out of 20187 with flag 195002/195002
564.03/282.72	c cleaning 9984 clauses out of 20185 with flag 205000/205000
598.02/299.90	c cleaning 9981 clauses out of 20201 with flag 215000/215000
633.46/317.62	c cleaning 9955 clauses out of 20220 with flag 225000/225000
667.61/334.93	c cleaning 10057 clauses out of 20265 with flag 235000/235000
706.58/354.56	c cleaning 10021 clauses out of 20209 with flag 245001/245001
748.58/375.67	c cleaning 10006 clauses out of 20188 with flag 255001/255001
777.11/390.08	c cleaning 10042 clauses out of 20182 with flag 265001/265001
797.22/400.40	c cleaning 10006 clauses out of 20139 with flag 275000/275000
830.33/417.05	c cleaning 10038 clauses out of 20133 with flag 285000/285000
852.67/428.39	c cleaning 9891 clauses out of 20096 with flag 295001/295001
893.00/448.60	c cleaning 10010 clauses out of 20205 with flag 305001/305001
936.34/470.59	c  And the winner is Resolution
939.02/473.04	c starts		: 134
939.02/473.04	c conflicts		: 313571
939.02/473.04	c decisions		: 1416625
939.02/473.04	c propagations		: 38356963
939.02/473.04	c inspects		: 276832224
939.02/473.04	c shortcuts		: 0
939.02/473.04	c learnt literals	: 0
939.02/473.04	c learnt binary clauses	: 0
939.02/473.04	c learnt ternary clauses	: 0
939.02/473.04	c learnt constraints	: 313571
939.02/473.04	c ignored constraints	: 0
939.02/473.04	c root simplifications	: 0
939.02/473.04	c removed literals (reason simplification)	: 25028241
939.02/473.04	c reason swapping (by a shorter reason)	: 0
939.02/473.04	c Calls to reduceDB	: 32
939.02/473.04	c number of reductions to clauses (during analyze)	: 0
939.02/473.04	c number of learned constraints concerned by reduction	: 0
939.02/473.04	c number of learning phase by resolution	: 0
939.02/473.04	c number of learning phase by cutting planes	: 0
939.02/473.04	c speed (assignments/second)	: 81167.07648423084
939.02/473.04	c non guided choices	2288
939.02/473.05	c learnt constraints type 
939.02/473.05	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 18765
939.02/473.05	c constraints type 
939.02/473.05	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 364
939.02/473.05	c org.sat4j.minisat.constraints.card.MinWatchCard => 462
939.02/473.05	c constraints type 
939.02/473.05	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 364
939.02/473.05	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 462
939.02/473.05	s SATISFIABLE
939.02/473.06	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 
939.02/473.08	c Total wall clock time (in seconds): 472.922

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

running on 4 cores: 1,3,5,7

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: 0.07 0.03 0.23 2/172 20063
/proc/meminfo: memFree=27692612/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20063/stat : 20063 (java) R 20061 20063 20030 0 -1 4202496 239 0 1 0 0 0 0 0 20 0 1 0 333988461 9515008 176 33554432000 1073741824 1073778376 140736974381248 140736974363976 251032060816 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20063/statm: 2323 176 133 9 0 71 0

[startup+0.0915251 s]
/proc/loadavg: 0.07 0.03 0.23 2/172 20063
/proc/meminfo: memFree=27692612/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11253516 CPUtime=0.04 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 3781 0 5 0 3 1 0 0 20 0 13 0 333988461 11523600384 12148 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2813379 12148 1703 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.100271 s]
/proc/loadavg: 0.07 0.03 0.23 2/172 20063
/proc/meminfo: memFree=27692612/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11253516 CPUtime=0.04 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 3797 0 5 0 3 1 0 0 20 0 13 0 333988461 11523600384 12164 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2813379 12164 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.300229 s]
/proc/loadavg: 0.07 0.03 0.23 2/172 20063
/proc/meminfo: memFree=27692612/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11586392 CPUtime=0.44 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 7559 0 5 0 42 2 0 0 20 0 18 0 333988461 11864465408 18087 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2896598 18087 2220 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700208 s]
/proc/loadavg: 0.07 0.03 0.23 2/172 20063
/proc/meminfo: memFree=27692612/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11852648 CPUtime=1.64 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 16366 0 5 0 158 6 0 0 20 0 22 0 333988461 12137111552 46598 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2963162 46598 2245 9 0 2953849 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 11852648

[startup+1.50077 s]
/proc/loadavg: 0.07 0.03 0.23 9/220 20120
/proc/meminfo: memFree=27110716/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11852648 CPUtime=4.08 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 18891 0 5 0 397 11 0 0 20 0 22 0 333988461 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2963162 101804 2253 9 0 2953849 0
[pid=20063/tid=20065] ppid=20061 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/20063/task/20065/stat : 20065 (java) S 20061 20063 20030 0 -1 4202560 2913 0 2 0 37 4 0 0 20 0 22 0 333988462 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139639423509656 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0
[pid=20063/tid=20066] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20066/stat : 20066 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139639391918248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20067] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20067/stat : 20067 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139639390865704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20068] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20068/stat : 20068 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139639389813160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20069] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20069/stat : 20069 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139639388760616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20070] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20070/stat : 20070 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139639387708072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20071] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20071/stat : 20071 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139639254911784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20072] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20072/stat : 20072 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139639253859240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20073] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20073/stat : 20073 (java) S 20061 20063 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638782028840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20074] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20074/stat : 20074 (java) S 20061 20063 20030 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333988468 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638769829992 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20075] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20075/stat : 20075 (java) S 20061 20063 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 333988469 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638768776312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20076] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20076/stat : 20076 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988469 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638767723656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20081] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20081/stat : 20081 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988471 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638766672400 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20082] ppid=20061 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/20063/task/20082/stat : 20082 (java) S 20061 20063 20030 0 -1 4202560 7618 0 0 0 78 2 0 0 20 0 22 0 333988471 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638765619768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20083] ppid=20061 vsize=11852648 CPUtime=0.82 cores=1,3,5,7
/proc/20063/task/20083/stat : 20083 (java) S 20061 20063 20030 0 -1 4202560 6960 0 0 0 81 1 0 0 20 0 22 0 333988471 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638764567224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20084] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20084/stat : 20084 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988471 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638763514872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20085] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20085/stat : 20085 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988471 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638762462536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20113] ppid=20061 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/20063/task/20113/stat : 20113 (java) R 20061 20063 20030 0 -1 4202560 24 0 0 0 100 0 0 0 20 0 22 0 333988508 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638761349640 139639269222363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20114] ppid=20061 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/20063/task/20114/stat : 20114 (java) R 20061 20063 20030 0 -1 4202560 174 0 0 0 94 5 0 0 20 0 22 0 333988508 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638760296600 139639269636480 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20115] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20115/stat : 20115 (java) S 20061 20063 20030 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 333988509 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638759244840 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20116] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20116/stat : 20116 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988510 12137111552 101804 33554432000 1073741824 1073778376 140734694676128 139638758192296 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 11852648

[startup+3.10076 s]
/proc/loadavg: 0.07 0.03 0.23 5/220 20120
/proc/meminfo: memFree=26445612/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11852648 CPUtime=7.34 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 19160 0 5 0 713 21 0 0 20 0 22 0 333988461 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2963162 238508 2253 9 0 2953849 0
[pid=20063/tid=20065] ppid=20061 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/20063/task/20065/stat : 20065 (java) S 20061 20063 20030 0 -1 4202560 2913 0 2 0 37 4 0 0 20 0 22 0 333988462 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139639423509656 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0
[pid=20063/tid=20066] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20066/stat : 20066 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139639391918248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20067] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20067/stat : 20067 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139639390865704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20068] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20068/stat : 20068 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139639389813160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20069] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20069/stat : 20069 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139639388760616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20070] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20070/stat : 20070 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139639387708072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20071] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20071/stat : 20071 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139639254911784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20072] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20072/stat : 20072 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139639253859240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20073] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20073/stat : 20073 (java) S 20061 20063 20030 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638782028840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20074] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20074/stat : 20074 (java) S 20061 20063 20030 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333988468 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638769829992 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20075] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20075/stat : 20075 (java) S 20061 20063 20030 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 333988469 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638768776312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20076] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20076/stat : 20076 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988469 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638767723656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20081] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20081/stat : 20081 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988471 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638766672400 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20082] ppid=20061 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/20063/task/20082/stat : 20082 (java) S 20061 20063 20030 0 -1 4202560 7618 0 0 0 83 2 0 0 20 0 22 0 333988471 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638765619768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20083] ppid=20061 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/20063/task/20083/stat : 20083 (java) S 20061 20063 20030 0 -1 4202560 6960 0 0 0 84 1 0 0 20 0 22 0 333988471 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638764567224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20084] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20084/stat : 20084 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988471 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638763514872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20085] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20085/stat : 20085 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988471 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638762462536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20113] ppid=20061 vsize=11852648 CPUtime=2.6 cores=1,3,5,7
/proc/20063/task/20113/stat : 20113 (java) R 20061 20063 20030 0 -1 4202560 28 0 0 0 260 0 0 0 20 0 22 0 333988508 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638761349848 139639269222470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20114] ppid=20061 vsize=11852648 CPUtime=2.57 cores=1,3,5,7
/proc/20063/task/20114/stat : 20114 (java) R 20061 20063 20030 0 -1 4202560 439 0 0 0 242 15 0 0 20 0 22 0 333988508 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638760294384 139639269077553 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20115] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20115/stat : 20115 (java) S 20061 20063 20030 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 333988509 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638759244840 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20116] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20116/stat : 20116 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988510 12137111552 238508 33554432000 1073741824 1073778376 140734694676128 139638758192296 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 11852648

[startup+6.30085 s]
/proc/loadavg: 0.39 0.09 0.25 5/220 20120
/proc/meminfo: memFree=25088652/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11852648 CPUtime=13.85 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 19470 0 5 0 1351 34 0 0 20 0 22 0 333988461 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2963162 348575 2278 9 0 2953849 0
[pid=20063/tid=20065] ppid=20061 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/20063/task/20065/stat : 20065 (java) S 20061 20063 20030 0 -1 4202560 2913 0 2 0 37 4 0 0 20 0 22 0 333988462 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139639423509656 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0
[pid=20063/tid=20066] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20066/stat : 20066 (java) S 20061 20063 20030 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139639391918248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20067] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20067/stat : 20067 (java) S 20061 20063 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139639390865704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20068] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20068/stat : 20068 (java) S 20061 20063 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139639389813160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20069] ppid=20061 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/20063/task/20069/stat : 20069 (java) S 20061 20063 20030 0 -1 4202560 16 0 0 0 0 2 0 0 20 0 22 0 333988467 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139639388760616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20070] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20070/stat : 20070 (java) S 20061 20063 20030 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139639387708072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20071] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20071/stat : 20071 (java) S 20061 20063 20030 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139639254911784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20072] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20072/stat : 20072 (java) S 20061 20063 20030 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139639253859240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20073] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20073/stat : 20073 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333988467 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139638782028840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20074] ppid=20061 vsize=11852648 CPUtime=0.06 cores=1,3,5,7
/proc/20063/task/20074/stat : 20074 (java) S 20061 20063 20030 0 -1 4202560 39 0 0 0 6 0 0 0 20 0 22 0 333988468 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139638769829992 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20075] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20075/stat : 20075 (java) S 20061 20063 20030 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 333988469 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139638768776312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20076] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20076/stat : 20076 (java) S 20061 20063 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333988469 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139638767723656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20081] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20081/stat : 20081 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333988471 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139638766672400 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20082] ppid=20061 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/20063/task/20082/stat : 20082 (java) S 20061 20063 20030 0 -1 4202560 7622 0 0 0 84 2 0 0 20 0 22 0 333988471 12137111552 348575 33554432000 1073741824 1073778376 140734694676128 139638765619768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

/proc/20063/task/20070/stat : 20070 (java) S 20061 20063 20030 0 -1 4202560 151 0 0 0 87 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639387708072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20071] ppid=20061 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/20063/task/20071/stat : 20071 (java) S 20061 20063 20030 0 -1 4202560 107 0 0 0 73 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639254911784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20072] ppid=20061 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/20063/task/20072/stat : 20072 (java) S 20061 20063 20030 0 -1 4202560 137 0 0 0 73 7 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639253859240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20073] ppid=20061 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/20063/task/20073/stat : 20073 (java) S 20061 20063 20030 0 -1 4202560 130 0 0 0 73 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638782028840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20074] ppid=20061 vsize=11852648 CPUtime=9.2 cores=1,3,5,7
/proc/20063/task/20074/stat : 20074 (java) S 20061 20063 20030 0 -1 4202560 128 0 0 0 913 7 0 0 20 0 20 0 333988468 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638769829992 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20075] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20075/stat : 20075 (java) S 20061 20063 20030 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 333988469 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638768776312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20076] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20076/stat : 20076 (java) S 20061 20063 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 333988469 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638767723656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20081] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20081/stat : 20081 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638766672400 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20082] ppid=20061 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/20063/task/20082/stat : 20082 (java) S 20061 20063 20030 0 -1 4202560 7642 0 0 0 105 2 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638765619768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20083] ppid=20061 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/20063/task/20083/stat : 20083 (java) S 20061 20063 20030 0 -1 4202560 6970 0 0 0 104 2 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638764567224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20084] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20084/stat : 20084 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638763514872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20085] ppid=20061 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/20063/task/20085/stat : 20085 (java) S 20061 20063 20030 0 -1 4202560 28 0 0 0 8 10 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638762462536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20114] ppid=20061 vsize=11852648 CPUtime=460.25 cores=1,3,5,7
/proc/20063/task/20114/stat : 20114 (java) R 20061 20063 20030 0 -1 4202560 1613 0 0 0 45964 61 0 0 20 0 20 0 333988508 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638760295064 139639269356727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20116] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20116/stat : 20116 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 333988510 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638758192296 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 937.92
Current children cumulated vsize (KiB) 11852648

[startup+472.701 s]
/proc/loadavg: 4.03 3.19 1.72 4/217 20121
/proc/meminfo: memFree=19871924/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11852648 CPUtime=938.71 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 21608 0 5 0 93738 133 0 0 20 0 20 0 333988461 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2963162 965836 2280 9 0 2953849 0
[pid=20063/tid=20065] ppid=20061 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/20063/task/20065/stat : 20065 (java) S 20061 20063 20030 0 -1 4202560 2923 0 2 0 39 5 0 0 20 0 20 0 333988462 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639423509656 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0
[pid=20063/tid=20066] ppid=20061 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/20063/task/20066/stat : 20066 (java) S 20061 20063 20030 0 -1 4202560 164 0 0 0 80 8 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639391918248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20067] ppid=20061 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/20063/task/20067/stat : 20067 (java) S 20061 20063 20030 0 -1 4202560 111 0 0 0 73 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639390865704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20068] ppid=20061 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/20063/task/20068/stat : 20068 (java) S 20061 20063 20030 0 -1 4202560 125 0 0 0 85 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639389813160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20069] ppid=20061 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/20063/task/20069/stat : 20069 (java) S 20061 20063 20030 0 -1 4202560 109 0 0 0 73 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639388760616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20070] ppid=20061 vsize=11852648 CPUtime=0.93 cores=1,3,5,7
/proc/20063/task/20070/stat : 20070 (java) S 20061 20063 20030 0 -1 4202560 151 0 0 0 87 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639387708072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20071] ppid=20061 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/20063/task/20071/stat : 20071 (java) S 20061 20063 20030 0 -1 4202560 107 0 0 0 73 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639254911784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20072] ppid=20061 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/20063/task/20072/stat : 20072 (java) S 20061 20063 20030 0 -1 4202560 137 0 0 0 73 7 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639253859240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20073] ppid=20061 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/20063/task/20073/stat : 20073 (java) S 20061 20063 20030 0 -1 4202560 130 0 0 0 73 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638782028840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20074] ppid=20061 vsize=11852648 CPUtime=9.2 cores=1,3,5,7
/proc/20063/task/20074/stat : 20074 (java) S 20061 20063 20030 0 -1 4202560 128 0 0 0 913 7 0 0 20 0 20 0 333988468 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638769829992 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20075] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20075/stat : 20075 (java) S 20061 20063 20030 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 333988469 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638768776312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20076] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20076/stat : 20076 (java) S 20061 20063 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 333988469 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638767723656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20081] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20081/stat : 20081 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638766672400 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20082] ppid=20061 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/20063/task/20082/stat : 20082 (java) S 20061 20063 20030 0 -1 4202560 7642 0 0 0 105 2 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638765619768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20083] ppid=20061 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/20063/task/20083/stat : 20083 (java) S 20061 20063 20030 0 -1 4202560 6970 0 0 0 104 2 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638764567224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20084] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20084/stat : 20084 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638763514872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20085] ppid=20061 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/20063/task/20085/stat : 20085 (java) S 20061 20063 20030 0 -1 4202560 28 0 0 0 8 10 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638762462536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20114] ppid=20061 vsize=11852648 CPUtime=461.05 cores=1,3,5,7
/proc/20063/task/20114/stat : 20114 (java) R 20061 20063 20030 0 -1 4202560 1613 0 0 0 46044 61 0 0 20 0 20 0 333988508 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638760294944 139639269357006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20116] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20116/stat : 20116 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 333988510 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638758192296 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 938.71
Current children cumulated vsize (KiB) 11852648

[startup+472.901 s]
/proc/loadavg: 4.03 3.19 1.72 4/217 20121
/proc/meminfo: memFree=19871924/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11852648 CPUtime=938.92 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 21608 0 5 0 93759 133 0 0 20 0 20 0 333988461 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2963162 965836 2280 9 0 2953849 0
[pid=20063/tid=20065] ppid=20061 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/20063/task/20065/stat : 20065 (java) S 20061 20063 20030 0 -1 4202560 2923 0 2 0 39 5 0 0 20 0 20 0 333988462 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639423509656 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0
[pid=20063/tid=20066] ppid=20061 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/20063/task/20066/stat : 20066 (java) S 20061 20063 20030 0 -1 4202560 164 0 0 0 80 8 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639391918248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20067] ppid=20061 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/20063/task/20067/stat : 20067 (java) S 20061 20063 20030 0 -1 4202560 111 0 0 0 73 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639390865704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20068] ppid=20061 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/20063/task/20068/stat : 20068 (java) S 20061 20063 20030 0 -1 4202560 125 0 0 0 85 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639389813160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20069] ppid=20061 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/20063/task/20069/stat : 20069 (java) S 20061 20063 20030 0 -1 4202560 109 0 0 0 73 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639388760616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20070] ppid=20061 vsize=11852648 CPUtime=0.93 cores=1,3,5,7
/proc/20063/task/20070/stat : 20070 (java) S 20061 20063 20030 0 -1 4202560 151 0 0 0 87 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639387708072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20071] ppid=20061 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/20063/task/20071/stat : 20071 (java) S 20061 20063 20030 0 -1 4202560 107 0 0 0 73 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639254911784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20072] ppid=20061 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/20063/task/20072/stat : 20072 (java) S 20061 20063 20030 0 -1 4202560 137 0 0 0 73 7 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639253859240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20073] ppid=20061 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/20063/task/20073/stat : 20073 (java) S 20061 20063 20030 0 -1 4202560 130 0 0 0 73 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638782028840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20074] ppid=20061 vsize=11852648 CPUtime=9.2 cores=1,3,5,7
/proc/20063/task/20074/stat : 20074 (java) S 20061 20063 20030 0 -1 4202560 128 0 0 0 913 7 0 0 20 0 20 0 333988468 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638769829992 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20075] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20075/stat : 20075 (java) S 20061 20063 20030 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 333988469 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638768776312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20076] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20076/stat : 20076 (java) S 20061 20063 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 333988469 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638767723656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20081] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20081/stat : 20081 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638766672400 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20082] ppid=20061 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/20063/task/20082/stat : 20082 (java) S 20061 20063 20030 0 -1 4202560 7642 0 0 0 105 2 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638765619768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20083] ppid=20061 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/20063/task/20083/stat : 20083 (java) S 20061 20063 20030 0 -1 4202560 6970 0 0 0 104 2 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638764567224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20084] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20084/stat : 20084 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638763514872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20085] ppid=20061 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/20063/task/20085/stat : 20085 (java) S 20061 20063 20030 0 -1 4202560 28 0 0 0 8 10 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638762462536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20114] ppid=20061 vsize=11852648 CPUtime=461.25 cores=1,3,5,7
/proc/20063/task/20114/stat : 20114 (java) R 20061 20063 20030 0 -1 4202560 1613 0 0 0 46063 62 0 0 20 0 20 0 333988508 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638760294944 139639269356939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20116] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20116/stat : 20116 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 333988510 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638758192296 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 938.92
Current children cumulated vsize (KiB) 11852648

[startup+473.007 s]
/proc/loadavg: 4.03 3.19 1.72 4/217 20121
/proc/meminfo: memFree=19871924/32873844 swapFree=7372/7372
[pid=20063] ppid=20061 vsize=11852648 CPUtime=939.02 cores=1,3,5,7
/proc/20063/stat : 20063 (java) S 20061 20063 20030 0 -1 4202496 21608 0 5 0 93769 133 0 0 20 0 20 0 333988461 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 140734694667264 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20063/statm: 2963162 965836 2280 9 0 2953849 0
[pid=20063/tid=20065] ppid=20061 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/20063/task/20065/stat : 20065 (java) S 20061 20063 20030 0 -1 4202560 2923 0 2 0 39 5 0 0 20 0 20 0 333988462 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639423509656 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0
[pid=20063/tid=20066] ppid=20061 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/20063/task/20066/stat : 20066 (java) S 20061 20063 20030 0 -1 4202560 164 0 0 0 80 8 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639391918248 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20067] ppid=20061 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/20063/task/20067/stat : 20067 (java) S 20061 20063 20030 0 -1 4202560 111 0 0 0 73 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639390865704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20068] ppid=20061 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/20063/task/20068/stat : 20068 (java) S 20061 20063 20030 0 -1 4202560 125 0 0 0 85 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639389813160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20069] ppid=20061 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/20063/task/20069/stat : 20069 (java) S 20061 20063 20030 0 -1 4202560 109 0 0 0 73 5 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639388760616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20070] ppid=20061 vsize=11852648 CPUtime=0.93 cores=1,3,5,7
/proc/20063/task/20070/stat : 20070 (java) S 20061 20063 20030 0 -1 4202560 151 0 0 0 87 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639387708072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20071] ppid=20061 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/20063/task/20071/stat : 20071 (java) S 20061 20063 20030 0 -1 4202560 107 0 0 0 73 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639254911784 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20072] ppid=20061 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/20063/task/20072/stat : 20072 (java) S 20061 20063 20030 0 -1 4202560 137 0 0 0 73 7 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139639253859240 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20073] ppid=20061 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/20063/task/20073/stat : 20073 (java) S 20061 20063 20030 0 -1 4202560 130 0 0 0 73 6 0 0 20 0 20 0 333988467 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638782028840 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20074] ppid=20061 vsize=11852648 CPUtime=9.2 cores=1,3,5,7
/proc/20063/task/20074/stat : 20074 (java) S 20061 20063 20030 0 -1 4202560 128 0 0 0 913 7 0 0 20 0 20 0 333988468 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638769829992 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20075] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20075/stat : 20075 (java) S 20061 20063 20030 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 333988469 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638768776312 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20076] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20076/stat : 20076 (java) S 20061 20063 20030 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 333988469 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638767723656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20081] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20081/stat : 20081 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638766672400 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20063/tid=20082] ppid=20061 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/20063/task/20082/stat : 20082 (java) S 20061 20063 20030 0 -1 4202560 7642 0 0 0 105 2 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638765619768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20063/tid=20083] ppid=20061 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/20063/task/20083/stat : 20083 (java) S 20061 20063 20030 0 -1 4202560 6970 0 0 0 104 2 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638764567224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20084] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20084/stat : 20084 (java) S 20061 20063 20030 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638763514872 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20085] ppid=20061 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/20063/task/20085/stat : 20085 (java) S 20061 20063 20030 0 -1 4202560 28 0 0 0 8 10 0 0 20 0 20 0 333988471 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638762462536 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20063/tid=20114] ppid=20061 vsize=11852648 CPUtime=461.35 cores=1,3,5,7
/proc/20063/task/20114/stat : 20114 (java) R 20061 20063 20030 0 -1 4202560 1613 0 0 0 46073 62 0 0 20 0 20 0 333988508 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638760294944 139639269077470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20063/tid=20116] ppid=20061 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/20063/task/20116/stat : 20116 (java) S 20061 20063 20030 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 333988510 12137111552 965836 33554432000 1073741824 1073778376 140734694676128 139638758192296 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 939.02
Current children cumulated vsize (KiB) 11852648

Child status: 10
Real time (s): 473.096
CPU time (s): 939.341
CPU user time (s): 937.728
CPU system time (s): 1.61275
CPU usage (%): 198.552
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 937.728
system time used= 1.61275
maximum resident set size= 3863372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21625
page faults= 5
swaps= 0
block input operations= 184
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13545
involuntary context switches= 19190

runsolver used 1.72174 second user time and 4.6243 second system time

The end

Launcher Data 

Begin job on node118 at 2012-06-03 01:10:24
IDJOB=3728961
IDBENCH=1156
IDSOLVER=2328
FILE ID=node118/3728961-1338678623
RUNJOBID= node118-1338678623-20050
PBS_JOBID= 14636695
Free space on /tmp= 70972 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-3728961-1338678623/watcher-3728961-1338678623 -o /tmp/evaluation-result-3728961-1338678623/solver-3728961-1338678623 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3728961-1338678623.opb

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

MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9
RANDOM SEED=576673860

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27693256 kB
Buffers:          480860 kB
Cached:          3825500 kB
SwapCached:            0 kB
Active:          1318508 kB
Inactive:        2999724 kB
Active(anon):       1820 kB
Inactive(anon):    11340 kB
Active(file):    1316688 kB
Inactive(file):  2988384 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1176 kB
Writeback:             4 kB
AnonPages:         17936 kB
Mapped:            10896 kB
Shmem:               200 kB
Slab:             722960 kB
SReclaimable:     164476 kB
SUnreclaim:       558484 kB
KernelStack:        1400 kB
PageTables:         3816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70968 MiB
End job on node118 at 2012-06-03 01:18:17