Trace number 2659151

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 Resolution 2.2.0 2010-05-26SAT (TO)11572257 1800.37 1797.17

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.15	c version 2.2.0.v20100526
0.09/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.09/0.15	c java.vm.version	11.2-b01
0.09/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version		1.6.0_12
0.09/0.15	c os.name		Linux
0.09/0.15	c os.version		2.6.18-164.el5
0.09/0.15	c os.arch		i386
0.09/0.15	c Free memory 		1393557488
0.09/0.15	c Max memory 		1395916800
0.09/0.15	c Total memory 		1395916800
0.09/0.15	c Number of processors 	2
0.24/0.20	c Pseudo Boolean Optimization
0.24/0.20	c --- Begin Solver configuration ---
0.24/0.20	c Stops conflict analysis at the first Unique Implication Point
0.24/0.20	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.24/0.20	c Learn all clauses as in MiniSAT
0.24/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.20	c Expensive reason simplification
0.24/0.20	c Armin Biere (Picosat) restarts strategy
0.24/0.20	c Glucose learned constraints deletion strategy
0.24/0.20	c timeout=2147483s
0.24/0.20	c DB Simplification allowed=false
0.24/0.20	c --- End Solver configuration ---
0.24/0.20	c solving HOME/instance-2659151-1276518029.opb
0.24/0.20	c reading problem ... 
1.92/1.16	c ... done. Wall clock time 0.941s.
1.92/1.16	c #vars     7998
1.92/1.16	c #constraints  4627
1.92/1.16	c constraints type 
1.92/1.16	c org.sat4j.pb.constraints.pb.MaxWatchPb => 356
4.91/3.48	c SATISFIABLE
4.91/3.48	c OPTIMIZING...
4.91/3.48	c Got one! Elapsed wall clock time (in seconds):3.273
4.91/3.48	o 20094296
8.15/6.54	c Got one! Elapsed wall clock time (in seconds):6.331
8.15/6.54	o 11572257
18.80/17.03	c cleaning 2496 clauses out of 5001 with flag 5001/5001
38.06/36.24	c cleaning 4251 clauses out of 8505 with flag 11001/11001
65.07/63.21	c cleaning 5627 clauses out of 11254 with flag 18001/18001
100.99/99.16	c cleaning 6811 clauses out of 13627 with flag 26001/26001
137.26/135.35	c cleaning 7908 clauses out of 15815 with flag 35000/35000
174.88/172.99	c cleaning 8954 clauses out of 17907 with flag 45000/45000
218.60/216.68	c cleaning 9470 clauses out of 18953 with flag 55000/55000
260.11/258.12	c cleaning 9736 clauses out of 19484 with flag 65001/65001
302.83/300.83	c cleaning 9867 clauses out of 19747 with flag 75000/75000
345.65/343.68	c cleaning 9929 clauses out of 19880 with flag 85000/85000
383.77/381.80	c cleaning 9960 clauses out of 19951 with flag 95000/95000
418.39/416.31	c cleaning 9989 clauses out of 19992 with flag 105001/105001
447.40/445.38	c cleaning 9996 clauses out of 20002 with flag 115000/115000
477.43/475.38	c cleaning 9997 clauses out of 20006 with flag 125000/125000
510.84/508.77	c cleaning 10002 clauses out of 20010 with flag 135001/135001
544.98/542.83	c cleaning 9998 clauses out of 20007 with flag 145000/145000
578.11/575.94	c cleaning 10006 clauses out of 20017 with flag 155008/155008
608.35/606.14	c cleaning 9998 clauses out of 20004 with flag 165001/165001
640.86/638.66	c cleaning 9999 clauses out of 20006 with flag 175001/175001
668.18/665.94	c cleaning 9998 clauses out of 20007 with flag 185001/185001
689.09/686.81	c cleaning 9996 clauses out of 20008 with flag 195000/195000
713.60/711.34	c cleaning 10002 clauses out of 20013 with flag 205001/205001
742.54/740.22	c cleaning 10002 clauses out of 20010 with flag 215000/215000
771.75/769.44	c cleaning 10001 clauses out of 20008 with flag 225000/225000
796.18/793.81	c cleaning 10000 clauses out of 20008 with flag 235001/235001
821.32/818.97	c cleaning 9998 clauses out of 20008 with flag 245001/245001
845.34/842.92	c cleaning 9998 clauses out of 20009 with flag 255000/255000
870.37/867.91	c cleaning 10001 clauses out of 20012 with flag 265001/265001
897.59/895.11	c cleaning 9998 clauses out of 20010 with flag 275000/275000
925.80/923.39	c cleaning 10003 clauses out of 20013 with flag 285001/285001
955.53/953.08	c cleaning 10001 clauses out of 20010 with flag 295001/295001
984.05/981.57	c cleaning 9997 clauses out of 20008 with flag 305000/305000
1009.36/1006.80	c cleaning 10004 clauses out of 20013 with flag 315002/315002
1033.29/1030.74	c cleaning 10000 clauses out of 20007 with flag 325000/325000
1060.10/1057.57	c cleaning 9997 clauses out of 20008 with flag 335001/335001
1087.81/1085.22	c cleaning 10003 clauses out of 20011 with flag 345001/345001
1118.73/1116.12	c cleaning 10000 clauses out of 20008 with flag 355001/355001
1155.15/1152.51	c cleaning 9991 clauses out of 20008 with flag 365001/365001
1179.75/1177.20	c cleaning 9982 clauses out of 20016 with flag 375000/375000
1208.84/1206.27	c cleaning 9992 clauses out of 20034 with flag 385000/385000
1239.56/1236.93	c cleaning 10016 clauses out of 20042 with flag 395000/395000
1268.08/1265.40	c cleaning 10010 clauses out of 20028 with flag 405002/405002
1281.78/1279.18	c cleaning 9992 clauses out of 20016 with flag 415000/415000
1306.00/1303.36	c cleaning 9987 clauses out of 20024 with flag 425000/425000
1335.01/1332.39	c cleaning 9997 clauses out of 20037 with flag 435000/435000
1357.73/1355.01	c cleaning 10011 clauses out of 20040 with flag 445000/445000
1379.25/1376.59	c cleaning 10010 clauses out of 20029 with flag 455000/455000
1404.88/1402.15	c cleaning 10006 clauses out of 20022 with flag 465003/465003
1431.10/1428.37	c cleaning 9999 clauses out of 20013 with flag 475000/475000
1459.33/1456.58	c cleaning 10000 clauses out of 20014 with flag 485000/485000
1486.15/1483.31	c cleaning 10004 clauses out of 20014 with flag 495000/495000
1516.88/1514.05	c cleaning 9998 clauses out of 20011 with flag 505001/505001
1550.40/1547.58	c cleaning 9996 clauses out of 20012 with flag 515000/515000
1580.33/1577.45	c cleaning 10006 clauses out of 20016 with flag 525000/525000
1613.65/1610.75	c cleaning 10002 clauses out of 20010 with flag 535000/535000
1645.28/1642.39	c cleaning 9997 clauses out of 20010 with flag 545002/545002
1676.30/1673.33	c cleaning 9997 clauses out of 20011 with flag 555000/555000
1707.71/1704.71	c cleaning 10006 clauses out of 20016 with flag 565002/565002
1738.93/1735.94	c cleaning 9998 clauses out of 20008 with flag 575000/575000
1767.85/1764.81	c cleaning 10000 clauses out of 20010 with flag 585000/585000
1796.87/1793.86	c cleaning 9995 clauses out of 20011 with flag 595001/595001
1800.08/1797.01	c starts		: 165
1800.08/1797.01	c conflicts		: 595942
1800.08/1797.01	c decisions		: 722414
1800.08/1797.01	c propagations		: 50801829
1800.08/1797.01	c inspects		: 256800882
1800.08/1797.01	c learnt literals	: 0
1800.08/1797.01	c learnt binary clauses	: 0
1800.08/1797.01	c learnt ternary clauses	: 0
1800.08/1797.01	c learnt clauses	: 595941
1800.08/1797.01	c ignored clauses	: 0
1800.08/1797.01	c root simplifications	: 0
1800.08/1797.01	c removed literals (reason simplification)	: 13746027
1800.08/1797.01	c reason swapping (by a shorter reason)	: 0
1800.08/1797.01	c Calls to reduceDB	: 61
1800.08/1797.01	c number of reductions to clauses (during analyze)	: 0
1800.08/1797.01	c number of learned constraints concerned by reduction	: 0
1800.08/1797.01	c number of learning phase by resolution	: 0
1800.08/1797.01	c number of learning phase by cutting planes	: 0
1800.08/1797.01	c speed (assignments/second)	: 28373.840372733946
1800.08/1797.01	c non guided choices	11860
1800.08/1797.04	c learnt constraints type 
1800.08/1797.04	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 10964
1800.08/1797.04	c constraints type 
1800.08/1797.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 357
1800.08/1797.07	s SATISFIABLE
1800.08/1797.10	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.28/1797.13	c objective function=11572257
1800.28/1797.13	c Total wall clock time (in seconds): 1796.922

Verifier Data 

OK	11572257

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659151-1276518029/watcher-2659151-1276518029 -o /tmp/evaluation-result-2659151-1276518029/solver-2659151-1276518029 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659151-1276518029.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: 2.08 2.02 1.67 2/106 30828
/proc/meminfo: memFree=1699688/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1832 CPUtime=0
/proc/30828/stat : 30828 (java6) R 30826 30828 30644 0 -1 4194304 254 0 0 0 0 0 0 0 21 0 1 0 27404252 1875968 156 1992294400 134512640 134550932 4286712368 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30828/statm: 458 156 119 10 0 63 0

[startup+0.0174771 s]
/proc/loadavg: 2.08 2.02 1.67 2/106 30828
/proc/meminfo: memFree=1699688/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=13480 CPUtime=0.01
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 1112 0 0 0 0 1 0 0 18 0 2 0 27404252 13803520 582 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 3370 582 265 10 0 1204 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13480

[startup+0.101194 s]
/proc/loadavg: 2.08 2.02 1.67 2/106 30828
/proc/meminfo: memFree=1699688/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1524184 CPUtime=0.09
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 3964 0 1 0 6 3 0 0 18 0 12 0 27404252 1560764416 3403 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 381046 3403 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1524184

[startup+0.301216 s]
/proc/loadavg: 2.08 2.02 1.67 2/106 30828
/proc/meminfo: memFree=1699688/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1526456 CPUtime=0.38
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 5371 0 1 0 34 4 0 0 18 0 12 0 27404252 1563090944 4808 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 381614 4808 1367 10 0 378916 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1526456

[startup+0.701258 s]
/proc/loadavg: 2.08 2.02 1.67 2/106 30828
/proc/meminfo: memFree=1699688/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1532808 CPUtime=1.11
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 8495 0 1 0 105 6 0 0 18 0 12 0 27404252 1569595392 7722 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 383202 7722 1401 10 0 380504 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 1532808

[startup+1.50233 s]
/proc/loadavg: 2.08 2.02 1.67 4/118 30840
/proc/meminfo: memFree=1658796/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1540872 CPUtime=2.6
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 17832 0 1 0 251 9 0 0 18 0 12 0 27404252 1577852928 15138 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385218 15141 1427 10 0 382520 0
[pid=30828/tid=30830] ppid=30826 vsize=1540872 CPUtime=1.03
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 10223 0 1 0 98 5 0 0 18 0 12 0 27404254 1577852928 15143 1992294400 134512640 134550932 4288378304 18446744073709551615 4109731918 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1540872 CPUtime=0
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 27404255 1577852928 15145 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1540872 CPUtime=0
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 27404255 1577852928 15147 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1540872 CPUtime=0
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 27404257 1577852928 15149 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1540872 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 12 0 27404258 1577852928 15151 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1540872 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 27404258 1577852928 15153 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1540872 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 27404262 1577852928 15154 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1540872 CPUtime=0.88
/proc/30828/task/30837/stat : 30837 (java) R 30826 30828 30644 0 -1 4202560 4841 0 0 0 86 2 0 0 16 0 12 0 27404262 1577852928 15156 1992294400 134512640 134550932 4288378304 18446744073709551615 103133463 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1540872 CPUtime=0.66
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1708 0 0 0 66 0 0 0 16 0 12 0 27404262 1577852928 15158 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1540872 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 27404262 1577852928 15160 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1540872 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 27404262 1577852928 15162 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 1540872

[startup+3.10247 s]
/proc/loadavg: 2.15 2.04 1.68 2/119 30841
/proc/meminfo: memFree=1636592/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1541196 CPUtime=4.61
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 23492 0 1 0 449 12 0 0 18 0 13 0 27404252 1578184704 20796 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385299 20796 1431 10 0 382601 0
[pid=30828/tid=30830] ppid=30826 vsize=1541196 CPUtime=2.43
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 15824 0 1 0 236 7 0 0 21 0 13 0 27404254 1578184704 20796 1992294400 134512640 134550932 4288378304 18446744073709551615 4109901324 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 27404255 1578184704 20796 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 27404255 1578184704 20796 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 27404257 1578184704 20797 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 27404258 1578184704 20797 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 27404258 1578184704 20797 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 20797 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1541196 CPUtime=1.21
/proc/30828/task/30837/stat : 30837 (java) S 30826 30828 30644 0 -1 4202560 4870 0 0 0 119 2 0 0 15 0 13 0 27404262 1578184704 20797 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1541196 CPUtime=0.92
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1729 0 0 0 92 0 0 0 16 0 13 0 27404262 1578184704 20797 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 20798 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27404262 1578184704 20798 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30841] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30841/stat : 30841 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27404406 1578184704 20798 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 1541196

[startup+6.30058 s]
/proc/loadavg: 2.15 2.04 1.68 2/119 30841
/proc/meminfo: memFree=1590588/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1541196 CPUtime=7.92
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 33097 0 1 0 776 16 0 0 18 0 13 0 27404252 1578184704 30368 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385299 30368 1431 10 0 382601 0
[pid=30828/tid=30830] ppid=30826 vsize=1541196 CPUtime=5.55
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 25417 0 1 0 544 11 0 0 25 0 13 0 27404254 1578184704 30368 1992294400 134512640 134550932 4288378304 18446744073709551615 4109499261 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 13 0 27404255 1578184704 30368 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 13 0 27404255 1578184704 30368 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27404257 1578184704 30368 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 10 0 0 0 0 0 0 0 23 0 13 0 27404258 1578184704 30369 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 13 0 27404258 1578184704 30369 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 30369 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1541196 CPUtime=1.33
/proc/30828/task/30837/stat : 30837 (java) S 30826 30828 30644 0 -1 4202560 4877 0 0 0 131 2 0 0 16 0 13 0 27404262 1578184704 30369 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1541196 CPUtime=1
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1734 0 0 0 100 0 0 0 16 0 13 0 27404262 1578184704 30369 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 30369 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27404262 1578184704 30369 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30841] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30841/stat : 30841 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27404406 1578184704 30369 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 1541196

[startup+12.7014 s]
/proc/loadavg: 1.98 2.00 1.67 2/119 30841
/proc/meminfo: memFree=1547560/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1541196 CPUtime=14.45
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 41885 0 1 0 1426 19 0 0 18 0 13 0 27404252 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385299 39150 1440 10 0 382601 0
[pid=30828/tid=30830] ppid=30826 vsize=1541196 CPUtime=11.89
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 32055 0 1 0 1176 13 0 0 25 0 13 0 27404254 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4109746356 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541196 CPUtime=0.02
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 756 0 0 0 2 0 0 0 18 0 13 0 27404255 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541196 CPUtime=0.01
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 1375 0 0 0 1 0 0 0 18 0 13 0 27404255 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 27404257 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1541196 CPUtime=1.36
/proc/30828/task/30837/stat : 30837 (java) S 30826 30828 30644 0 -1 4202560 4877 0 0 0 134 2 0 0 15 0 13 0 27404262 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1541196 CPUtime=1.1
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1748 0 0 0 110 0 0 0 16 0 13 0 27404262 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27404262 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30841] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30841/stat : 30841 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27404406 1578184704 39150 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.45
Current children cumulated vsize (KiB) 1541196

[startup+25.5012 s]
/proc/loadavg: 1.83 1.97 1.66 2/119 30841
/proc/meminfo: memFree=1521272/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1541196 CPUtime=27.32
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 48563 0 1 0 2710 22 0 0 18 0 13 0 27404252 1578184704 45745 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385299 45745 1445 10 0 382601 0
[pid=30828/tid=30830] ppid=30826 vsize=1541196 CPUtime=24.56
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 32057 0 1 0 2443 13 0 0 25 0 13 0 27404254 1578184704 45745 1992294400 134512640 134550932 4288378304 18446744073709551615 4109499284 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541196 CPUtime=0.06
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 2961 0 0 0 6 0 0 0 16 0 13 0 27404255 1578184704 45745 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541196 CPUtime=0.06
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 3405 0 0 0 5 1 0 0 16 0 13 0 27404255 1578184704 45745 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541196 CPUtime=0.05
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 2442 0 0 0 4 1 0 0 15 0 13 0 27404257 1578184704 45745 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541196 CPUtime=0

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

[pid=30828] ppid=30826 vsize=1541196 CPUtime=1665.29
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 66633 0 1 0 166488 41 0 0 18 0 13 0 27404252 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385299 59578 1445 10 0 382601 0
[pid=30828/tid=30830] ppid=30826 vsize=1541196 CPUtime=1655.4
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 32226 0 1 0 165524 16 0 0 25 0 13 0 27404254 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4109746152 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541196 CPUtime=1.91
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 10589 0 0 0 184 7 0 0 15 0 13 0 27404255 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541196 CPUtime=1.86
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 11541 0 0 0 178 8 0 0 15 0 13 0 27404255 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541196 CPUtime=3.37
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 4470 0 0 0 334 3 0 0 15 0 13 0 27404257 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1541196 CPUtime=1.51
/proc/30828/task/30837/stat : 30837 (java) S 30826 30828 30644 0 -1 4202560 4896 0 0 0 149 2 0 0 15 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1541196 CPUtime=1.16
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1750 0 0 0 116 0 0 0 16 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30841] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30841/stat : 30841 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27404406 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.29
Current children cumulated vsize (KiB) 1541196

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/119 30887
/proc/meminfo: memFree=1463984/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1541196 CPUtime=1725.31
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 66646 0 1 0 172490 41 0 0 18 0 13 0 27404252 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385299 59578 1445 10 0 382601 0
[pid=30828/tid=30830] ppid=30826 vsize=1541196 CPUtime=1715.18
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 32233 0 1 0 171502 16 0 0 25 0 13 0 27404254 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4109774720 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541196 CPUtime=1.98
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 10589 0 0 0 190 8 0 0 15 0 13 0 27404255 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541196 CPUtime=1.94
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 11541 0 0 0 185 9 0 0 15 0 13 0 27404255 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541196 CPUtime=3.49
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 4472 0 0 0 346 3 0 0 15 0 13 0 27404257 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1541196 CPUtime=1.51
/proc/30828/task/30837/stat : 30837 (java) S 30826 30828 30644 0 -1 4202560 4896 0 0 0 149 2 0 0 15 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1541196 CPUtime=1.16
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1750 0 0 0 116 0 0 0 16 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30841] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30841/stat : 30841 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27404406 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.31
Current children cumulated vsize (KiB) 1541196

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/119 30889
/proc/meminfo: memFree=1463736/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1541196 CPUtime=1785.37
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 66661 0 1 0 178494 43 0 0 18 0 13 0 27404252 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385299 59578 1445 10 0 382601 0
[pid=30828/tid=30830] ppid=30826 vsize=1541196 CPUtime=1774.9
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 32242 0 1 0 177473 17 0 0 25 0 13 0 27404254 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4109769190 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541196 CPUtime=2.08
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 10589 0 0 0 200 8 0 0 15 0 13 0 27404255 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541196 CPUtime=2.04
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 11541 0 0 0 195 9 0 0 16 0 13 0 27404255 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541196 CPUtime=3.62
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 4476 0 0 0 359 3 0 0 15 0 13 0 27404257 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1541196 CPUtime=1.51
/proc/30828/task/30837/stat : 30837 (java) S 30826 30828 30644 0 -1 4202560 4896 0 0 0 149 2 0 0 15 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1541196 CPUtime=1.16
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1750 0 0 0 116 0 0 0 16 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30841] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30841/stat : 30841 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27404406 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.37
Current children cumulated vsize (KiB) 1541196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 1.07 1.02 1.08 2/119 30889
/proc/meminfo: memFree=1463736/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1541196 CPUtime=1800.08
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 66667 0 1 0 179965 43 0 0 18 0 13 0 27404252 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385299 59578 1445 10 0 382601 0
[pid=30828/tid=30830] ppid=30826 vsize=1541196 CPUtime=1789.51
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 32244 0 1 0 178934 17 0 0 25 0 13 0 27404254 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4109577537 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541196 CPUtime=2.1
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 10589 0 0 0 202 8 0 0 15 0 13 0 27404255 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541196 CPUtime=2.06
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 11541 0 0 0 197 9 0 0 16 0 13 0 27404255 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541196 CPUtime=3.68
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 4478 0 0 0 365 3 0 0 15 0 13 0 27404257 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 27404258 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1541196 CPUtime=1.51
/proc/30828/task/30837/stat : 30837 (java) S 30826 30828 30644 0 -1 4202560 4896 0 0 0 149 2 0 0 15 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1541196 CPUtime=1.16
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1750 0 0 0 116 0 0 0 16 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 27404262 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30841] ppid=30826 vsize=1541196 CPUtime=0
/proc/30828/task/30841/stat : 30841 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27404406 1578184704 59578 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1541196

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

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

[startup+1797.11 s]
/proc/loadavg: 1.07 1.02 1.08 2/119 30889
/proc/meminfo: memFree=1463736/2059040 swapFree=4135896/4192956
[pid=30828] ppid=30826 vsize=1541844 CPUtime=1800.28
/proc/30828/stat : 30828 (java) S 30826 30828 30644 0 -1 4202496 66685 0 1 0 179985 43 0 0 18 0 15 0 27404252 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30828/statm: 385461 59596 1447 10 0 382763 0
[pid=30828/tid=30830] ppid=30826 vsize=1541844 CPUtime=1789.61
/proc/30828/task/30830/stat : 30830 (java) R 30826 30828 30644 0 -1 4202560 32244 0 1 0 178944 17 0 0 25 0 15 0 27404254 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4109577492 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30828/tid=30831] ppid=30826 vsize=1541844 CPUtime=2.1
/proc/30828/task/30831/stat : 30831 (java) S 30826 30828 30644 0 -1 4202560 10589 0 0 0 202 8 0 0 15 0 15 0 27404255 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30832] ppid=30826 vsize=1541844 CPUtime=2.06
/proc/30828/task/30832/stat : 30832 (java) S 30826 30828 30644 0 -1 4202560 11541 0 0 0 197 9 0 0 16 0 15 0 27404255 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30833] ppid=30826 vsize=1541844 CPUtime=3.68
/proc/30828/task/30833/stat : 30833 (java) S 30826 30828 30644 0 -1 4202560 4478 0 0 0 365 3 0 0 15 0 15 0 27404257 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 0 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30834] ppid=30826 vsize=1541844 CPUtime=0
/proc/30828/task/30834/stat : 30834 (java) S 30826 30828 30644 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 15 0 27404258 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30835] ppid=30826 vsize=1541844 CPUtime=0
/proc/30828/task/30835/stat : 30835 (java) S 30826 30828 30644 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 15 0 27404258 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30836] ppid=30826 vsize=1541844 CPUtime=0
/proc/30828/task/30836/stat : 30836 (java) S 30826 30828 30644 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 15 0 27404262 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30837] ppid=30826 vsize=1541844 CPUtime=1.57
/proc/30828/task/30837/stat : 30837 (java) S 30826 30828 30644 0 -1 4202560 4898 0 0 0 155 2 0 0 16 0 15 0 27404262 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30838] ppid=30826 vsize=1541844 CPUtime=1.16
/proc/30828/task/30838/stat : 30838 (java) S 30826 30828 30644 0 -1 4202560 1750 0 0 0 116 0 0 0 16 0 15 0 27404262 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
[pid=30828/tid=30839] ppid=30826 vsize=1541844 CPUtime=0
/proc/30828/task/30839/stat : 30839 (java) S 30826 30828 30644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 27404262 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30840] ppid=30826 vsize=1541844 CPUtime=0
/proc/30828/task/30840/stat : 30840 (java) S 30826 30828 30644 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 15 0 27404262 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 0 0 0 0
[pid=30828/tid=30841] ppid=30826 vsize=1541844 CPUtime=0
/proc/30828/task/30841/stat : 30841 (java) S 30826 30828 30644 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 15 0 27404406 1578848256 59596 1992294400 134512640 134550932 4288378304 18446744073709551615 4294960144 0 4 0 16800975 18446604437843476672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 1541844

Child status: 143
Real time (s): 1797.17
CPU time (s): 1800.37
CPU user time (s): 1799.91
CPU system time (s): 0.45993
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 1543228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.45993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66689
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= 38910
involuntary context switches= 18078

runsolver used 3.56946 second user time and 9.57454 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-14 14:20:29
IDJOB=2659151
IDBENCH=2282
IDSOLVER=1164
FILE ID=node015/2659151-1276518029
PBS_JOBID= 11173433
Free space on /tmp= 62580 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
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 -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659151-1276518029/watcher-2659151-1276518029 -o /tmp/evaluation-result-2659151-1276518029/solver-2659151-1276518029 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659151-1276518029.opb

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

MD5SUM BENCH= 9dd7506c46c3c26c10ff03753daf5d0f
RANDOM SEED=1346990662

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1700084 kB
Buffers:        152612 kB
Cached:         119912 kB
SwapCached:      17672 kB
Active:         108452 kB
Inactive:       184548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1700084 kB
SwapTotal:     4192956 kB
SwapFree:      4135896 kB
Dirty:             660 kB
Writeback:           0 kB
AnonPages:       11928 kB
Mapped:           9116 kB
Slab:            44032 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181820 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= 62580 MiB
End job on node015 at 2010-06-14 14:50:28