Trace number 2662510

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)8904699 1800.51 913.112

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
MD5SUM9dd7506c46c3c26c10ff03753daf5d0f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8904699
Best CPU time to get the best result obtained on this benchmark1800.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8442880
Optimality of the best value was proved NO
Number of variables7998
Total number of constraints307
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 constraints307
Minimum length of a constraint31
Maximum length of a constraint1290
Number of terms in the objective function 7998
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 1568780661323
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 1568780661323
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.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.09/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.14	c See www.sat4j.org for details.
0.09/0.16	c version 2.2.0.v20100531
0.09/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.16	c java.vm.name		Java HotSpot(TM) Server VM
0.09/0.16	c java.vm.version	11.2-b01
0.09/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.16	c sun.arch.data.model	32
0.09/0.16	c java.version		1.6.0_12
0.09/0.16	c os.name		Linux
0.09/0.16	c os.version		2.6.18-164.el5
0.09/0.16	c os.arch		i386
0.09/0.16	c Free memory 		1393557488
0.09/0.16	c Max memory 		1395916800
0.09/0.16	c Total memory 		1395916800
0.09/0.16	c Number of processors 	2
0.24/0.22	c Pseudo Boolean Optimization
0.24/0.22	c ManyCore solver with 2 solvers running in parallel
0.24/0.22	c --- Begin Solver configuration ---
0.24/0.22	c Stops conflict analysis at the first Unique Implication Point
0.24/0.22	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5
0.24/0.22	c Learn all clauses as in MiniSAT
0.24/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.22	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.22	c Expensive reason simplification
0.24/0.22	c Armin Biere (Picosat) restarts strategy
0.24/0.22	c Glucose learned constraints deletion strategy
0.24/0.22	c timeout=2147483s
0.24/0.22	c DB Simplification allowed=false
0.24/0.22	c --- End Solver configuration ---
0.24/0.22	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.24/0.22	c --- Begin Solver configuration ---
0.24/0.22	c Stops conflict analysis at the first Unique Implication Point
0.24/0.22	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3
0.24/0.22	c Learn all clauses as in MiniSAT
0.24/0.22	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.22	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.24/0.22	c No reason simplification
0.24/0.22	c Armin Biere (Picosat) restarts strategy
0.24/0.22	c Glucose learned constraints deletion strategy
0.24/0.22	c timeout=2147483s
0.24/0.22	c DB Simplification allowed=false
0.24/0.22	c --- End Solver configuration ---
0.24/0.22	
0.24/0.22	c solving HOME/instance-2662510-1276518064.opb
0.24/0.22	c reading problem ... 
1.66/1.05	c ... done. Wall clock time 0.83s.
1.66/1.05	c #vars     7998
1.66/1.05	c #constraints  4627
1.66/1.05	c constraints type 
1.66/1.05	c org.sat4j.pb.constraints.pb.MaxWatchPb => 356
1.66/1.05	c constraints type 
1.66/1.05	c org.sat4j.pb.constraints.pb.MaxWatchPb => 356
7.41/3.95	c And the winner is Resolution
7.51/4.17	c SATISFIABLE
7.51/4.17	c OPTIMIZING...
7.51/4.17	c Got one! Elapsed wall clock time (in seconds):3.947
7.51/4.17	o 20094296
11.61/6.26	c And the winner is Resolution
11.83/7.31	c Got one! Elapsed wall clock time (in seconds):7.082
11.83/7.31	o 11572257
32.26/17.62	c cleaning 2496 clauses out of 5001 with flag 5001/5001
68.48/35.99	c cleaning 4251 clauses out of 8505 with flag 11001/11001
83.90/43.75	c And the winner is CuttingPlanes
84.01/44.58	c Got one! Elapsed wall clock time (in seconds):44.364
84.01/44.58	o 9602018
95.68/50.45	c And the winner is CuttingPlanes
95.85/50.70	c Got one! Elapsed wall clock time (in seconds):50.48
95.85/50.70	o 8904699
112.68/59.28	c cleaning 5621 clauses out of 11253 with flag 18000/18000
156.77/81.56	c cleaning 6815 clauses out of 13633 with flag 26001/26001
196.72/101.72	c cleaning 7895 clauses out of 15817 with flag 35000/35000
242.61/124.91	c cleaning 8954 clauses out of 17922 with flag 45000/45000
283.50/145.65	c cleaning 9477 clauses out of 18969 with flag 55001/55001
342.17/175.23	c cleaning 9737 clauses out of 19492 with flag 65001/65001
415.79/212.49	c cleaning 9873 clauses out of 19754 with flag 75000/75000
453.91/231.78	c cleaning 9936 clauses out of 19883 with flag 85002/85002
502.11/256.17	c cleaning 9961 clauses out of 19946 with flag 95001/95001
550.95/280.88	c cleaning 9988 clauses out of 19985 with flag 105001/105001
613.71/312.50	c cleaning 9993 clauses out of 19997 with flag 115001/115001
689.71/350.96	c cleaning 9997 clauses out of 20003 with flag 125000/125000
767.30/390.16	c cleaning 9993 clauses out of 20006 with flag 135000/135000
847.28/430.52	c cleaning 10001 clauses out of 20013 with flag 145000/145000
927.51/471.19	c cleaning 9998 clauses out of 20012 with flag 155000/155000
1001.34/508.43	c cleaning 10003 clauses out of 20016 with flag 165002/165002
1076.57/546.42	c cleaning 9997 clauses out of 20011 with flag 175000/175000
1144.81/580.99	c cleaning 10001 clauses out of 20014 with flag 185000/185000
1213.25/615.52	c cleaning 10003 clauses out of 20014 with flag 195001/195001
1280.63/649.68	c cleaning 10000 clauses out of 20011 with flag 205001/205001
1351.11/685.33	c cleaning 9994 clauses out of 20010 with flag 215000/215000
1415.77/718.09	c cleaning 10002 clauses out of 20016 with flag 225000/225000
1480.49/750.87	c cleaning 10000 clauses out of 20014 with flag 235000/235000
1553.93/788.08	c cleaning 9998 clauses out of 20014 with flag 245000/245000
1633.50/828.35	c cleaning 10002 clauses out of 20016 with flag 255000/255000
1709.87/867.04	c cleaning 10004 clauses out of 20014 with flag 265000/265000
1786.37/905.88	c cleaning 9998 clauses out of 20010 with flag 275000/275000
1800.15/912.92	c starts		: 11
1800.15/912.92	c conflicts		: 1251
1800.15/912.92	c decisions		: 90520
1800.15/912.92	c propagations		: 729389
1800.15/912.92	c inspects		: 17120451
1800.15/912.92	c learnt literals	: 0
1800.15/912.92	c learnt binary clauses	: 0
1800.15/912.92	c learnt ternary clauses	: 0
1800.15/912.92	c learnt clauses	: 1250
1800.15/912.92	c ignored clauses	: 0
1800.15/912.92	c root simplifications	: 0
1800.15/912.92	c removed literals (reason simplification)	: 0
1800.15/912.93	c reason swapping (by a shorter reason)	: 0
1800.15/912.93	c Calls to reduceDB	: 0
1800.15/912.93	c number of reductions to clauses (during analyze)	: 0
1800.15/912.93	c number of learned constraints concerned by reduction	: 0
1800.15/912.93	c number of learning phase by resolution	: 0
1800.15/912.93	c number of learning phase by cutting planes	: 0
1800.15/912.93	c speed (assignments/second)	: 845.9685407228536
1800.15/912.93	c non guided choices	0
1800.15/912.93	c learnt constraints type 
1800.15/912.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1250
1800.15/912.93	c constraints type 
1800.15/912.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 357
1800.15/912.93	c constraints type 
1800.15/912.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 357
1800.15/912.93	s SATISFIABLE
1800.15/913.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 x1723 x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 x4472 x4473 x4474 x4475 x4476 x4477 x4478 x4479 x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 -x4572 -x4573 -x4574 x4575 x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 x5051 x5052 x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 x5231 -x5232 x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 x5351 x5352 x5353 x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 x5652 -x5653 x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 -x5772 -x5773 x5774 x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 x5861 x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 x6102 -x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 x6402 -x6403 -x6404 -x6405 x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 x6462 x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 x6641 x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 x6811 x6812 x6813 x6814 x6815 x6816 x6817 x6818 x6819 x6820 x6821 x6822 x6823 x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 x6912 x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 x7242 -x7243 x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 x7741 -x7742 x7743 -x7744 x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 x7763 -x7764 -x7765 x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 x7782 -x7783 -x7784 -x7785 -x7786 -x7787 x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 x7798 -x7799 -x7800 -x7801 -x7802 -x7803 x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 x7873 x7874 -x7875 -x7876 -x7877 -x7878 x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 x7890 x7891 -x7892 x7893 -x7894 x7895 -x7896 x7897 -x7898 -x7899 -x7900 -x7901 x7902 -x7903 x7904 -x7905 -x7906 x7907 -x7908 x7909 -x7910 -x7911 x7912 x7913 -x7914 x7915 -x7916 -x7917 -x7918 x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 x7928 x7929 -x7930 x7931 -x7932 x7933 x7934 -x7935 x7936 -x7937 x7938 -x7939 -x7940 -x7941 -x7942 -x7943 x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 x7951 x7952 -x7953 x7954 -x7955 x7956 -x7957 -x7958 -x7959 -x7960 -x7961 x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 x7971 -x7972 -x7973 -x7974 -x7975 -x7976 x7977 -x7978 -x7979 x7980 -x7981 x7982 -x7983 -x7984 -x7985 -x7986 -x7987 x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 
1800.37/913.06	c objective function=8904699
1800.37/913.06	c Total wall clock time (in seconds): 912.838

Verifier Data 

OK	8904699

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662510-1276518064/watcher-2662510-1276518064 -o /tmp/evaluation-result-2662510-1276518064/solver-2662510-1276518064 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662510-1276518064.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: 0.99 0.98 1.00 3/106 28425
/proc/meminfo: memFree=1866312/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1700 CPUtime=0
/proc/28425/stat : 28425 (java6) R 28423 28425 27737 0 -1 4194304 194 0 0 0 0 0 0 0 23 0 1 0 27410348 1740800 99 1992294400 134512640 134550932 4293094768 18446744073709551615 134521816 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28425/statm: 425 105 81 10 0 30 0

[startup+0.0637141 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 28425
/proc/meminfo: memFree=1866312/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1521664 CPUtime=0.04
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 3620 0 1 0 3 1 0 0 15 0 7 0 27410348 1558183936 3062 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 380416 3062 1023 10 0 377726 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1521664

[startup+0.100717 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 28425
/proc/meminfo: memFree=1866312/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1524020 CPUtime=0.09
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 3926 0 1 0 7 2 0 0 15 0 12 0 27410348 1560596480 3366 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 381005 3366 1071 10 0 378308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1524020

[startup+0.334087 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 28425
/proc/meminfo: memFree=1866312/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1526816 CPUtime=0.44
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 5649 0 1 0 41 3 0 0 15 0 12 0 27410348 1563459584 5086 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 381704 5086 1368 10 0 379007 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 1526816

[startup+0.747671 s]
/proc/loadavg: 0.99 0.98 1.00 3/106 28425
/proc/meminfo: memFree=1866312/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1530056 CPUtime=1.14
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 9039 0 1 0 110 4 0 0 15 0 12 0 27410348 1566777344 8261 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 382514 8261 1405 10 0 379817 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 1530056

[startup+1.50164 s]
/proc/loadavg: 0.99 0.98 1.00 3/118 28437
/proc/meminfo: memFree=1822320/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1540960 CPUtime=2.64
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 19667 0 1 0 255 9 0 0 15 0 14 0 27410348 1577943040 17064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 385240 17066 1427 10 0 382543 0
[pid=28425/tid=28427] ppid=28423 vsize=1540960 CPUtime=0.92
/proc/28425/task/28427/stat : 28427 (java) S 28423 28425 27737 0 -1 4202560 10707 0 1 0 87 5 0 0 25 0 14 0 27410350 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28428] ppid=28423 vsize=1540960 CPUtime=0
/proc/28425/task/28428/stat : 28428 (java) S 28423 28425 27737 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 14 0 27410351 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28429] ppid=28423 vsize=1540960 CPUtime=0
/proc/28425/task/28429/stat : 28429 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 14 0 27410351 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28430] ppid=28423 vsize=1540960 CPUtime=0
/proc/28425/task/28430/stat : 28430 (java) S 28423 28425 27737 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 14 0 27410353 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28431] ppid=28423 vsize=1540960 CPUtime=0
/proc/28425/task/28431/stat : 28431 (java) S 28423 28425 27737 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 14 0 27410353 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28432] ppid=28423 vsize=1540960 CPUtime=0
/proc/28425/task/28432/stat : 28432 (java) S 28423 28425 27737 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 14 0 27410353 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28433] ppid=28423 vsize=1540960 CPUtime=0
/proc/28425/task/28433/stat : 28433 (java) S 28423 28425 27737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 27410358 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28434] ppid=28423 vsize=1540960 CPUtime=0.67
/proc/28425/task/28434/stat : 28434 (java) R 28423 28425 27737 0 -1 4202560 3933 0 0 0 66 1 0 0 17 0 14 0 27410358 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 103861475 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28425/tid=28435] ppid=28423 vsize=1540960 CPUtime=0.79
/proc/28425/task/28435/stat : 28435 (java) R 28423 28425 27737 0 -1 4202560 2282 0 0 0 78 1 0 0 16 0 14 0 27410358 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 104138083 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28425/tid=28436] ppid=28423 vsize=1540960 CPUtime=0
/proc/28425/task/28436/stat : 28436 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 27410358 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28437] ppid=28423 vsize=1540960 CPUtime=0
/proc/28425/task/28437/stat : 28437 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 14 0 27410358 1577943040 17066 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 1540960

[startup+3.10159 s]
/proc/loadavg: 1.31 1.05 1.02 6/122 28441
/proc/meminfo: memFree=1783476/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1541608 CPUtime=5.82
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 43701 0 1 0 562 20 0 0 15 0 16 0 27410348 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 385402 40961 1441 10 0 382705 0
[pid=28425/tid=28427] ppid=28423 vsize=1541608 CPUtime=0.92
/proc/28425/task/28427/stat : 28427 (java) S 28423 28425 27737 0 -1 4202560 10708 0 1 0 87 5 0 0 18 0 16 0 27410350 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28428] ppid=28423 vsize=1541608 CPUtime=0.07
/proc/28425/task/28428/stat : 28428 (java) S 28423 28425 27737 0 -1 4202560 1979 0 0 0 7 0 0 0 15 0 16 0 27410351 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28429] ppid=28423 vsize=1541608 CPUtime=0.08
/proc/28425/task/28429/stat : 28429 (java) S 28423 28425 27737 0 -1 4202560 2161 0 0 0 7 1 0 0 16 0 16 0 27410351 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28430] ppid=28423 vsize=1541608 CPUtime=0
/proc/28425/task/28430/stat : 28430 (java) S 28423 28425 27737 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 16 0 27410353 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28431] ppid=28423 vsize=1541608 CPUtime=0
/proc/28425/task/28431/stat : 28431 (java) S 28423 28425 27737 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27410353 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28432] ppid=28423 vsize=1541608 CPUtime=0
/proc/28425/task/28432/stat : 28432 (java) S 28423 28425 27737 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27410353 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28433] ppid=28423 vsize=1541608 CPUtime=0
/proc/28425/task/28433/stat : 28433 (java) S 28423 28425 27737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 27410358 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28434] ppid=28423 vsize=1541608 CPUtime=1.33
/proc/28425/task/28434/stat : 28434 (java) S 28423 28425 27737 0 -1 4202560 3978 0 0 0 132 1 0 0 15 0 16 0 27410358 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28435] ppid=28423 vsize=1541608 CPUtime=1.15
/proc/28425/task/28435/stat : 28435 (java) S 28423 28425 27737 0 -1 4202560 2407 0 0 0 114 1 0 0 16 0 16 0 27410358 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28436] ppid=28423 vsize=1541608 CPUtime=0
/proc/28425/task/28436/stat : 28436 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27410358 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28437] ppid=28423 vsize=1541608 CPUtime=0
/proc/28425/task/28437/stat : 28437 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 27410358 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28438] ppid=28423 vsize=1541608 CPUtime=0.74
/proc/28425/task/28438/stat : 28438 (java) R 28423 28425 27737 0 -1 4202560 2895 0 0 0 73 1 0 0 25 0 16 0 27410454 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4110076419 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28425/tid=28439] ppid=28423 vsize=1541608 CPUtime=1.45
/proc/28425/task/28439/stat : 28439 (java) R 28423 28425 27737 0 -1 4202560 18488 0 0 0 138 7 0 0 18 0 16 0 27410454 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4109585203 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28425/tid=28440] ppid=28423 vsize=1541608 CPUtime=0
/proc/28425/task/28440/stat : 28440 (java) S 28423 28425 27737 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 27410508 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28441] ppid=28423 vsize=1541608 CPUtime=0
/proc/28425/task/28441/stat : 28441 (java) S 28423 28425 27737 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 16 0 27410508 1578606592 40961 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 1541608

[startup+6.30222 s]
/proc/loadavg: 1.31 1.05 1.02 3/122 28443
/proc/meminfo: memFree=1677952/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1540692 CPUtime=11.73
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 51547 0 1 0 1149 24 0 0 15 0 14 0 27410348 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 385173 47979 1442 10 0 382476 0
[pid=28425/tid=28427] ppid=28423 vsize=1540692 CPUtime=1.02
/proc/28425/task/28427/stat : 28427 (java) S 28423 28425 27737 0 -1 4202560 10709 0 1 0 97 5 0 0 15 0 14 0 27410350 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28428] ppid=28423 vsize=1540692 CPUtime=0.2
/proc/28425/task/28428/stat : 28428 (java) S 28423 28425 27737 0 -1 4202560 5075 0 0 0 18 2 0 0 16 0 14 0 27410351 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28429] ppid=28423 vsize=1540692 CPUtime=0.2
/proc/28425/task/28429/stat : 28429 (java) S 28423 28425 27737 0 -1 4202560 5475 0 0 0 18 2 0 0 16 0 14 0 27410351 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28430] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28430/stat : 28430 (java) S 28423 28425 27737 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 14 0 27410353 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28431] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28431/stat : 28431 (java) S 28423 28425 27737 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 27410353 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28432] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28432/stat : 28432 (java) S 28423 28425 27737 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 27410353 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28433] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28433/stat : 28433 (java) S 28423 28425 27737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 27410358 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28434] ppid=28423 vsize=1540692 CPUtime=1.59
/proc/28425/task/28434/stat : 28434 (java) S 28423 28425 27737 0 -1 4202560 4014 0 0 0 158 1 0 0 15 0 14 0 27410358 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28435] ppid=28423 vsize=1540692 CPUtime=1.37
/proc/28425/task/28435/stat : 28435 (java) S 28423 28425 27737 0 -1 4202560 2656 0 0 0 136 1 0 0 15 0 14 0 27410358 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28436] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28436/stat : 28436 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 27410358 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28437] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28437/stat : 28437 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 14 0 27410358 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28440] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28440/stat : 28440 (java) S 28423 28425 27737 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 27410508 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28441] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28441/stat : 28441 (java) S 28423 28425 27737 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 14 0 27410508 1577668608 47979 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 1540692

[startup+12.7017 s]
/proc/loadavg: 1.27 1.05 1.02 3/122 28445
/proc/meminfo: memFree=1671132/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1540692 CPUtime=22.52
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 54702 0 1 0 2225 27 0 0 15 0 16 0 27410348 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 385173 50642 1442 10 0 382476 0
[pid=28425/tid=28427] ppid=28423 vsize=1540692 CPUtime=1.12
/proc/28425/task/28427/stat : 28427 (java) S 28423 28425 27737 0 -1 4202560 10709 0 1 0 106 6 0 0 15 0 16 0 27410350 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28428] ppid=28423 vsize=1540692 CPUtime=0.27
/proc/28425/task/28428/stat : 28428 (java) S 28423 28425 27737 0 -1 4202560 6363 0 0 0 24 3 0 0 16 0 16 0 27410351 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28429] ppid=28423 vsize=1540692 CPUtime=0.26
/proc/28425/task/28429/stat : 28429 (java) S 28423 28425 27737 0 -1 4202560 7275 0 0 0 23 3 0 0 15 0 16 0 27410351 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28430] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28430/stat : 28430 (java) S 28423 28425 27737 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 16 0 27410353 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28431] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28431/stat : 28431 (java) S 28423 28425 27737 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27410353 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28432] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28432/stat : 28432 (java) S 28423 28425 27737 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27410353 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28433] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28433/stat : 28433 (java) S 28423 28425 27737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 27410358 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28434] ppid=28423 vsize=1540692 CPUtime=1.65
/proc/28425/task/28434/stat : 28434 (java) S 28423 28425 27737 0 -1 4202560 4018 0 0 0 164 1 0 0 15 0 16 0 27410358 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28435] ppid=28423 vsize=1540692 CPUtime=1.47
/proc/28425/task/28435/stat : 28435 (java) S 28423 28425 27737 0 -1 4202560 2663 0 0 0 146 1 0 0 15 0 16 0 27410358 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28436] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28436/stat : 28436 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27410358 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28437] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28437/stat : 28437 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 27410358 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28440] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28440/stat : 28440 (java) S 28423 28425 27737 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 27410508 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28441] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28441/stat : 28441 (java) S 28423 28425 27737 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 16 0 27410508 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28444] ppid=28423 vsize=1540692 CPUtime=5.27
/proc/28425/task/28444/stat : 28444 (java) R 28423 28425 27737 0 -1 4202560 1 0 0 0 527 0 0 0 25 0 16 0 27411083 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4109580208 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28425/tid=28445] ppid=28423 vsize=1540692 CPUtime=5.11
/proc/28425/task/28445/stat : 28445 (java) R 28423 28425 27737 0 -1 4202560 55 0 0 0 511 0 0 0 25 0 16 0 27411083 1577668608 50642 1992294400 134512640 134550932 4288341472 18446744073709551615 4109580158 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.52
Current children cumulated vsize (KiB) 1540692

[startup+25.5028 s]

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

/proc/28425/statm: 385173 75836 1451 10 0 382476 0
[pid=28425/tid=28427] ppid=28423 vsize=1540692 CPUtime=1.31
/proc/28425/task/28427/stat : 28427 (java) S 28423 28425 27737 0 -1 4202560 10717 0 1 0 125 6 0 0 15 0 16 0 27410350 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28428] ppid=28423 vsize=1540692 CPUtime=7.81
/proc/28425/task/28428/stat : 28428 (java) S 28423 28425 27737 0 -1 4202560 20457 0 0 0 760 21 0 0 16 0 16 0 27410351 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28429] ppid=28423 vsize=1540692 CPUtime=7.82
/proc/28425/task/28429/stat : 28429 (java) S 28423 28425 27737 0 -1 4202560 21522 0 0 0 764 18 0 0 16 0 16 0 27410351 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28430] ppid=28423 vsize=1540692 CPUtime=5.76
/proc/28425/task/28430/stat : 28430 (java) S 28423 28425 27737 0 -1 4202560 221 0 0 0 561 15 0 0 15 0 16 0 27410353 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28431] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28431/stat : 28431 (java) S 28423 28425 27737 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27410353 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28432] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28432/stat : 28432 (java) S 28423 28425 27737 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27410353 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28433] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28433/stat : 28433 (java) S 28423 28425 27737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 27410358 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28434] ppid=28423 vsize=1540692 CPUtime=2.5
/proc/28425/task/28434/stat : 28434 (java) S 28423 28425 27737 0 -1 4202560 4048 0 0 0 249 1 0 0 15 0 16 0 27410358 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28435] ppid=28423 vsize=1540692 CPUtime=2.02
/proc/28425/task/28435/stat : 28435 (java) S 28423 28425 27737 0 -1 4202560 2854 0 0 0 201 1 0 0 15 0 16 0 27410358 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28436] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28436/stat : 28436 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27410358 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28437] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28437/stat : 28437 (java) S 28423 28425 27737 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 16 0 27410358 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28440] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28440/stat : 28440 (java) S 28423 28425 27737 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 27410508 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28441] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28441/stat : 28441 (java) S 28423 28425 27737 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 16 0 27410508 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28450] ppid=28423 vsize=1540692 CPUtime=750.7
/proc/28425/task/28450/stat : 28450 (java) R 28423 28425 27737 0 -1 4202560 729 0 0 0 75051 19 0 0 25 0 16 0 27415421 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4109907616 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28425/tid=28451] ppid=28423 vsize=1540692 CPUtime=753.93
/proc/28425/task/28451/stat : 28451 (java) R 28423 28425 27737 0 -1 4202560 810 0 0 0 75372 21 0 0 25 0 16 0 27415421 1577668608 75836 1992294400 134512640 134550932 4288341472 18446744073709551615 4109960765 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1621.58
Current children cumulated vsize (KiB) 1540692

[startup+882.301 s]
/proc/loadavg: 2.12 2.03 1.66 3/122 28473
/proc/meminfo: memFree=1549240/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1540692 CPUtime=1739.78
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 90100 0 1 0 173853 125 0 0 15 0 16 0 27410348 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 385173 80064 1451 10 0 382476 0
[pid=28425/tid=28427] ppid=28423 vsize=1540692 CPUtime=1.31
/proc/28425/task/28427/stat : 28427 (java) S 28423 28425 27737 0 -1 4202560 10717 0 1 0 125 6 0 0 15 0 16 0 27410350 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28428] ppid=28423 vsize=1540692 CPUtime=8.56
/proc/28425/task/28428/stat : 28428 (java) S 28423 28425 27737 0 -1 4202560 22914 0 0 0 833 23 0 0 16 0 16 0 27410351 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28429] ppid=28423 vsize=1540692 CPUtime=8.55
/proc/28425/task/28429/stat : 28429 (java) S 28423 28425 27737 0 -1 4202560 24007 0 0 0 836 19 0 0 15 0 16 0 27410351 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28430] ppid=28423 vsize=1540692 CPUtime=6.54
/proc/28425/task/28430/stat : 28430 (java) S 28423 28425 27737 0 -1 4202560 225 0 0 0 638 16 0 0 15 0 16 0 27410353 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28431] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28431/stat : 28431 (java) S 28423 28425 27737 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27410353 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28432] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28432/stat : 28432 (java) S 28423 28425 27737 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27410353 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28433] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28433/stat : 28433 (java) S 28423 28425 27737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28434] ppid=28423 vsize=1540692 CPUtime=2.5
/proc/28425/task/28434/stat : 28434 (java) S 28423 28425 27737 0 -1 4202560 4048 0 0 0 249 1 0 0 15 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28435] ppid=28423 vsize=1540692 CPUtime=2.02
/proc/28425/task/28435/stat : 28435 (java) S 28423 28425 27737 0 -1 4202560 2854 0 0 0 201 1 0 0 15 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28436] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28436/stat : 28436 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28437] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28437/stat : 28437 (java) S 28423 28425 27737 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28440] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28440/stat : 28440 (java) S 28423 28425 27737 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 27410508 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28441] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28441/stat : 28441 (java) S 28423 28425 27737 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 16 0 27410508 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28450] ppid=28423 vsize=1540692 CPUtime=808.6
/proc/28425/task/28450/stat : 28450 (java) R 28423 28425 27737 0 -1 4202560 763 0 0 0 80840 20 0 0 25 0 16 0 27415421 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4109580204 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28425/tid=28451] ppid=28423 vsize=1540692 CPUtime=811.97
/proc/28425/task/28451/stat : 28451 (java) R 28423 28425 27737 0 -1 4202560 842 0 0 0 81174 23 0 0 25 0 16 0 27415421 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4109907785 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1739.78
Current children cumulated vsize (KiB) 1540692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+912.901 s]
/proc/loadavg: 2.07 2.03 1.66 4/122 28473
/proc/meminfo: memFree=1549240/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1540692 CPUtime=1800.15
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 90151 0 1 0 179887 128 0 0 15 0 16 0 27410348 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 385173 80064 1451 10 0 382476 0
[pid=28425/tid=28427] ppid=28423 vsize=1540692 CPUtime=1.31
/proc/28425/task/28427/stat : 28427 (java) S 28423 28425 27737 0 -1 4202560 10718 0 1 0 125 6 0 0 15 0 16 0 27410350 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28428] ppid=28423 vsize=1540692 CPUtime=9.02
/proc/28425/task/28428/stat : 28428 (java) S 28423 28425 27737 0 -1 4202560 22914 0 0 0 879 23 0 0 16 0 16 0 27410351 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28429] ppid=28423 vsize=1540692 CPUtime=9.02
/proc/28425/task/28429/stat : 28429 (java) S 28423 28425 27737 0 -1 4202560 24007 0 0 0 882 20 0 0 15 0 16 0 27410351 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28430] ppid=28423 vsize=1540692 CPUtime=6.9
/proc/28425/task/28430/stat : 28430 (java) S 28423 28425 27737 0 -1 4202560 227 0 0 0 673 17 0 0 15 0 16 0 27410353 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28431] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28431/stat : 28431 (java) S 28423 28425 27737 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 16 0 27410353 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28432] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28432/stat : 28432 (java) S 28423 28425 27737 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 27410353 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28433] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28433/stat : 28433 (java) S 28423 28425 27737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28434] ppid=28423 vsize=1540692 CPUtime=2.5
/proc/28425/task/28434/stat : 28434 (java) S 28423 28425 27737 0 -1 4202560 4048 0 0 0 249 1 0 0 15 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28435] ppid=28423 vsize=1540692 CPUtime=2.02
/proc/28425/task/28435/stat : 28435 (java) S 28423 28425 27737 0 -1 4202560 2854 0 0 0 201 1 0 0 15 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28436] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28436/stat : 28436 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28437] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28437/stat : 28437 (java) R 28423 28425 27737 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 27410358 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28425/tid=28440] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28440/stat : 28440 (java) S 28423 28425 27737 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 27410508 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28441] ppid=28423 vsize=1540692 CPUtime=0
/proc/28425/task/28441/stat : 28441 (java) S 28423 28425 27737 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 16 0 27410508 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28450] ppid=28423 vsize=1540692 CPUtime=838.01
/proc/28425/task/28450/stat : 28450 (java) R 28423 28425 27737 0 -1 4202560 789 0 0 0 83779 22 0 0 25 0 16 0 27415421 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4109580029 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28425/tid=28451] ppid=28423 vsize=1540692 CPUtime=841.66
/proc/28425/task/28451/stat : 28451 (java) R 28423 28425 27737 0 -1 4202560 862 0 0 0 84143 23 0 0 25 0 16 0 27415421 1577668608 80064 1992294400 134512640 134550932 4288341472 18446744073709551615 4109585066 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1540692

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

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

[startup+913.024 s]
/proc/loadavg: 2.07 2.03 1.66 4/122 28473
/proc/meminfo: memFree=1549240/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=1541340 CPUtime=1800.37
/proc/28425/stat : 28425 (java) S 28423 28425 27737 0 -1 4202496 90167 0 1 0 179908 129 0 0 15 0 18 0 27410348 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 385335 80080 1451 10 0 382638 0
[pid=28425/tid=28427] ppid=28423 vsize=1541340 CPUtime=1.31
/proc/28425/task/28427/stat : 28427 (java) S 28423 28425 27737 0 -1 4202560 10718 0 1 0 125 6 0 0 15 0 18 0 27410350 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28428] ppid=28423 vsize=1541340 CPUtime=9.02
/proc/28425/task/28428/stat : 28428 (java) S 28423 28425 27737 0 -1 4202560 22914 0 0 0 879 23 0 0 16 0 18 0 27410351 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28429] ppid=28423 vsize=1541340 CPUtime=9.02
/proc/28425/task/28429/stat : 28429 (java) S 28423 28425 27737 0 -1 4202560 24007 0 0 0 882 20 0 0 15 0 18 0 27410351 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28430] ppid=28423 vsize=1541340 CPUtime=6.9
/proc/28425/task/28430/stat : 28430 (java) S 28423 28425 27737 0 -1 4202560 227 0 0 0 673 17 0 0 15 0 18 0 27410353 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 0 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28431] ppid=28423 vsize=1541340 CPUtime=0
/proc/28425/task/28431/stat : 28431 (java) S 28423 28425 27737 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 18 0 27410353 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28432] ppid=28423 vsize=1541340 CPUtime=0
/proc/28425/task/28432/stat : 28432 (java) S 28423 28425 27737 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 27410353 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28433] ppid=28423 vsize=1541340 CPUtime=0
/proc/28425/task/28433/stat : 28433 (java) S 28423 28425 27737 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 27410358 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28434] ppid=28423 vsize=1541340 CPUtime=2.52
/proc/28425/task/28434/stat : 28434 (java) S 28423 28425 27737 0 -1 4202560 4048 0 0 0 251 1 0 0 15 0 18 0 27410358 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28435] ppid=28423 vsize=1541340 CPUtime=2.04
/proc/28425/task/28435/stat : 28435 (java) R 28423 28425 27737 0 -1 4202560 2854 0 0 0 203 1 0 0 16 0 18 0 27410358 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 103975827 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28425/tid=28436] ppid=28423 vsize=1541340 CPUtime=0
/proc/28425/task/28436/stat : 28436 (java) S 28423 28425 27737 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 18 0 27410358 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28437] ppid=28423 vsize=1541340 CPUtime=0
/proc/28425/task/28437/stat : 28437 (java) R 28423 28425 27737 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 18 0 27410358 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28425/tid=28440] ppid=28423 vsize=1541340 CPUtime=0
/proc/28425/task/28440/stat : 28440 (java) S 28423 28425 27737 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 18 0 27410508 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 1 0 0 0
[pid=28425/tid=28441] ppid=28423 vsize=1541340 CPUtime=0
/proc/28425/task/28441/stat : 28441 (java) S 28423 28425 27737 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 18 0 27410508 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4294960144 0 4 0 16800975 18446604437816979904 0 0 -1 0 0 0 0
[pid=28425/tid=28450] ppid=28423 vsize=1541340 CPUtime=838.07
/proc/28425/task/28450/stat : 28450 (java) R 28423 28425 27737 0 -1 4202560 789 0 0 0 83785 22 0 0 25 0 18 0 27415421 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4109639273 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28425/tid=28451] ppid=28423 vsize=1541340 CPUtime=841.74
/proc/28425/task/28451/stat : 28451 (java) R 28423 28425 27737 0 -1 4202560 862 0 0 0 84151 23 0 0 25 0 18 0 27415421 1578332160 80080 1992294400 134512640 134550932 4288341472 18446744073709551615 4109954263 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 1541340

[startup+913.101 s]
/proc/loadavg: 2.07 2.03 1.66 4/122 28473
/proc/meminfo: memFree=1549240/2059040 swapFree=4140200/4192956
[pid=28425] ppid=28423 vsize=0 CPUtime=1800.49
/proc/28425/stat : 28425 (java) Z 28423 28425 27737 0 -1 4203548 90172 0 1 0 179918 131 0 0 15 0 2 0 27410348 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28425/statm: 0 0 0 0 0 0 0
[pid=28425/tid=28450] ppid=28423 vsize=0 CPUtime=838.11
/proc/28425/task/28450/stat : 28450 (java) R 28423 28425 27737 0 -1 4203588 789 0 0 0 83787 24 0 0 25 0 2 0 27415421 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 913.112
CPU time (s): 1800.51
CPU user time (s): 1799.19
CPU system time (s): 1.3238
CPU usage (%): 197.184
Max. virtual memory (cumulated for all children) (KiB): 1542548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 1.3238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90172
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= 39107
involuntary context switches= 58547

runsolver used 4.98824 second user time and 8.25275 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-14 14:21:04
IDJOB=2662510
IDBENCH=2282
IDSOLVER=1166
FILE ID=node003/2662510-1276518064
PBS_JOBID= 11173423
Free space on /tmp= 62576 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-ran6x43.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662510-1276518064/watcher-2662510-1276518064 -o /tmp/evaluation-result-2662510-1276518064/solver-2662510-1276518064 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662510-1276518064.opb

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

MD5SUM BENCH= 9dd7506c46c3c26c10ff03753daf5d0f
RANDOM SEED=262529669

node003.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.251
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.50
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.251
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1866708 kB
Buffers:         22676 kB
Cached:          90572 kB
SwapCached:       5604 kB
Active:          26748 kB
Inactive:        98976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1866708 kB
SwapTotal:     4192956 kB
SwapFree:      4140200 kB
Dirty:             628 kB
Writeback:           0 kB
AnonPages:       11136 kB
Mapped:          12924 kB
Slab:            44448 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181480 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= 62572 MiB
End job on node003 at 2010-06-14 14:36:19