Trace number 3733348

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
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)6105088 1800.01 1780.57

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	6105088

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733348-1338695392/watcher-3733348-1338695392 -o /tmp/evaluation-result-3733348-1338695392/solver-3733348-1338695392 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733348-1338695392.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 31900
/proc/meminfo: memFree=30074636/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31900/stat : 31900 (java) D 31898 31900 28219 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 335664105 9515008 183 33554432000 1073741824 1073778376 140735067075584 140735067066616 240565173941 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/31900/statm: 2323 183 140 9 0 71 0

[startup+0.0537779 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 31900
/proc/meminfo: memFree=30074636/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 3931 0 1 0 2 1 0 0 20 0 13 0 335664105 2686889984 5138 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 655979 5138 1697 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 31900
/proc/meminfo: memFree=30074636/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 4142 0 1 0 6 1 0 0 20 0 18 0 335664105 3028844544 5859 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 739464 5859 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300161 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 31900
/proc/meminfo: memFree=30074636/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 10018 0 1 0 47 3 0 0 20 0 18 0 335664105 3028844544 12331 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 739464 12331 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 31900
/proc/meminfo: memFree=30074636/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=3024420 CPUtime=1.57 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 12430 0 1 0 153 4 0 0 20 0 19 0 335664105 3097006080 20976 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 756105 20976 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 3024420

[startup+1.50065 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 31920
/proc/meminfo: memFree=29982956/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=3024420 CPUtime=2.47 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 12458 0 1 0 242 5 0 0 20 0 18 0 335664105 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 756105 29684 2270 9 0 746526 0
[pid=31900/tid=31902] ppid=31898 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) R 31898 31900 28219 0 -1 4202560 3084 0 1 0 142 3 0 0 20 0 18 0 335664106 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974624415968 139974478219623 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31903] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664108 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974607850024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31904] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664108 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974606797224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31905] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664108 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974605744424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31906] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664108 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974604691624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31907] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664108 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974603639848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31908] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664108 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974602587048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31909] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664108 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974601534248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31910] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31900 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 335664108 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974600481448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31911] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31900 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 335664109 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974469974504 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31912] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31900 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 335664109 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974468920568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31913] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31900 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 335664109 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974467867656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31914] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664112 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974466816144 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31915] ppid=31898 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/31900/task/31915/stat : 31915 (java) S 31898 31900 28219 0 -1 4202560 4519 0 0 0 46 1 0 0 20 0 18 0 335664112 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974465764280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31916] ppid=31898 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/31900/task/31916/stat : 31916 (java) S 31898 31900 28219 0 -1 4202560 3648 0 0 0 51 0 0 0 20 0 18 0 335664112 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974464711480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31917] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31917/stat : 31917 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664112 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974463658872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31918] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31918/stat : 31918 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 335664112 3097006080 29684 33554432000 1073741824 1073778376 140736733567312 139974462606280 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 3024420

[startup+3.10082 s]
/proc/loadavg: 2.08 2.02 2.01 3/213 31922
/proc/meminfo: memFree=29943392/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=3024420 CPUtime=4.07 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 12500 0 1 0 401 6 0 0 20 0 19 0 335664105 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 756105 49654 2270 9 0 746526 0
[pid=31900/tid=31902] ppid=31898 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) R 31898 31900 28219 0 -1 4202560 3124 0 1 0 300 4 0 0 20 0 19 0 335664106 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974624422192 139974478046238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31903] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974607850024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31904] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974606797224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31905] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974605744424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31906] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974604691624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31907] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974603639848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31908] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974602587048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31909] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974601534248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31910] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31900 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974600481448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31911] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31900 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974469974504 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31912] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31900 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974468920568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31913] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31900 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974467867656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31914] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974466816144 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31915] ppid=31898 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/31900/task/31915/stat : 31915 (java) S 31898 31900 28219 0 -1 4202560 4519 0 0 0 46 2 0 0 20 0 19 0 335664112 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974465764280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31916] ppid=31898 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/31900/task/31916/stat : 31916 (java) S 31898 31900 28219 0 -1 4202560 3648 0 0 0 51 0 0 0 20 0 19 0 335664112 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974464711480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31917] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31917/stat : 31917 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974463658872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31918] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31918/stat : 31918 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139974462606280 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31922] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31922/stat : 31922 (java) S 31898 31900 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335664260 3097006080 49654 33554432000 1073741824 1073778376 140736733567312 139973452854056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 3024420

[startup+6.30083 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 31922
/proc/meminfo: memFree=29799560/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=3024420 CPUtime=7.31 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 12574 0 1 0 722 9 0 0 20 0 19 0 335664105 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 756105 85991 2271 9 0 746526 0
[pid=31900/tid=31902] ppid=31898 vsize=3024420 CPUtime=6.22 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) R 31898 31900 28219 0 -1 4202560 3197 0 1 0 615 7 0 0 20 0 19 0 335664106 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974624422440 139974477916461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31903] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974607850024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31904] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974606797224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31905] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974605744424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31906] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974604691624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31907] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974603639848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31908] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974602587048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31909] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974601534248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31910] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31900 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335664108 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974600481448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31911] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31900 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974469974504 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31912] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31900 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974468920568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31913] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31900 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974467867656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31914] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974466816144 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31915] ppid=31898 vsize=3024420 CPUtime=0.53 cores=1,3,5,7
/proc/31900/task/31915/stat : 31915 (java) S 31898 31900 28219 0 -1 4202560 4519 0 0 0 51 2 0 0 20 0 19 0 335664112 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974465764280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31916] ppid=31898 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/31900/task/31916/stat : 31916 (java) S 31898 31900 28219 0 -1 4202560 3648 0 0 0 51 0 0 0 20 0 19 0 335664112 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974464711480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31917] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31917/stat : 31917 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974463658872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31918] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31918/stat : 31918 (java) S 31898 31900 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139974462606280 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31922] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31922/stat : 31922 (java) S 31898 31900 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335664260 3097006080 85991 33554432000 1073741824 1073778376 140736733567312 139973452854056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.07 2.02 2.00 3/214 31925
/proc/meminfo: memFree=29610052/32873844 swapFree=7116/7116

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

[pid=31900/tid=31915] ppid=31898 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/31900/task/31915/stat : 31915 (java) S 31898 31900 28219 0 -1 4202560 4531 0 0 0 64 2 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974465764280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31916] ppid=31898 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/31900/task/31916/stat : 31916 (java) S 31898 31900 28219 0 -1 4202560 3652 0 0 0 54 0 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974464711480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31917] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31917/stat : 31917 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974463658872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31918] ppid=31898 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/31900/task/31918/stat : 31918 (java) S 31898 31900 28219 0 -1 4202560 96 0 0 0 40 25 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974462606280 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31922] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31922/stat : 31922 (java) S 31898 31900 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335664260 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139973452854056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.3
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 32098
/proc/meminfo: memFree=29133580/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=3024420 CPUtime=1741.12 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 16805 0 1 0 173916 196 0 0 20 0 19 0 335664105 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 756105 416378 2299 9 0 746526 0
[pid=31900/tid=31902] ppid=31898 vsize=3024420 CPUtime=1709.46 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) R 31898 31900 28219 0 -1 4202560 3460 0 1 0 170911 35 0 0 20 0 19 0 335664106 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974624423160 139974478047178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31903] ppid=31898 vsize=3024420 CPUtime=2.91 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 28219 0 -1 4202560 523 0 0 0 272 19 0 0 20 0 19 0 335664108 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974607850024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31904] ppid=31898 vsize=3024420 CPUtime=2.95 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 28219 0 -1 4202560 492 0 0 0 275 20 0 0 20 0 19 0 335664108 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974606797224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31905] ppid=31898 vsize=3024420 CPUtime=2.89 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 28219 0 -1 4202560 386 0 0 0 272 17 0 0 20 0 19 0 335664108 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974605744424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31906] ppid=31898 vsize=3024420 CPUtime=2.8 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 28219 0 -1 4202560 481 0 0 0 262 18 0 0 20 0 19 0 335664108 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974604691624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31907] ppid=31898 vsize=3024420 CPUtime=2.84 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 28219 0 -1 4202560 424 0 0 0 265 19 0 0 20 0 19 0 335664108 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974603639848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31908] ppid=31898 vsize=3024420 CPUtime=2.99 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 28219 0 -1 4202560 386 0 0 0 282 17 0 0 20 0 19 0 335664108 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974602587048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31909] ppid=31898 vsize=3024420 CPUtime=3 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 28219 0 -1 4202560 493 0 0 0 283 17 0 0 20 0 19 0 335664108 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974601534248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31910] ppid=31898 vsize=3024420 CPUtime=3.1 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31900 28219 0 -1 4202560 555 0 0 0 288 22 0 0 20 0 19 0 335664108 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974600481448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31911] ppid=31898 vsize=3024420 CPUtime=1.8 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31900 28219 0 -1 4202560 124 0 0 0 177 3 0 0 20 0 19 0 335664109 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974469974504 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31912] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31900 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974468920568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31913] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31900 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974467867656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31914] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974466816144 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31915] ppid=31898 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/31900/task/31915/stat : 31915 (java) S 31898 31900 28219 0 -1 4202560 4531 0 0 0 64 2 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974465764280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31916] ppid=31898 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/31900/task/31916/stat : 31916 (java) S 31898 31900 28219 0 -1 4202560 3652 0 0 0 54 0 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974464711480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31917] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31917/stat : 31917 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974463658872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31918] ppid=31898 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/31900/task/31918/stat : 31918 (java) S 31898 31900 28219 0 -1 4202560 100 0 0 0 40 26 0 0 20 0 19 0 335664112 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139974462606280 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31922] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31922/stat : 31922 (java) S 31898 31900 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335664260 3097006080 416378 33554432000 1073741824 1073778376 140736733567312 139973452854056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1741.12
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 32098
/proc/meminfo: memFree=29118996/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 16833 0 1 0 179802 199 0 0 20 0 19 0 335664105 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 756105 417914 2299 9 0 746526 0
[pid=31900/tid=31902] ppid=31898 vsize=3024420 CPUtime=1767.27 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) R 31898 31900 28219 0 -1 4202560 3468 0 1 0 176691 36 0 0 20 0 19 0 335664106 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974624415584 139974478005766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31903] ppid=31898 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 28219 0 -1 4202560 524 0 0 0 283 19 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974607850024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31904] ppid=31898 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 28219 0 -1 4202560 494 0 0 0 285 20 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974606797224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31905] ppid=31898 vsize=3024420 CPUtime=3 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 28219 0 -1 4202560 386 0 0 0 283 17 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974605744424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31906] ppid=31898 vsize=3024420 CPUtime=2.91 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 28219 0 -1 4202560 482 0 0 0 273 18 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974604691624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31907] ppid=31898 vsize=3024420 CPUtime=2.94 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 28219 0 -1 4202560 425 0 0 0 275 19 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974603639848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31908] ppid=31898 vsize=3024420 CPUtime=3.09 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 28219 0 -1 4202560 387 0 0 0 292 17 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974602587048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31909] ppid=31898 vsize=3024420 CPUtime=3.16 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 28219 0 -1 4202560 495 0 0 0 299 17 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974601534248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31910] ppid=31898 vsize=3024420 CPUtime=3.19 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31900 28219 0 -1 4202560 558 0 0 0 297 22 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974600481448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31911] ppid=31898 vsize=3024420 CPUtime=1.8 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31900 28219 0 -1 4202560 128 0 0 0 177 3 0 0 20 0 19 0 335664109 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974469974504 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31912] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31900 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974468920568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31913] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31900 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974467867656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31914] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974466816144 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31915] ppid=31898 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/31900/task/31915/stat : 31915 (java) S 31898 31900 28219 0 -1 4202560 4532 0 0 0 66 2 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974465764280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31916] ppid=31898 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/31900/task/31916/stat : 31916 (java) S 31898 31900 28219 0 -1 4202560 3652 0 0 0 54 0 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974464711480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31917] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31917/stat : 31917 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974463658872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31918] ppid=31898 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/31900/task/31918/stat : 31918 (java) S 31898 31900 28219 0 -1 4202560 104 0 0 0 42 26 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974462606280 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31922] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31922/stat : 31922 (java) S 31898 31900 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335664260 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139973452854056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1780.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 32098
/proc/meminfo: memFree=29118996/32873844 swapFree=7116/7116
[pid=31900] ppid=31898 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/31900/stat : 31900 (java) S 31898 31900 28219 0 -1 4202496 16833 0 1 0 179802 199 0 0 20 0 19 0 335664105 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 140736733558448 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31900/statm: 756105 417914 2299 9 0 746526 0
[pid=31900/tid=31902] ppid=31898 vsize=3024420 CPUtime=1767.27 cores=1,3,5,7
/proc/31900/task/31902/stat : 31902 (java) R 31898 31900 28219 0 -1 4202560 3468 0 1 0 176691 36 0 0 20 0 19 0 335664106 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974624415584 139974478005766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31903] ppid=31898 vsize=3024420 CPUtime=3.02 cores=1,3,5,7
/proc/31900/task/31903/stat : 31903 (java) S 31898 31900 28219 0 -1 4202560 524 0 0 0 283 19 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974607850024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31904] ppid=31898 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/31900/task/31904/stat : 31904 (java) S 31898 31900 28219 0 -1 4202560 494 0 0 0 285 20 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974606797224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31905] ppid=31898 vsize=3024420 CPUtime=3 cores=1,3,5,7
/proc/31900/task/31905/stat : 31905 (java) S 31898 31900 28219 0 -1 4202560 386 0 0 0 283 17 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974605744424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31900/tid=31906] ppid=31898 vsize=3024420 CPUtime=2.91 cores=1,3,5,7
/proc/31900/task/31906/stat : 31906 (java) S 31898 31900 28219 0 -1 4202560 482 0 0 0 273 18 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974604691624 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31907] ppid=31898 vsize=3024420 CPUtime=2.94 cores=1,3,5,7
/proc/31900/task/31907/stat : 31907 (java) S 31898 31900 28219 0 -1 4202560 425 0 0 0 275 19 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974603639848 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31908] ppid=31898 vsize=3024420 CPUtime=3.09 cores=1,3,5,7
/proc/31900/task/31908/stat : 31908 (java) S 31898 31900 28219 0 -1 4202560 387 0 0 0 292 17 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974602587048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31909] ppid=31898 vsize=3024420 CPUtime=3.16 cores=1,3,5,7
/proc/31900/task/31909/stat : 31909 (java) S 31898 31900 28219 0 -1 4202560 495 0 0 0 299 17 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974601534248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31910] ppid=31898 vsize=3024420 CPUtime=3.19 cores=1,3,5,7
/proc/31900/task/31910/stat : 31910 (java) S 31898 31900 28219 0 -1 4202560 558 0 0 0 297 22 0 0 20 0 19 0 335664108 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974600481448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31900/tid=31911] ppid=31898 vsize=3024420 CPUtime=1.8 cores=1,3,5,7
/proc/31900/task/31911/stat : 31911 (java) S 31898 31900 28219 0 -1 4202560 128 0 0 0 177 3 0 0 20 0 19 0 335664109 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974469974504 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31912] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31912/stat : 31912 (java) S 31898 31900 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974468920568 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31913] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31913/stat : 31913 (java) S 31898 31900 28219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335664109 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974467867656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31914] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31914/stat : 31914 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974466816144 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31915] ppid=31898 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/31900/task/31915/stat : 31915 (java) S 31898 31900 28219 0 -1 4202560 4532 0 0 0 66 2 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974465764280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31900/tid=31916] ppid=31898 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/31900/task/31916/stat : 31916 (java) S 31898 31900 28219 0 -1 4202560 3652 0 0 0 54 0 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974464711480 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31917] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31917/stat : 31917 (java) S 31898 31900 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974463658872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31918] ppid=31898 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/31900/task/31918/stat : 31918 (java) S 31898 31900 28219 0 -1 4202560 104 0 0 0 42 26 0 0 20 0 19 0 335664112 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139974462606280 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31900/tid=31922] ppid=31898 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31900/task/31922/stat : 31922 (java) S 31898 31900 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335664260 3097006080 417914 33554432000 1073741824 1073778376 140736733567312 139973452854056 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31900 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=398362
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=302649
# CPU time returned by wait4() is 1795.7
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1780.57
CPU time (s): 1800.01
CPU user time (s): 1798.02
CPU system time (s): 1.99
CPU usage (%): 101.092
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.4
system time used= 2.30265
maximum resident set size= 1671768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16863
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44036
involuntary context switches= 37436

runsolver used 6.26105 second user time and 16.2725 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-03 05:49:52
IDJOB=3733348
IDBENCH=2297
IDSOLVER=2319
FILE ID=node146/3733348-1338695392
RUNJOBID= node146-1338678624-28239
PBS_JOBID= 14636667
Free space on /tmp= 70904 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733348-1338695392/watcher-3733348-1338695392 -o /tmp/evaluation-result-3733348-1338695392/solver-3733348-1338695392 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3733348-1338695392.opb           

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

MD5SUM BENCH= 291088d217a1998c91be99350439e903
RANDOM SEED=699217947

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30075172 kB
Buffers:          139012 kB
Cached:           238148 kB
SwapCached:         1796 kB
Active:          1810428 kB
Inactive:         227788 kB
Active(anon):    1661900 kB
Inactive(anon):     1664 kB
Active(file):     148528 kB
Inactive(file):   226124 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099884 kB
Dirty:              3996 kB
Writeback:             4 kB
AnonPages:       1675144 kB
Mapped:            17296 kB
Shmem:                 0 kB
Slab:             610408 kB
SReclaimable:      50404 kB
SUnreclaim:       560004 kB
KernelStack:        1600 kB
PageTables:         6848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70900 MiB
End job on node146 at 2012-06-03 06:19:34