Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 1800.09 | 1728.47 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_9_mh_ic.opb |
| MD5SUM | e68c386be3005ac1db93713ad853c109 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3056260 |
| Best CPU time to get the best result obtained on this benchmark | 130.34 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 144703125 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 7285050849 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 144703125 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 7285050849 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.2.v20120418 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.10 c sun.arch.data.model 64 0.02/0.10 c java.version 1.6.0_24 0.02/0.10 c os.name Linux 0.02/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.10 c os.arch amd64 0.02/0.10 c Free memory 501472288 0.02/0.10 c Max memory 7480803328 0.02/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3690068-1337887759.opb 0.09/0.12 c reading problem ... 1.33/0.67 c ... done. Wall clock time 0.542s. 1.33/0.67 c declared #vars 9765 1.33/0.67 c #constraints 21927 1.33/0.67 c constraints type 1.33/0.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.33/0.67 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.33/0.67 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.33/0.67 c ignored satisfied constraints => 4 1.33/0.67 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.33/0.67 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.33/0.67 c 21931 constraints processed. 1.33/0.67 c constraints type 1.33/0.67 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.33/0.67 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.33/0.67 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.33/0.67 c ignored satisfied constraints => 4 1.33/0.67 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.33/0.67 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.33/0.67 c 21931 constraints processed. 1.33/0.67 c objective function length is 4005 literals 2.41/0.94 c And the winner is solver0 2.65/1.18 c SATISFIABLE 2.65/1.18 c OPTIMIZING... 2.65/1.18 c Got one! Elapsed wall clock time (in seconds):1.052 2.65/1.18 o 3796817 3.52/1.40 c And the winner is solver0 3.75/1.70 c Got one! Elapsed wall clock time (in seconds):1.57 3.75/1.70 o 3741024 6.75/3.13 c cleaning 2705 clauses out of 5409 with flag 5000/5409 7.84/3.52 c And the winner is solver0 8.29/3.74 c Got one! Elapsed wall clock time (in seconds):3.611 8.29/3.74 o 3712118 10.93/5.03 c cleaning 4307 clauses out of 8622 with flag 5000/11327 14.12/6.68 c cleaning 5156 clauses out of 10315 with flag 11000/17327 16.45/7.83 c And the winner is solver0 16.68/8.25 c Got one! Elapsed wall clock time (in seconds):8.127 16.68/8.25 o 3698795 16.80/8.33 c And the winner is solver0 16.93/8.76 c Got one! Elapsed wall clock time (in seconds):8.634 16.93/8.76 o 3654324 16.93/8.80 c And the winner is solver0 17.24/9.27 c Got one! Elapsed wall clock time (in seconds):9.141 17.24/9.27 o 3639295 18.04/9.65 c cleaning 5366 clauses out of 10746 with flag 1000/22920 20.61/10.78 c And the winner is solver1 20.79/11.28 c Got one! Elapsed wall clock time (in seconds):11.156 20.79/11.28 o 3611825 21.48/11.69 c cleaning 5371 clauses out of 10748 with flag 2000/28288 25.21/13.33 c cleaning 5686 clauses out of 11377 with flag 8000/34288 29.13/15.37 c cleaning 6341 clauses out of 12692 with flag 15001/41289 33.63/17.62 c cleaning 7152 clauses out of 14350 with flag 23000/49288 38.89/20.35 c cleaning 8101 clauses out of 16201 with flag 32003/58291 44.59/23.21 c cleaning 9048 clauses out of 18099 with flag 42002/68290 50.27/26.15 c cleaning 10021 clauses out of 20049 with flag 53000/79288 56.37/29.25 c cleaning 11007 clauses out of 22029 with flag 65001/91289 60.41/31.35 c And the winner is solver0 60.52/31.50 c Got one! Elapsed wall clock time (in seconds):31.371 60.52/31.50 o 3605312 62.56/32.58 c cleaning 11976 clauses out of 23975 with flag 5000/104242 65.45/34.07 c cleaning 8990 clauses out of 17999 with flag 11000/110242 69.11/35.95 c cleaning 8001 clauses out of 16009 with flag 18000/117242 73.38/38.19 c cleaning 7992 clauses out of 16008 with flag 26000/125242 78.57/40.83 c cleaning 8499 clauses out of 17016 with flag 35000/134242 84.44/43.83 c cleaning 9255 clauses out of 18517 with flag 45000/144242 90.70/47.06 c cleaning 10118 clauses out of 20263 with flag 56001/155243 95.95/49.71 c And the winner is solver0 96.02/49.89 c Got one! Elapsed wall clock time (in seconds):49.764 96.02/49.89 o 3584777 96.06/49.94 c And the winner is solver0 96.18/50.40 c Got one! Elapsed wall clock time (in seconds):50.271 96.18/50.40 o 3532096 96.18/50.47 c And the winner is solver0 96.39/50.90 c Got one! Elapsed wall clock time (in seconds):50.778 96.39/50.90 o 3461652 96.57/51.01 c And the winner is solver0 96.85/51.41 c Got one! Elapsed wall clock time (in seconds):51.284 96.85/51.41 o 3450167 96.85/51.43 c And the winner is solver0 96.90/51.92 c Got one! Elapsed wall clock time (in seconds):51.791 96.90/51.92 o 3435345 96.90/51.93 c And the winner is solver0 1800.09/1728.41 c starts : 168 1800.09/1728.41 c conflicts : 165662 1800.09/1728.41 c decisions : 510124 1800.09/1728.41 c propagations : 64686476 1800.09/1728.41 c inspects : 223872191 1800.09/1728.41 c shortcuts : 0 1800.09/1728.41 c learnt literals : 6 1800.09/1728.41 c learnt binary clauses : 24 1800.09/1728.41 c learnt ternary clauses : 28 1800.09/1728.41 c learnt constraints : 165656 1800.09/1728.41 c ignored constraints : 0 1800.09/1728.41 c root simplifications : 0 1800.09/1728.41 c removed literals (reason simplification) : 3714090 1800.09/1728.41 c reason swapping (by a shorter reason) : 0 1800.09/1728.41 c Calls to reduceDB : 19 1800.09/1728.41 c number of reductions to clauses (during analyze) : 0 1800.09/1728.41 c number of learned constraints concerned by reduction : 0 1800.09/1728.41 c number of learning phase by resolution : 0 1800.09/1728.41 c number of learning phase by cutting planes : 0 1800.09/1728.41 c speed (assignments/second) : 37671.42831352209 1800.09/1728.41 c non guided choices 2683 1800.09/1728.42 c learnt constraints type 1800.09/1728.42 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 24 1800.09/1728.42 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 20540 1800.09/1728.42 c constraints type 1800.09/1728.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.09/1728.42 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1800.09/1728.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.09/1728.42 c ignored satisfied constraints => 4 1800.09/1728.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.09/1728.42 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1800.09/1728.42 c 21932 constraints processed. 1800.09/1728.42 c constraints type 1800.09/1728.42 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1800.09/1728.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1800.09/1728.42 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1800.09/1728.42 c ignored satisfied constraints => 4 1800.09/1728.42 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1800.09/1728.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1800.09/1728.42 c 21932 constraints processed. 1800.09/1728.42 s SATISFIABLE 1800.09/1728.43 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 x6151 -x6152 -x6153 -x6154 -x6155 -x6156 x6157 -x6158 x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 x6295 -x6296 -x6297 x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 x9092 x9093 x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 x9183 x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 x9191 -x9192 -x9193 -x9194 -x9195 -x9196 x9197 -x9198 x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 x9206 -x9207 -x9208 -x9209 -x9210 -x9211 x9212 x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 x9372 -x9373 -x9374 -x9375 -x9376 x9377 x9378 x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 x9450 -x9451 -x9452 -x9453 -x9454 -x9455 x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 x9539 x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 x9615 -x9616 -x9617 -x9618 -x9619 x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 x9749 x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1800.09/1728.44 c objective function=3435345 1800.09/1728.44 c Total wall clock time (in seconds): 1728.318
OK 3435345
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-3690068-1337887759/watcher-3690068-1337887759 -o /tmp/evaluation-result-3690068-1337887759/solver-3690068-1337887759 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690068-1337887759.opb running on 4 cores: 0,2,4,6 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: 3.76 3.85 3.77 4/197 30751 /proc/meminfo: memFree=26223892/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/30751/stat : 30751 (java) R 30749 30751 25184 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254900256 9515008 184 33554432000 1073741824 1073778376 140734635854704 140734635845928 239237492151 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2323 184 142 9 0 71 0 [startup+0.0347091 s] /proc/loadavg: 3.76 3.85 3.77 4/197 30751 /proc/meminfo: memFree=26223892/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9092432 CPUtime=0.02 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 2890 0 1 0 1 1 0 0 20 0 11 0 254900256 9310650368 3591 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2273108 3591 1623 9 0 2263809 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9092432 [startup+0.100196 s] /proc/loadavg: 3.76 3.85 3.77 4/197 30751 /proc/meminfo: memFree=26223892/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 4221 0 1 0 8 1 0 0 20 0 18 0 254900256 9787813888 5423 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2389603 5423 2099 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300165 s] /proc/loadavg: 3.76 3.85 3.77 4/197 30751 /proc/meminfo: memFree=26223892/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9558412 CPUtime=0.51 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 5620 0 1 0 49 2 0 0 20 0 18 0 254900256 9787813888 9657 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2389603 9657 2227 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558412 [startup+0.700198 s] /proc/loadavg: 3.76 3.85 3.77 4/197 30751 /proc/meminfo: memFree=26223892/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9691540 CPUtime=1.61 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 17330 0 1 0 156 5 0 0 20 0 20 0 254900256 9924136960 32346 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2422885 32346 2249 9 0 2413578 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 9691540 [startup+1.50065 s] /proc/loadavg: 3.76 3.85 3.77 3/216 30773 /proc/meminfo: memFree=26094716/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9824668 CPUtime=3.74 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 21227 0 1 0 364 10 0 0 20 0 19 0 254900256 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2456167 40795 2262 9 0 2446860 0 [pid=30751/tid=30753] ppid=30749 vsize=9824668 CPUtime=0.66 cores=0,2,4,6 /proc/30751/task/30753/stat : 30753 (java) S 30749 30751 25184 0 -1 4202560 2497 0 1 0 63 3 0 0 20 0 19 0 254900257 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411360621560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30754] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30754/stat : 30754 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900258 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411349682344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30755] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30755/stat : 30755 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900258 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411348629800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30756] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30756/stat : 30756 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900258 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411347577256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30757] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30757/stat : 30757 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900258 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411346524712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30758] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30758/stat : 30758 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900258 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411345472168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30759] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30759/stat : 30759 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900258 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411344419624 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30760] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30760/stat : 30760 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900258 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411343367080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30761] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30761/stat : 30761 (java) S 30749 30751 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254900258 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411342314536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30762] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30762/stat : 30762 (java) S 30749 30751 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254900259 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411184785512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30763] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30763/stat : 30763 (java) S 30749 30751 25184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254900260 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411183731832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30764] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30764/stat : 30764 (java) S 30749 30751 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254900260 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411182679176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30765] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30765/stat : 30765 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900263 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411181627920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30766] ppid=30749 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/30751/task/30766/stat : 30766 (java) S 30749 30751 25184 0 -1 4202560 7462 0 0 0 99 1 0 0 20 0 19 0 254900263 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411180575288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30767] ppid=30749 vsize=9824668 CPUtime=1.03 cores=0,2,4,6 /proc/30751/task/30767/stat : 30767 (java) R 30749 30751 25184 0 -1 4202560 9945 0 0 0 101 2 0 0 20 0 19 0 254900263 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411179500096 140411364707782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30768] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30768/stat : 30768 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900263 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411178470392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30769] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30769/stat : 30769 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254900263 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411177418056 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30772] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30772/stat : 30772 (java) S 30749 30751 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254900328 10060460032 40795 33554432000 1073741824 1073778376 140734809632368 140411174257704 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.74 Current children cumulated vsize (KiB) 9824668 [startup+3.1008 s] /proc/loadavg: 3.76 3.85 3.77 5/219 30779 /proc/meminfo: memFree=26039148/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9824668 CPUtime=6.75 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 21887 0 1 0 663 12 0 0 20 0 22 0 254900256 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2456167 48055 2275 9 0 2446860 0 [pid=30751/tid=30753] ppid=30749 vsize=9824668 CPUtime=0.67 cores=0,2,4,6 /proc/30751/task/30753/stat : 30753 (java) S 30749 30751 25184 0 -1 4202560 2498 0 1 0 64 3 0 0 20 0 22 0 254900257 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411360621560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30754] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30754/stat : 30754 (java) S 30749 30751 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254900258 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411349682344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30755] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30755/stat : 30755 (java) S 30749 30751 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254900258 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411348629800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30756] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30756/stat : 30756 (java) S 30749 30751 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254900258 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411347577256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30757] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30757/stat : 30757 (java) S 30749 30751 25184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254900258 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411346524712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30758] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30758/stat : 30758 (java) S 30749 30751 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254900258 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411345472168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30759] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30759/stat : 30759 (java) S 30749 30751 25184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254900258 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411344419624 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30760] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30760/stat : 30760 (java) S 30749 30751 25184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254900258 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411343367080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30761] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30761/stat : 30761 (java) S 30749 30751 25184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254900258 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411342314536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30762] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30762/stat : 30762 (java) S 30749 30751 25184 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254900259 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411184785512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30763] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30763/stat : 30763 (java) S 30749 30751 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254900260 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411183731832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30764] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30764/stat : 30764 (java) S 30749 30751 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254900260 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411182679176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30765] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30765/stat : 30765 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254900263 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411181627920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30766] ppid=30749 vsize=9824668 CPUtime=1.09 cores=0,2,4,6 /proc/30751/task/30766/stat : 30766 (java) S 30749 30751 25184 0 -1 4202560 7463 0 0 0 108 1 0 0 20 0 22 0 254900263 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411180575288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30767] ppid=30749 vsize=9824668 CPUtime=1.13 cores=0,2,4,6 /proc/30751/task/30767/stat : 30767 (java) S 30749 30751 25184 0 -1 4202560 10474 0 0 0 111 2 0 0 20 0 22 0 254900263 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411179522744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30768] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30768/stat : 30768 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254900263 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411178470392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30769] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30769/stat : 30769 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254900263 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411177418056 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30772] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30772/stat : 30772 (java) S 30749 30751 25184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254900328 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411174257704 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30777] ppid=30749 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/30751/task/30777/stat : 30777 (java) R 30749 30751 25184 0 -1 4202560 4 0 0 0 135 0 0 0 20 0 22 0 254900427 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411176361240 140411223024750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30778] ppid=30749 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/30751/task/30778/stat : 30778 (java) R 30749 30751 25184 0 -1 4202560 10 0 0 0 135 0 0 0 20 0 22 0 254900427 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411175307120 140411222877823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30779] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30779/stat : 30779 (java) S 30749 30751 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254900427 10060460032 48055 33554432000 1073741824 1073778376 140734809632368 140411173204904 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.75 Current children cumulated vsize (KiB) 9824668 [startup+6.30079 s] /proc/loadavg: 3.78 3.85 3.77 5/219 30782 /proc/meminfo: memFree=25978516/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9824668 CPUtime=13.51 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 28646 0 1 0 1331 20 0 0 20 0 22 0 254900256 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2456167 63070 2287 9 0 2446860 0 [pid=30751/tid=30753] ppid=30749 vsize=9824668 CPUtime=0.68 cores=0,2,4,6 /proc/30751/task/30753/stat : 30753 (java) S 30749 30751 25184 0 -1 4202560 2498 0 1 0 65 3 0 0 20 0 22 0 254900257 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411360621560 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30754] ppid=30749 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/30751/task/30754/stat : 30754 (java) S 30749 30751 25184 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 254900258 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411349682344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30755] ppid=30749 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/30751/task/30755/stat : 30755 (java) S 30749 30751 25184 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254900258 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411348629800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30756] ppid=30749 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/30751/task/30756/stat : 30756 (java) S 30749 30751 25184 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254900258 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411347577256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30757] ppid=30749 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/30751/task/30757/stat : 30757 (java) S 30749 30751 25184 0 -1 4202560 24 0 0 0 1 2 0 0 20 0 22 0 254900258 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411346524712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30758] ppid=30749 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/30751/task/30758/stat : 30758 (java) S 30749 30751 25184 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254900258 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411345472168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30759] ppid=30749 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/30751/task/30759/stat : 30759 (java) S 30749 30751 25184 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 254900258 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411344419624 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30760] ppid=30749 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/30751/task/30760/stat : 30760 (java) S 30749 30751 25184 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254900258 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411343367080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30761] ppid=30749 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/30751/task/30761/stat : 30761 (java) S 30749 30751 25184 0 -1 4202560 19 0 0 0 2 2 0 0 20 0 22 0 254900258 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411342314536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30762] ppid=30749 vsize=9824668 CPUtime=0.13 cores=0,2,4,6 /proc/30751/task/30762/stat : 30762 (java) S 30749 30751 25184 0 -1 4202560 107 0 0 0 13 0 0 0 20 0 22 0 254900259 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411184785512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30763] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30763/stat : 30763 (java) S 30749 30751 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254900260 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411183731832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30764] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30764/stat : 30764 (java) S 30749 30751 25184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254900260 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411182679176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30765] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30765/stat : 30765 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254900263 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411181627920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30766] ppid=30749 vsize=9824668 CPUtime=1.6 cores=0,2,4,6 /proc/30751/task/30766/stat : 30766 (java) S 30749 30751 25184 0 -1 4202560 12264 0 0 0 158 2 0 0 20 0 22 0 254900263 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411180575288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30767] ppid=30749 vsize=9824668 CPUtime=1.38 cores=0,2,4,6 /proc/30751/task/30767/stat : 30767 (java) S 30749 30751 25184 0 -1 4202560 12315 0 0 0 135 3 0 0 20 0 22 0 254900263 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411179522744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30768] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30768/stat : 30768 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254900263 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411178470392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30769] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30769/stat : 30769 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254900263 10060460032 63070 33554432000 1073741824 1073778376 140734809632368 140411177418056 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [startup+1662.3 s] /proc/loadavg: 2.98 3.02 3.13 4/218 31057 /proc/meminfo: memFree=24997344/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9824668 CPUtime=1732.26 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 48146 0 1 0 172774 452 0 0 20 0 21 0 254900256 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2456167 961788 2287 9 0 2446860 0 [pid=30751/tid=30753] ppid=30749 vsize=9824668 CPUtime=1.15 cores=0,2,4,6 /proc/30751/task/30753/stat : 30753 (java) S 30749 30751 25184 0 -1 4202560 2549 0 1 0 96 19 0 0 20 0 21 0 254900257 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411360621688 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30754] ppid=30749 vsize=9824668 CPUtime=4.39 cores=0,2,4,6 /proc/30751/task/30754/stat : 30754 (java) S 30749 30751 25184 0 -1 4202560 1143 0 0 0 386 53 0 0 20 0 21 0 254900258 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411349682344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30755] ppid=30749 vsize=9824668 CPUtime=4.49 cores=0,2,4,6 /proc/30751/task/30755/stat : 30755 (java) S 30749 30751 25184 0 -1 4202560 868 0 0 0 405 44 0 0 20 0 21 0 254900258 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411348629800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30756] ppid=30749 vsize=9824668 CPUtime=4.26 cores=0,2,4,6 /proc/30751/task/30756/stat : 30756 (java) S 30749 30751 25184 0 -1 4202560 889 0 0 0 381 45 0 0 20 0 21 0 254900258 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411347577256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30757] ppid=30749 vsize=9824668 CPUtime=4.07 cores=0,2,4,6 /proc/30751/task/30757/stat : 30757 (java) S 30749 30751 25184 0 -1 4202560 1023 0 0 0 361 46 0 0 20 0 21 0 254900258 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411346524712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30758] ppid=30749 vsize=9824668 CPUtime=4.47 cores=0,2,4,6 /proc/30751/task/30758/stat : 30758 (java) S 30749 30751 25184 0 -1 4202560 1262 0 0 0 399 48 0 0 20 0 21 0 254900258 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411345472168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30759] ppid=30749 vsize=9824668 CPUtime=4.29 cores=0,2,4,6 /proc/30751/task/30759/stat : 30759 (java) S 30749 30751 25184 0 -1 4202560 848 0 0 0 378 51 0 0 20 0 21 0 254900258 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411344419624 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30760] ppid=30749 vsize=9824668 CPUtime=3.92 cores=0,2,4,6 /proc/30751/task/30760/stat : 30760 (java) S 30749 30751 25184 0 -1 4202560 908 0 0 0 347 45 0 0 20 0 21 0 254900258 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411343367080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30761] ppid=30749 vsize=9824668 CPUtime=3.9 cores=0,2,4,6 /proc/30751/task/30761/stat : 30761 (java) S 30749 30751 25184 0 -1 4202560 831 0 0 0 351 39 0 0 20 0 21 0 254900258 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411342314536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30762] ppid=30749 vsize=9824668 CPUtime=9.69 cores=0,2,4,6 /proc/30751/task/30762/stat : 30762 (java) S 30749 30751 25184 0 -1 4202560 3016 0 0 0 963 6 0 0 20 0 21 0 254900259 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411184785512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30763] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30763/stat : 30763 (java) S 30749 30751 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254900260 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411183731832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30764] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30764/stat : 30764 (java) S 30749 30751 25184 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 21 0 254900260 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411182679176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30765] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30765/stat : 30765 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254900263 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411181627920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30766] ppid=30749 vsize=9824668 CPUtime=1.97 cores=0,2,4,6 /proc/30751/task/30766/stat : 30766 (java) S 30749 30751 25184 0 -1 4202560 12297 0 0 0 195 2 0 0 20 0 21 0 254900263 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411180575288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30767] ppid=30749 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/30751/task/30767/stat : 30767 (java) S 30749 30751 25184 0 -1 4202560 20602 0 0 0 220 4 0 0 20 0 21 0 254900263 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411179522744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30768] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30768/stat : 30768 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254900263 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411178470392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30769] ppid=30749 vsize=9824668 CPUtime=0.38 cores=0,2,4,6 /proc/30751/task/30769/stat : 30769 (java) S 30749 30751 25184 0 -1 4202560 95 0 0 0 22 16 0 0 20 0 21 0 254900263 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411177418056 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30794] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30794/stat : 30794 (java) S 30749 30751 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 254901385 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411176362792 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30814] ppid=30749 vsize=9824668 CPUtime=1590.35 cores=0,2,4,6 /proc/30751/task/30814/stat : 30814 (java) R 30749 30751 25184 0 -1 4202560 305 0 0 0 159006 29 0 0 20 0 21 0 254905449 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411174255552 140411222890984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30815] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30815/stat : 30815 (java) S 30749 30751 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254905450 10060460032 961788 33554432000 1073741824 1073778376 140734809632368 140411175310376 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1732.26 Current children cumulated vsize (KiB) 9824668 [startup+1722.3 s] /proc/loadavg: 3.51 3.13 3.16 4/218 31057 /proc/meminfo: memFree=24908412/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9824668 CPUtime=1793.98 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 48219 0 1 0 178941 457 0 0 20 0 21 0 254900256 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2456167 973567 2287 9 0 2446860 0 [pid=30751/tid=30753] ppid=30749 vsize=9824668 CPUtime=1.17 cores=0,2,4,6 /proc/30751/task/30753/stat : 30753 (java) S 30749 30751 25184 0 -1 4202560 2551 0 1 0 97 20 0 0 20 0 21 0 254900257 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411360621688 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30754] ppid=30749 vsize=9824668 CPUtime=4.58 cores=0,2,4,6 /proc/30751/task/30754/stat : 30754 (java) S 30749 30751 25184 0 -1 4202560 1147 0 0 0 405 53 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411349682344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30755] ppid=30749 vsize=9824668 CPUtime=4.72 cores=0,2,4,6 /proc/30751/task/30755/stat : 30755 (java) S 30749 30751 25184 0 -1 4202560 873 0 0 0 428 44 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411348629800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30756] ppid=30749 vsize=9824668 CPUtime=4.63 cores=0,2,4,6 /proc/30751/task/30756/stat : 30756 (java) S 30749 30751 25184 0 -1 4202560 900 0 0 0 418 45 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411347577256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30757] ppid=30749 vsize=9824668 CPUtime=4.43 cores=0,2,4,6 /proc/30751/task/30757/stat : 30757 (java) S 30749 30751 25184 0 -1 4202560 1033 0 0 0 396 47 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411346524712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30758] ppid=30749 vsize=9824668 CPUtime=4.7 cores=0,2,4,6 /proc/30751/task/30758/stat : 30758 (java) S 30749 30751 25184 0 -1 4202560 1266 0 0 0 422 48 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411345472168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30759] ppid=30749 vsize=9824668 CPUtime=4.57 cores=0,2,4,6 /proc/30751/task/30759/stat : 30759 (java) S 30749 30751 25184 0 -1 4202560 856 0 0 0 406 51 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411344419624 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30760] ppid=30749 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/30751/task/30760/stat : 30760 (java) S 30749 30751 25184 0 -1 4202560 923 0 0 0 381 46 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411343367080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30761] ppid=30749 vsize=9824668 CPUtime=4.18 cores=0,2,4,6 /proc/30751/task/30761/stat : 30761 (java) S 30749 30751 25184 0 -1 4202560 837 0 0 0 378 40 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411342314536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30762] ppid=30749 vsize=9824668 CPUtime=9.69 cores=0,2,4,6 /proc/30751/task/30762/stat : 30762 (java) S 30749 30751 25184 0 -1 4202560 3020 0 0 0 963 6 0 0 20 0 21 0 254900259 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411184785512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30763] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30763/stat : 30763 (java) S 30749 30751 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254900260 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411183731832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30764] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30764/stat : 30764 (java) S 30749 30751 25184 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 21 0 254900260 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411182679176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30765] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30765/stat : 30765 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411181627920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30766] ppid=30749 vsize=9824668 CPUtime=1.97 cores=0,2,4,6 /proc/30751/task/30766/stat : 30766 (java) S 30749 30751 25184 0 -1 4202560 12297 0 0 0 195 2 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411180575288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30767] ppid=30749 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/30751/task/30767/stat : 30767 (java) S 30749 30751 25184 0 -1 4202560 20602 0 0 0 220 4 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411179522744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30768] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30768/stat : 30768 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411178470392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30769] ppid=30749 vsize=9824668 CPUtime=0.39 cores=0,2,4,6 /proc/30751/task/30769/stat : 30769 (java) S 30749 30751 25184 0 -1 4202560 99 0 0 0 22 17 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411177418056 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30794] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30794/stat : 30794 (java) S 30749 30751 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 254901385 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411176362792 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30814] ppid=30749 vsize=9824668 CPUtime=1649.62 cores=0,2,4,6 /proc/30751/task/30814/stat : 30814 (java) R 30749 30751 25184 0 -1 4202560 305 0 0 0 164932 30 0 0 20 0 21 0 254905449 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411174255808 140411222891552 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30815] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30815/stat : 30815 (java) S 30749 30751 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254905450 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411175310376 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1793.98 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1728.4 s] /proc/loadavg: 3.43 3.12 3.16 4/218 31057 /proc/meminfo: memFree=24908536/32873844 swapFree=7388/7388 [pid=30751] ppid=30749 vsize=9824668 CPUtime=1800.09 cores=0,2,4,6 /proc/30751/stat : 30751 (java) S 30749 30751 25184 0 -1 4202496 48219 0 1 0 179552 457 0 0 20 0 21 0 254900256 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140734809623504 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/30751/statm: 2456167 973567 2287 9 0 2446860 0 [pid=30751/tid=30753] ppid=30749 vsize=9824668 CPUtime=1.17 cores=0,2,4,6 /proc/30751/task/30753/stat : 30753 (java) S 30749 30751 25184 0 -1 4202560 2551 0 1 0 97 20 0 0 20 0 21 0 254900257 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411360621688 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30754] ppid=30749 vsize=9824668 CPUtime=4.58 cores=0,2,4,6 /proc/30751/task/30754/stat : 30754 (java) S 30749 30751 25184 0 -1 4202560 1147 0 0 0 405 53 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411349682344 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30755] ppid=30749 vsize=9824668 CPUtime=4.72 cores=0,2,4,6 /proc/30751/task/30755/stat : 30755 (java) S 30749 30751 25184 0 -1 4202560 873 0 0 0 428 44 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411348629800 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30756] ppid=30749 vsize=9824668 CPUtime=4.63 cores=0,2,4,6 /proc/30751/task/30756/stat : 30756 (java) S 30749 30751 25184 0 -1 4202560 900 0 0 0 418 45 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411347577256 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30757] ppid=30749 vsize=9824668 CPUtime=4.43 cores=0,2,4,6 /proc/30751/task/30757/stat : 30757 (java) S 30749 30751 25184 0 -1 4202560 1033 0 0 0 396 47 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411346524712 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30758] ppid=30749 vsize=9824668 CPUtime=4.7 cores=0,2,4,6 /proc/30751/task/30758/stat : 30758 (java) S 30749 30751 25184 0 -1 4202560 1266 0 0 0 422 48 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411345472168 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30759] ppid=30749 vsize=9824668 CPUtime=4.57 cores=0,2,4,6 /proc/30751/task/30759/stat : 30759 (java) S 30749 30751 25184 0 -1 4202560 856 0 0 0 406 51 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411344419624 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30760] ppid=30749 vsize=9824668 CPUtime=4.27 cores=0,2,4,6 /proc/30751/task/30760/stat : 30760 (java) S 30749 30751 25184 0 -1 4202560 923 0 0 0 381 46 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411343367080 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30761] ppid=30749 vsize=9824668 CPUtime=4.18 cores=0,2,4,6 /proc/30751/task/30761/stat : 30761 (java) S 30749 30751 25184 0 -1 4202560 837 0 0 0 378 40 0 0 20 0 21 0 254900258 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411342314536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30762] ppid=30749 vsize=9824668 CPUtime=9.69 cores=0,2,4,6 /proc/30751/task/30762/stat : 30762 (java) S 30749 30751 25184 0 -1 4202560 3020 0 0 0 963 6 0 0 20 0 21 0 254900259 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411184785512 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30763] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30763/stat : 30763 (java) S 30749 30751 25184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254900260 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411183731832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30764] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30764/stat : 30764 (java) S 30749 30751 25184 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 21 0 254900260 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411182679176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30765] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30765/stat : 30765 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411181627920 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30766] ppid=30749 vsize=9824668 CPUtime=1.97 cores=0,2,4,6 /proc/30751/task/30766/stat : 30766 (java) S 30749 30751 25184 0 -1 4202560 12297 0 0 0 195 2 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411180575288 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30751/tid=30767] ppid=30749 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/30751/task/30767/stat : 30767 (java) S 30749 30751 25184 0 -1 4202560 20602 0 0 0 220 4 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411179522744 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30768] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30768/stat : 30768 (java) S 30749 30751 25184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411178470392 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30769] ppid=30749 vsize=9824668 CPUtime=0.4 cores=0,2,4,6 /proc/30751/task/30769/stat : 30769 (java) S 30749 30751 25184 0 -1 4202560 99 0 0 0 23 17 0 0 20 0 21 0 254900263 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411177418056 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30751/tid=30794] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30794/stat : 30794 (java) S 30749 30751 25184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 254901385 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411176362792 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30751/tid=30814] ppid=30749 vsize=9824668 CPUtime=1655.71 cores=0,2,4,6 /proc/30751/task/30814/stat : 30814 (java) R 30749 30751 25184 0 -1 4202560 305 0 0 0 165541 30 0 0 20 0 21 0 254905449 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411174255808 140411222891572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=30751/tid=30815] ppid=30749 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30751/task/30815/stat : 30815 (java) S 30749 30751 25184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254905450 10060460032 973567 33554432000 1073741824 1073778376 140734809632368 140411175310376 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30751 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=180699 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=962245 # CPU time returned by wait4() is 1796.14 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1728.47 CPU time (s): 1800.09 CPU user time (s): 1795.52 CPU system time (s): 4.57 CPU usage (%): 104.144 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.18 system time used= 4.96225 maximum resident set size= 3894352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48242 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1672 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 74090 involuntary context switches= 36611 runsolver used 6.581 second user time and 13.9629 second system time The end
Begin job on node147 at 2012-05-24 21:29:19 IDJOB=3690068 IDBENCH=92685 IDSOLVER=2268 FILE ID=node147/3690068-1337887759 RUNJOBID= node147-1337871880-25200 PBS_JOBID= 14620057 Free space on /tmp= 71620 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_9_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690068-1337887759/watcher-3690068-1337887759 -o /tmp/evaluation-result-3690068-1337887759/solver-3690068-1337887759 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690068-1337887759.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e68c386be3005ac1db93713ad853c109 RANDOM SEED=81908334 node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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 : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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 : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26223900 kB Buffers: 232208 kB Cached: 1565720 kB SwapCached: 6180 kB Active: 4508976 kB Inactive: 1360992 kB Active(anon): 4066400 kB Inactive(anon): 7672 kB Active(file): 442576 kB Inactive(file): 1353320 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67097572 kB Dirty: 1296 kB Writeback: 0 kB AnonPages: 4082296 kB Mapped: 17976 kB Shmem: 0 kB Slab: 631388 kB SReclaimable: 72472 kB SUnreclaim: 558916 kB KernelStack: 1616 kB PageTables: 11732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 4470936 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3987456 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= 71704 MiB End job on node147 at 2012-05-24 21:58:09