Trace number 2662519

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)7898587 1800.4 913.512

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
MD5SUM291088d217a1998c91be99350439e903
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7894394
Best CPU time to get the best result obtained on this benchmark1800.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5965824
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1543007621731
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1543007621731
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100531
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.25/0.21	c Pseudo Boolean Optimization
0.25/0.21	c ManyCore solver with 2 solvers running in parallel
0.25/0.21	c --- Begin Solver configuration ---
0.25/0.21	c Stops conflict analysis at the first Unique Implication Point
0.25/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1786e64
0.25/0.21	c Learn all clauses as in MiniSAT
0.25/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.25/0.21	c Expensive reason simplification
0.25/0.21	c Armin Biere (Picosat) restarts strategy
0.25/0.21	c Glucose learned constraints deletion strategy
0.25/0.21	c timeout=2147483s
0.25/0.21	c DB Simplification allowed=false
0.25/0.21	c --- End Solver configuration ---
0.25/0.21	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.25/0.21	c --- Begin Solver configuration ---
0.25/0.21	c Stops conflict analysis at the first Unique Implication Point
0.25/0.21	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2808b3
0.25/0.21	c Learn all clauses as in MiniSAT
0.25/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.25/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.25/0.21	c No reason simplification
0.25/0.21	c Armin Biere (Picosat) restarts strategy
0.25/0.21	c Glucose learned constraints deletion strategy
0.25/0.21	c timeout=2147483s
0.25/0.21	c DB Simplification allowed=false
0.25/0.21	c --- End Solver configuration ---
0.25/0.21	
0.25/0.21	c solving HOME/instance-2662519-1276522226.opb
0.25/0.21	c reading problem ... 
2.12/1.21	c ... done. Wall clock time 0.998s.
2.12/1.21	c #vars     7812
2.12/1.21	c #constraints  4432
2.12/1.21	c constraints type 
2.12/1.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 318
2.12/1.21	c constraints type 
2.12/1.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 318
7.27/3.86	c And the winner is Resolution
7.41/4.36	c SATISFIABLE
7.41/4.36	c OPTIMIZING...
7.41/4.36	c Got one! Elapsed wall clock time (in seconds):4.145
7.41/4.36	o 13475911
9.35/5.34	c And the winner is Resolution
9.44/5.48	c Got one! Elapsed wall clock time (in seconds):5.261
9.44/5.48	o 11443388
10.96/6.27	c And the winner is Resolution
11.19/6.62	c Got one! Elapsed wall clock time (in seconds):6.389
11.19/6.62	o 7898587
30.83/16.55	c cleaning 2495 clauses out of 5000 with flag 5000/5000
48.03/25.24	c cleaning 4249 clauses out of 8506 with flag 11001/11001
83.29/43.08	c cleaning 5606 clauses out of 11256 with flag 18000/18000
128.61/65.94	c cleaning 6817 clauses out of 13650 with flag 26000/26000
164.93/84.34	c cleaning 7897 clauses out of 15834 with flag 35001/35001
208.43/106.33	c cleaning 8953 clauses out of 17936 with flag 45000/45000
252.40/128.52	c cleaning 9486 clauses out of 18984 with flag 55001/55001
305.64/155.49	c cleaning 9733 clauses out of 19498 with flag 65001/65001
367.54/186.77	c cleaning 9860 clauses out of 19766 with flag 75002/75002
412.96/209.75	c cleaning 9943 clauses out of 19906 with flag 85002/85002
464.70/235.91	c cleaning 9953 clauses out of 19961 with flag 95000/95000
511.50/259.61	c cleaning 9994 clauses out of 20009 with flag 105001/105001
554.64/281.58	c cleaning 9998 clauses out of 20015 with flag 115001/115001
607.22/308.17	c cleaning 9995 clauses out of 20018 with flag 125002/125002
661.56/335.64	c cleaning 9991 clauses out of 20023 with flag 135002/135002
718.84/364.65	c cleaning 9995 clauses out of 20032 with flag 145002/145002
768.52/389.87	c cleaning 9998 clauses out of 20035 with flag 155000/155000
844.82/428.46	c cleaning 9992 clauses out of 20037 with flag 165000/165000
909.82/461.36	c cleaning 10005 clauses out of 20047 with flag 175002/175002
959.76/486.65	c cleaning 10004 clauses out of 20041 with flag 185001/185001
1002.11/508.19	c cleaning 9993 clauses out of 20036 with flag 195000/195000
1047.08/530.92	c cleaning 10016 clauses out of 20044 with flag 205001/205001
1080.16/547.77	c cleaning 9990 clauses out of 20029 with flag 215002/215002
1114.42/565.18	c cleaning 9990 clauses out of 20038 with flag 225001/225001
1150.99/583.72	c cleaning 10008 clauses out of 20047 with flag 235000/235000
1181.48/599.26	c cleaning 10000 clauses out of 20040 with flag 245001/245001
1214.16/615.87	c cleaning 9994 clauses out of 20041 with flag 255002/255002
1251.20/634.70	c cleaning 10002 clauses out of 20045 with flag 265000/265000
1282.79/650.78	c cleaning 10007 clauses out of 20043 with flag 275000/275000
1324.37/671.84	c cleaning 10000 clauses out of 20036 with flag 285000/285000
1372.70/696.36	c cleaning 9993 clauses out of 20036 with flag 295000/295000
1416.25/718.42	c cleaning 9993 clauses out of 20043 with flag 305000/305000
1461.52/741.41	c cleaning 9993 clauses out of 20050 with flag 315000/315000
1508.04/765.05	c cleaning 10011 clauses out of 20058 with flag 325001/325001
1574.99/798.99	c cleaning 9992 clauses out of 20047 with flag 335001/335001
1637.39/830.53	c cleaning 9998 clauses out of 20055 with flag 345001/345001
1681.26/852.82	c cleaning 10017 clauses out of 20056 with flag 355000/355000
1718.86/871.99	c cleaning 9994 clauses out of 20041 with flag 365002/365002
1754.65/890.16	c cleaning 9995 clauses out of 20046 with flag 375001/375001
1794.42/910.30	c cleaning 10003 clauses out of 20050 with flag 385000/385000
1800.02/913.31	c starts		: 139
1800.02/913.32	c conflicts		: 386633
1800.02/913.32	c decisions		: 715900
1800.02/913.32	c propagations		: 36722519
1800.02/913.32	c inspects		: 139207030
1800.02/913.32	c learnt literals	: 0
1800.02/913.32	c learnt binary clauses	: 0
1800.02/913.32	c learnt ternary clauses	: 0
1800.02/913.32	c learnt clauses	: 386632
1800.02/913.32	c ignored clauses	: 0
1800.02/913.32	c root simplifications	: 0
1800.02/913.32	c removed literals (reason simplification)	: 29044948
1800.02/913.32	c reason swapping (by a shorter reason)	: 0
1800.02/913.32	c Calls to reduceDB	: 40
1800.02/913.32	c number of reductions to clauses (during analyze)	: 0
1800.02/913.32	c number of learned constraints concerned by reduction	: 0
1800.02/913.32	c number of learning phase by resolution	: 0
1800.02/913.32	c number of learning phase by cutting planes	: 0
1800.02/913.32	c speed (assignments/second)	: 40502.49538698075
1800.02/913.32	c non guided choices	12992
1800.02/913.35	c learnt constraints type 
1800.02/913.35	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11686
1800.02/913.35	c constraints type 
1800.02/913.35	c org.sat4j.pb.constraints.pb.MaxWatchPb => 319
1800.02/913.35	c constraints type 
1800.02/913.35	c org.sat4j.pb.constraints.pb.MaxWatchPb => 319
1800.02/913.35	s SATISFIABLE
1800.23/913.41	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 
1800.23/913.45	c objective function=7898587
1800.23/913.45	c Total wall clock time (in seconds): 913.234

Verifier Data 

OK	7898587

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662519-1276522226/watcher-2662519-1276522226 -o /tmp/evaluation-result-2662519-1276522226/solver-2662519-1276522226 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662519-1276522226.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.67 3/106 29562
/proc/meminfo: memFree=1702924/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=248 CPUtime=0
/proc/29562/stat : 29562 (java) R 29560 29562 29537 0 -1 4194304 283 0 0 0 0 0 0 0 19 0 1 0 27808995 253952 28 1992294400 134512640 134550932 4286948816 18446744073709551615 1847892 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29562/statm: 62 28 21 10 0 23 0

[startup+0.108285 s]
/proc/loadavg: 1.92 1.99 1.67 3/106 29562
/proc/meminfo: memFree=1702924/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1524180 CPUtime=0.08
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 4020 0 1 0 6 2 0 0 18 0 12 0 27808995 1560760320 3458 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 381045 3458 1078 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524180

[startup+0.207803 s]
/proc/loadavg: 1.92 1.99 1.67 3/106 29562
/proc/meminfo: memFree=1702924/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1526096 CPUtime=0.25
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 5100 0 1 0 21 4 0 0 18 0 12 0 27808995 1562722304 4536 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 381524 4536 1346 10 0 378827 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 1526096

[startup+0.301304 s]
/proc/loadavg: 1.92 1.99 1.67 3/106 29562
/proc/meminfo: memFree=1702924/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1526388 CPUtime=0.38
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 5435 0 1 0 34 4 0 0 18 0 12 0 27808995 1563021312 4871 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 381597 4872 1359 10 0 378900 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1526388

[startup+0.701348 s]
/proc/loadavg: 1.92 1.99 1.67 3/106 29562
/proc/meminfo: memFree=1702924/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1532236 CPUtime=1.12
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 8691 0 1 0 106 6 0 0 18 0 12 0 27808995 1569009664 7866 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 383059 7867 1404 10 0 380362 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 1532236

[startup+1.50142 s]
/proc/loadavg: 2.01 2.01 1.68 5/118 29574
/proc/meminfo: memFree=1657012/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1543364 CPUtime=2.71
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 18222 0 1 0 260 11 0 0 18 0 14 0 27808995 1580404736 16666 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 385841 16666 1427 10 0 383144 0
[pid=29562/tid=29564] ppid=29560 vsize=1543364 CPUtime=1.13
/proc/29562/task/29564/stat : 29564 (java) S 29560 29562 29537 0 -1 4202560 10559 0 1 0 106 7 0 0 19 0 14 0 27808997 1580404736 16666 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=1543364 CPUtime=0
/proc/29562/task/29565/stat : 29565 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 14 0 27808998 1580404736 16667 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29566] ppid=29560 vsize=1543364 CPUtime=0
/proc/29562/task/29566/stat : 29566 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 14 0 27808998 1580404736 16667 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29567] ppid=29560 vsize=1543364 CPUtime=0
/proc/29562/task/29567/stat : 29567 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 14 0 27809000 1580404736 16667 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29568] ppid=29560 vsize=1543364 CPUtime=0
/proc/29562/task/29568/stat : 29568 (java) S 29560 29562 29537 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 14 0 27809000 1580404736 16667 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29569] ppid=29560 vsize=1543364 CPUtime=0
/proc/29562/task/29569/stat : 29569 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 14 0 27809000 1580404736 16668 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29570] ppid=29560 vsize=1543364 CPUtime=0
/proc/29562/task/29570/stat : 29570 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 27809004 1580404736 16668 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29571] ppid=29560 vsize=1543364 CPUtime=0.45
/proc/29562/task/29571/stat : 29571 (java) R 29560 29562 29537 0 -1 4202560 2844 0 0 0 44 1 0 0 18 0 14 0 27809004 1580404736 16668 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29562/tid=29572] ppid=29560 vsize=1543364 CPUtime=0.83
/proc/29562/task/29572/stat : 29572 (java) R 29560 29562 29537 0 -1 4202560 2512 0 0 0 83 0 0 0 16 0 14 0 27809004 1580404736 16668 1992294400 134512640 134550932 4286948816 18446744073709551615 103152289 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29562/tid=29573] ppid=29560 vsize=1543364 CPUtime=0
/proc/29562/task/29573/stat : 29573 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 14 0 27809004 1580404736 16669 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29574] ppid=29560 vsize=1543364 CPUtime=0
/proc/29562/task/29574/stat : 29574 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 27809005 1580404736 16669 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 1543364

[startup+3.1026 s]
/proc/loadavg: 2.01 2.01 1.68 5/122 29578
/proc/meminfo: memFree=1620028/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1542344 CPUtime=5.88
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 41658 0 1 0 569 19 0 0 18 0 16 0 27808995 1579360256 36777 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 385586 36779 1436 10 0 382889 0
[pid=29562/tid=29564] ppid=29560 vsize=1542344 CPUtime=1.13
/proc/29562/task/29564/stat : 29564 (java) S 29560 29562 29537 0 -1 4202560 10559 0 1 0 106 7 0 0 17 0 16 0 27808997 1579360256 36780 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29565/stat : 29565 (java) R 29560 29562 29537 0 -1 4202560 127 0 0 0 0 0 0 0 18 0 16 0 27808998 1579360256 36782 1992294400 134512640 134550932 4286948816 18446744073709551615 105886451 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29562/tid=29566] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29566/stat : 29566 (java) R 29560 29562 29537 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 16 0 27808998 1579360256 36784 1992294400 134512640 134550932 4286948816 18446744073709551615 106195352 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29562/tid=29567] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29567/stat : 29567 (java) S 29560 29562 29537 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 16 0 27809000 1579360256 36785 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29568] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29568/stat : 29568 (java) S 29560 29562 29537 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 16 0 27809000 1579360256 36787 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29569] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29569/stat : 29569 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 16 0 27809000 1579360256 36788 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29570] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29570/stat : 29570 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27809004 1579360256 36789 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29571] ppid=29560 vsize=1542344 CPUtime=0.75
/proc/29562/task/29571/stat : 29571 (java) S 29560 29562 29537 0 -1 4202560 4410 0 0 0 73 2 0 0 18 0 16 0 27809004 1579360256 36791 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29572] ppid=29560 vsize=1542344 CPUtime=1.93
/proc/29562/task/29572/stat : 29572 (java) S 29560 29562 29537 0 -1 4202560 4365 0 0 0 192 1 0 0 15 0 16 0 27809004 1579360256 36792 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29573] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29573/stat : 29573 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 27809004 1579360256 36794 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29574] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29574/stat : 29574 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 27809005 1579360256 36796 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29575] ppid=29560 vsize=1542344 CPUtime=1.16
/proc/29562/task/29575/stat : 29575 (java) R 29560 29562 29537 0 -1 4202560 6655 0 0 0 115 1 0 0 25 0 16 0 27809117 1579360256 36797 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29562/tid=29576] ppid=29560 vsize=1542344 CPUtime=0.85
/proc/29562/task/29576/stat : 29576 (java) S 29560 29562 29537 0 -1 4202560 14428 0 0 0 80 5 0 0 23 0 16 0 27809117 1579360256 36798 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29577] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29577/stat : 29577 (java) S 29560 29562 29537 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 27809156 1579360256 36800 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29578] ppid=29560 vsize=1542344 CPUtime=0
/proc/29562/task/29578/stat : 29578 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27809162 1579360256 36801 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 1542344

[startup+6.30185 s]
/proc/loadavg: 1.93 1.99 1.68 3/120 29580
/proc/meminfo: memFree=1539816/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1543368 CPUtime=11.13
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 48394 0 1 0 1090 23 0 0 18 0 14 0 27808995 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 385842 42594 1442 10 0 383145 0
[pid=29562/tid=29564] ppid=29560 vsize=1543368 CPUtime=1.32
/proc/29562/task/29564/stat : 29564 (java) S 29560 29562 29537 0 -1 4202560 10562 0 1 0 125 7 0 0 17 0 14 0 27808997 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=1543368 CPUtime=0.09
/proc/29562/task/29565/stat : 29565 (java) S 29560 29562 29537 0 -1 4202560 2893 0 0 0 8 1 0 0 18 0 14 0 27808998 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29566] ppid=29560 vsize=1543368 CPUtime=0.09
/proc/29562/task/29566/stat : 29566 (java) S 29560 29562 29537 0 -1 4202560 2517 0 0 0 8 1 0 0 16 0 14 0 27808998 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29567] ppid=29560 vsize=1543368 CPUtime=0
/proc/29562/task/29567/stat : 29567 (java) S 29560 29562 29537 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 14 0 27809000 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29568] ppid=29560 vsize=1543368 CPUtime=0
/proc/29562/task/29568/stat : 29568 (java) S 29560 29562 29537 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 27809000 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29569] ppid=29560 vsize=1543368 CPUtime=0
/proc/29562/task/29569/stat : 29569 (java) S 29560 29562 29537 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 27809000 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29570] ppid=29560 vsize=1543368 CPUtime=0
/proc/29562/task/29570/stat : 29570 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 27809004 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29571] ppid=29560 vsize=1543368 CPUtime=0.99
/proc/29562/task/29571/stat : 29571 (java) S 29560 29562 29537 0 -1 4202560 4425 0 0 0 97 2 0 0 15 0 14 0 27809004 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29572] ppid=29560 vsize=1543368 CPUtime=2.39
/proc/29562/task/29572/stat : 29572 (java) S 29560 29562 29537 0 -1 4202560 5360 0 0 0 237 2 0 0 16 0 14 0 27809004 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29573] ppid=29560 vsize=1543368 CPUtime=0
/proc/29562/task/29573/stat : 29573 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 14 0 27809004 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29574] ppid=29560 vsize=1543368 CPUtime=0
/proc/29562/task/29574/stat : 29574 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 14 0 27809005 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29577] ppid=29560 vsize=1543368 CPUtime=0
/proc/29562/task/29577/stat : 29577 (java) S 29560 29562 29537 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 14 0 27809156 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29578] ppid=29560 vsize=1543368 CPUtime=0
/proc/29562/task/29578/stat : 29578 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 14 0 27809162 1580408832 42594 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.13
Current children cumulated vsize (KiB) 1543368

[startup+12.7017 s]
/proc/loadavg: 1.93 1.99 1.68 3/122 29584
/proc/meminfo: memFree=1524052/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1542608 CPUtime=23.28
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 51629 0 1 0 2303 25 0 0 18 0 16 0 27808995 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 385652 45632 1442 10 0 382955 0
[pid=29562/tid=29564] ppid=29560 vsize=1542608 CPUtime=1.4
/proc/29562/task/29564/stat : 29564 (java) S 29560 29562 29537 0 -1 4202560 10562 0 1 0 133 7 0 0 15 0 16 0 27808997 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=1542608 CPUtime=0.19
/proc/29562/task/29565/stat : 29565 (java) S 29560 29562 29537 0 -1 4202560 4509 0 0 0 18 1 0 0 18 0 16 0 27808998 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29566] ppid=29560 vsize=1542608 CPUtime=0.19
/proc/29562/task/29566/stat : 29566 (java) S 29560 29562 29537 0 -1 4202560 4108 0 0 0 18 1 0 0 16 0 16 0 27808998 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29567] ppid=29560 vsize=1542608 CPUtime=0.01
/proc/29562/task/29567/stat : 29567 (java) S 29560 29562 29537 0 -1 4202560 27 0 0 0 1 0 0 0 15 0 16 0 27809000 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29568] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29568/stat : 29568 (java) S 29560 29562 29537 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29569] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29569/stat : 29569 (java) S 29560 29562 29537 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29570] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29570/stat : 29570 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29571] ppid=29560 vsize=1542608 CPUtime=1
/proc/29562/task/29571/stat : 29571 (java) S 29560 29562 29537 0 -1 4202560 4425 0 0 0 98 2 0 0 15 0 16 0 27809004 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29572] ppid=29560 vsize=1542608 CPUtime=2.53
/proc/29562/task/29572/stat : 29572 (java) S 29560 29562 29537 0 -1 4202560 5372 0 0 0 251 2 0 0 15 0 16 0 27809004 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29573] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29573/stat : 29573 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29574] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29574/stat : 29574 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 27809005 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29577] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29577/stat : 29577 (java) S 29560 29562 29537 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 27809156 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29578] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29578/stat : 29578 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27809162 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29583] ppid=29560 vsize=1542608 CPUtime=5.93
/proc/29562/task/29583/stat : 29583 (java) R 29560 29562 29537 0 -1 4202560 4 0 0 0 593 0 0 0 25 0 16 0 27809660 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4109816829 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29562/tid=29584] ppid=29560 vsize=1542608 CPUtime=5.75
/proc/29562/task/29584/stat : 29584 (java) R 29560 29562 29537 0 -1 4202560 1 0 0 0 575 0 0 0 25 0 16 0 27809660 1579630592 45632 1992294400 134512640 134550932 4286948816 18446744073709551615 4109549233 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.28
Current children cumulated vsize (KiB) 1542608

[startup+25.5018 s]

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

/proc/29562/statm: 385652 75013 1451 10 0 382955 0
[pid=29562/tid=29564] ppid=29560 vsize=1542608 CPUtime=1.4
/proc/29562/task/29564/stat : 29564 (java) S 29560 29562 29537 0 -1 4202560 10564 0 1 0 133 7 0 0 15 0 16 0 27808997 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=1542608 CPUtime=3.78
/proc/29562/task/29565/stat : 29565 (java) S 29560 29562 29537 0 -1 4202560 20814 0 0 0 356 22 0 0 16 0 16 0 27808998 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29566] ppid=29560 vsize=1542608 CPUtime=3.8
/proc/29562/task/29566/stat : 29566 (java) S 29560 29562 29537 0 -1 4202560 21528 0 0 0 369 11 0 0 15 0 16 0 27808998 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29567] ppid=29560 vsize=1542608 CPUtime=7.02
/proc/29562/task/29567/stat : 29567 (java) S 29560 29562 29537 0 -1 4202560 279 0 0 0 698 4 0 0 15 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29568] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29568/stat : 29568 (java) S 29560 29562 29537 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29569] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29569/stat : 29569 (java) S 29560 29562 29537 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29570] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29570/stat : 29570 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29571] ppid=29560 vsize=1542608 CPUtime=1.36
/proc/29562/task/29571/stat : 29571 (java) S 29560 29562 29537 0 -1 4202560 4475 0 0 0 134 2 0 0 15 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29572] ppid=29560 vsize=1542608 CPUtime=2.95
/proc/29562/task/29572/stat : 29572 (java) S 29560 29562 29537 0 -1 4202560 5506 0 0 0 293 2 0 0 15 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29573] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29573/stat : 29573 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29574] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29574/stat : 29574 (java) S 29560 29562 29537 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 16 0 27809005 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29577] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29577/stat : 29577 (java) S 29560 29562 29537 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 27809156 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29578] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29578/stat : 29578 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27809162 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29583] ppid=29560 vsize=1542608 CPUtime=739.78
/proc/29562/task/29583/stat : 29583 (java) R 29560 29562 29537 0 -1 4202560 225 0 0 0 73956 22 0 0 25 0 16 0 27809660 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4109517070 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29562/tid=29584] ppid=29560 vsize=1542608 CPUtime=736.35
/proc/29562/task/29584/stat : 29584 (java) R 29560 29562 29537 0 -1 4202560 225 0 0 0 73623 12 0 0 25 0 16 0 27809660 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4109549436 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1502.7
Current children cumulated vsize (KiB) 1542608

[startup+822.302 s]
/proc/loadavg: 2.03 2.03 1.87 3/122 29606
/proc/meminfo: memFree=1405756/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1542608 CPUtime=1621.12
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 86313 0 1 0 162014 98 0 0 18 0 16 0 27808995 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 385652 75013 1451 10 0 382955 0
[pid=29562/tid=29564] ppid=29560 vsize=1542608 CPUtime=1.4
/proc/29562/task/29564/stat : 29564 (java) S 29560 29562 29537 0 -1 4202560 10564 0 1 0 133 7 0 0 15 0 16 0 27808997 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=1542608 CPUtime=4.01
/proc/29562/task/29565/stat : 29565 (java) S 29560 29562 29537 0 -1 4202560 20814 0 0 0 379 22 0 0 15 0 16 0 27808998 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29566] ppid=29560 vsize=1542608 CPUtime=4.02
/proc/29562/task/29566/stat : 29566 (java) S 29560 29562 29537 0 -1 4202560 21528 0 0 0 391 11 0 0 16 0 16 0 27808998 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29567] ppid=29560 vsize=1542608 CPUtime=7.55
/proc/29562/task/29567/stat : 29567 (java) S 29560 29562 29537 0 -1 4202560 283 0 0 0 751 4 0 0 15 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29568] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29568/stat : 29568 (java) S 29560 29562 29537 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29569] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29569/stat : 29569 (java) S 29560 29562 29537 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29570] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29570/stat : 29570 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29571] ppid=29560 vsize=1542608 CPUtime=1.36
/proc/29562/task/29571/stat : 29571 (java) S 29560 29562 29537 0 -1 4202560 4475 0 0 0 134 2 0 0 15 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29572] ppid=29560 vsize=1542608 CPUtime=2.95
/proc/29562/task/29572/stat : 29572 (java) S 29560 29562 29537 0 -1 4202560 5506 0 0 0 293 2 0 0 15 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29573] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29573/stat : 29573 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29574] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29574/stat : 29574 (java) S 29560 29562 29537 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 27809005 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29577] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29577/stat : 29577 (java) S 29560 29562 29537 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 27809156 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29578] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29578/stat : 29578 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27809162 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29583] ppid=29560 vsize=1542608 CPUtime=798.35
/proc/29562/task/29583/stat : 29583 (java) R 29560 29562 29537 0 -1 4202560 237 0 0 0 79811 24 0 0 25 0 16 0 27809660 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4109673621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29562/tid=29584] ppid=29560 vsize=1542608 CPUtime=795.2
/proc/29562/task/29584/stat : 29584 (java) R 29560 29562 29537 0 -1 4202560 233 0 0 0 79507 13 0 0 25 0 16 0 27809660 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4109701753 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1621.12
Current children cumulated vsize (KiB) 1542608

[startup+882.309 s]
/proc/loadavg: 2.06 2.04 1.88 3/122 29608
/proc/meminfo: memFree=1405632/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1542608 CPUtime=1739.2
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 86336 0 1 0 173819 101 0 0 18 0 16 0 27808995 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 385652 75013 1451 10 0 382955 0
[pid=29562/tid=29564] ppid=29560 vsize=1542608 CPUtime=1.4
/proc/29562/task/29564/stat : 29564 (java) S 29560 29562 29537 0 -1 4202560 10564 0 1 0 133 7 0 0 15 0 16 0 27808997 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=1542608 CPUtime=4.25
/proc/29562/task/29565/stat : 29565 (java) S 29560 29562 29537 0 -1 4202560 20814 0 0 0 403 22 0 0 16 0 16 0 27808998 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29566] ppid=29560 vsize=1542608 CPUtime=4.27
/proc/29562/task/29566/stat : 29566 (java) S 29560 29562 29537 0 -1 4202560 21528 0 0 0 415 12 0 0 16 0 16 0 27808998 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29567] ppid=29560 vsize=1542608 CPUtime=8.43
/proc/29562/task/29567/stat : 29567 (java) S 29560 29562 29537 0 -1 4202560 285 0 0 0 838 5 0 0 15 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29568] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29568/stat : 29568 (java) S 29560 29562 29537 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29569] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29569/stat : 29569 (java) S 29560 29562 29537 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29570] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29570/stat : 29570 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29571] ppid=29560 vsize=1542608 CPUtime=1.36
/proc/29562/task/29571/stat : 29571 (java) S 29560 29562 29537 0 -1 4202560 4475 0 0 0 134 2 0 0 15 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29572] ppid=29560 vsize=1542608 CPUtime=2.95
/proc/29562/task/29572/stat : 29572 (java) S 29560 29562 29537 0 -1 4202560 5506 0 0 0 293 2 0 0 15 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29573] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29573/stat : 29573 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29574] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29574/stat : 29574 (java) S 29560 29562 29537 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 16 0 27809005 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29577] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29577/stat : 29577 (java) S 29560 29562 29537 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 27809156 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29578] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29578/stat : 29578 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27809162 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29583] ppid=29560 vsize=1542608 CPUtime=856.72
/proc/29562/task/29583/stat : 29583 (java) R 29560 29562 29537 0 -1 4202560 249 0 0 0 85645 27 0 0 25 0 16 0 27809660 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4109816861 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29562/tid=29584] ppid=29560 vsize=1542608 CPUtime=853.55
/proc/29562/task/29584/stat : 29584 (java) R 29560 29562 29537 0 -1 4202560 240 0 0 0 85342 13 0 0 25 0 16 0 27809660 1579630592 75013 1992294400 134512640 134550932 4286948816 18446744073709551615 4109673621 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1739.2
Current children cumulated vsize (KiB) 1542608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+913.302 s]
/proc/loadavg: 2.03 2.03 1.88 3/122 29608
/proc/meminfo: memFree=1405260/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=1542608 CPUtime=1800.02
/proc/29562/stat : 29562 (java) S 29560 29562 29537 0 -1 4202496 86513 0 1 0 179898 104 0 0 18 0 16 0 27808995 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 385652 75157 1451 10 0 382955 0
[pid=29562/tid=29564] ppid=29560 vsize=1542608 CPUtime=1.4
/proc/29562/task/29564/stat : 29564 (java) S 29560 29562 29537 0 -1 4202560 10564 0 1 0 133 7 0 0 15 0 16 0 27808997 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29565] ppid=29560 vsize=1542608 CPUtime=4.39
/proc/29562/task/29565/stat : 29565 (java) S 29560 29562 29537 0 -1 4202560 20903 0 0 0 416 23 0 0 15 0 16 0 27808998 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29566] ppid=29560 vsize=1542608 CPUtime=4.4
/proc/29562/task/29566/stat : 29566 (java) S 29560 29562 29537 0 -1 4202560 21602 0 0 0 427 13 0 0 16 0 16 0 27808998 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29567] ppid=29560 vsize=1542608 CPUtime=9.06
/proc/29562/task/29567/stat : 29567 (java) S 29560 29562 29537 0 -1 4202560 287 0 0 0 901 5 0 0 15 0 16 0 27809000 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 0 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29568] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29568/stat : 29568 (java) S 29560 29562 29537 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29569] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29569/stat : 29569 (java) S 29560 29562 29537 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27809000 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29570] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29570/stat : 29570 (java) S 29560 29562 29537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29571] ppid=29560 vsize=1542608 CPUtime=1.36
/proc/29562/task/29571/stat : 29571 (java) S 29560 29562 29537 0 -1 4202560 4475 0 0 0 134 2 0 0 15 0 16 0 27809004 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29572] ppid=29560 vsize=1542608 CPUtime=2.95
/proc/29562/task/29572/stat : 29572 (java) S 29560 29562 29537 0 -1 4202560 5506 0 0 0 293 2 0 0 15 0 16 0 27809004 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29573] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29573/stat : 29573 (java) S 29560 29562 29537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 27809004 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 0 0 0 0
[pid=29562/tid=29574] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29574/stat : 29574 (java) S 29560 29562 29537 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 16 0 27809005 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29577] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29577/stat : 29577 (java) S 29560 29562 29537 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 16 0 27809156 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29578] ppid=29560 vsize=1542608 CPUtime=0
/proc/29562/task/29578/stat : 29578 (java) S 29560 29562 29537 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 16 0 27809162 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4294960144 0 4 0 16800975 18446604437858343872 0 0 -1 1 0 0 0
[pid=29562/tid=29583] ppid=29560 vsize=1542608 CPUtime=886.95
/proc/29562/task/29583/stat : 29583 (java) R 29560 29562 29537 0 -1 4202560 256 0 0 0 88667 28 0 0 25 0 16 0 27809660 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4109816861 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29562/tid=29584] ppid=29560 vsize=1542608 CPUtime=883.24
/proc/29562/task/29584/stat : 29584 (java) R 29560 29562 29537 0 -1 4202560 243 0 0 0 88311 13 0 0 25 0 16 0 27809660 1579630592 75157 1992294400 134512640 134550932 4286948816 18446744073709551615 4109673621 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1542608

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

Solver just ended. Dumping a history of the last processes samples

[startup+913.502 s]
/proc/loadavg: 2.03 2.03 1.88 3/122 29608
/proc/meminfo: memFree=1405260/2059040 swapFree=4134576/4192956
[pid=29562] ppid=29560 vsize=0 CPUtime=1800.38
/proc/29562/stat : 29562 (java) Z 29560 29562 29537 0 -1 4203548 86539 0 1 0 179932 106 0 0 16 0 2 0 27808995 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29562/statm: 0 0 0 0 0 0 0
[pid=29562/tid=29584] ppid=29560 vsize=0 CPUtime=883.42
/proc/29562/task/29584/stat : 29584 (java) R 29560 29562 29537 0 -1 4203588 243 0 0 0 88327 15 0 0 25 0 2 0 27809660 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 913.512
CPU time (s): 1800.4
CPU user time (s): 1799.32
CPU system time (s): 1.07684
CPU usage (%): 197.085
Max. virtual memory (cumulated for all children) (KiB): 1545036

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

runsolver used 5.40018 second user time and 9.51755 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-14 15:30:26
IDJOB=2662519
IDBENCH=2297
IDSOLVER=1166
FILE ID=node017/2662519-1276522226
PBS_JOBID= 11173446
Free space on /tmp= 62424 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662519-1276522226/watcher-2662519-1276522226 -o /tmp/evaluation-result-2662519-1276522226/solver-2662519-1276522226 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662519-1276522226.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 291088d217a1998c91be99350439e903
RANDOM SEED=1666848225

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1703320 kB
Buffers:        114608 kB
Cached:         161032 kB
SwapCached:      11540 kB
Active:         104448 kB
Inactive:       184976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1703320 kB
SwapTotal:     4192956 kB
SwapFree:      4134576 kB
Dirty:             724 kB
Writeback:           0 kB
AnonPages:       12192 kB
Mapped:           9076 kB
Slab:            44556 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183144 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62424 MiB
End job on node017 at 2010-06-14 15:45:41