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.51 | 1718.28 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb |
| MD5SUM | b24b10929da03724a77e08494dd4be05 |
| 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 | 2886748 |
| Best CPU time to get the best result obtained on this benchmark | 222.049 |
| 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 | 140608000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 5469285523 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 140608000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 5469285523 |
| 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.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3690076-1337887825.opb 0.10/0.12 c reading problem ... 1.34/0.66 c ... done. Wall clock time 0.548s. 1.34/0.66 c declared #vars 9765 1.34/0.66 c #constraints 21927 1.34/0.66 c constraints type 1.34/0.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.34/0.66 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1.34/0.66 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.34/0.66 c ignored satisfied constraints => 4 1.34/0.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.34/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 1.34/0.66 c 21931 constraints processed. 1.34/0.66 c constraints type 1.34/0.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.34/0.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.34/0.66 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.34/0.66 c ignored satisfied constraints => 4 1.34/0.66 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1.34/0.66 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.34/0.66 c 21931 constraints processed. 1.34/0.66 c objective function length is 4005 literals 2.84/1.02 c And the winner is solver0 3.05/1.17 c SATISFIABLE 3.05/1.17 c OPTIMIZING... 3.05/1.17 c Got one! Elapsed wall clock time (in seconds):1.057 3.05/1.17 o 4249396 4.66/1.62 c And the winner is solver0 4.66/1.69 c Got one! Elapsed wall clock time (in seconds):1.575 4.66/1.69 o 4130139 4.78/1.72 c And the winner is solver0 4.93/2.20 c Got one! Elapsed wall clock time (in seconds):2.087 4.93/2.20 o 4041411 7.26/3.37 c cleaning 2997 clauses out of 5994 with flag 5000/5994 10.54/4.95 c And the winner is solver0 10.79/5.21 c Got one! Elapsed wall clock time (in seconds):5.096 10.79/5.21 o 4035446 12.83/6.23 c cleaning 6508 clauses out of 13016 with flag 5000/16014 14.47/6.99 c And the winner is solver1 14.68/7.22 c Got one! Elapsed wall clock time (in seconds):7.106 14.68/7.22 o 3932385 15.61/7.66 c And the winner is solver1 15.73/7.73 c Got one! Elapsed wall clock time (in seconds):7.614 15.73/7.73 o 3167559 16.90/8.36 c cleaning 6463 clauses out of 12927 with flag 2000/22434 21.13/10.24 c cleaning 6223 clauses out of 12468 with flag 8005/28439 25.42/12.49 c cleaning 6618 clauses out of 13240 with flag 15000/35434 30.36/14.90 c cleaning 7307 clauses out of 14623 with flag 23001/43435 35.23/17.41 c cleaning 8145 clauses out of 16315 with flag 32000/52434 41.10/20.47 c cleaning 9084 clauses out of 18173 with flag 42003/62437 47.69/23.83 c cleaning 10036 clauses out of 20088 with flag 53002/73436 54.53/27.38 c cleaning 11024 clauses out of 22053 with flag 65003/85437 62.37/31.31 c cleaning 12008 clauses out of 24027 with flag 78001/98435 70.45/35.45 c cleaning 13004 clauses out of 26018 with flag 92001/112435 78.79/39.74 c cleaning 13997 clauses out of 28014 with flag 107001/127435 87.99/44.42 c cleaning 15004 clauses out of 30016 with flag 123000/143434 98.15/49.61 c cleaning 16005 clauses out of 32013 with flag 140001/160435 107.91/54.67 c cleaning 17004 clauses out of 34007 with flag 158000/178434 115.55/58.62 c And the winner is solver0 115.79/59.10 c Got one! Elapsed wall clock time (in seconds):58.982 115.79/59.10 o 3155897 115.98/59.24 c And the winner is solver0 116.28/59.60 c Got one! Elapsed wall clock time (in seconds):59.489 116.28/59.60 o 3140160 116.28/59.67 c And the winner is solver0 116.43/60.11 c Got one! Elapsed wall clock time (in seconds):59.997 116.43/60.11 o 3072120 116.43/60.18 c And the winner is solver0 116.59/60.62 c Got one! Elapsed wall clock time (in seconds):60.504 116.59/60.62 o 3065787 116.59/60.64 c And the winner is solver0 1800.03/1718.22 c starts : 170 1800.03/1718.22 c conflicts : 192822 1800.03/1718.22 c decisions : 496710 1800.03/1718.22 c propagations : 71216592 1800.03/1718.22 c inspects : 272089251 1800.03/1718.22 c shortcuts : 0 1800.03/1718.22 c learnt literals : 5 1800.03/1718.22 c learnt binary clauses : 28 1800.03/1718.22 c learnt ternary clauses : 18 1800.03/1718.22 c learnt constraints : 192817 1800.03/1718.22 c ignored constraints : 0 1800.03/1718.22 c root simplifications : 0 1800.03/1718.22 c removed literals (reason simplification) : 3164787 1800.03/1718.22 c reason swapping (by a shorter reason) : 0 1800.03/1718.22 c Calls to reduceDB : 16 1800.03/1718.22 c number of reductions to clauses (during analyze) : 0 1800.03/1718.22 c number of learned constraints concerned by reduction : 0 1800.03/1718.22 c number of learning phase by resolution : 0 1800.03/1718.22 c number of learning phase by cutting planes : 0 1800.03/1718.22 c speed (assignments/second) : 41635.41834139052 1800.03/1718.22 c non guided choices 1787 1800.03/1718.23 c learnt constraints type 1800.03/1718.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 28 1800.03/1718.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 31362 1800.03/1718.23 c constraints type 1800.03/1718.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.03/1718.23 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1800.03/1718.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.03/1718.23 c ignored satisfied constraints => 4 1800.03/1718.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.03/1718.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1800.03/1718.23 c 21932 constraints processed. 1800.03/1718.23 c constraints type 1800.03/1718.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1800.03/1718.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1800.03/1718.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1800.03/1718.23 c ignored satisfied constraints => 4 1800.03/1718.23 c org.sat4j.pb.constraints.pb.UnitClausesPB => 4 1800.03/1718.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1800.03/1718.23 c 21932 constraints processed. 1800.03/1718.23 s SATISFIABLE 1800.03/1718.24 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.03/1718.25 c objective function=3065787 1800.03/1718.25 c Total wall clock time (in seconds): 1718.138
OK 3065787
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-3690076-1337887825/watcher-3690076-1337887825 -o /tmp/evaluation-result-3690076-1337887825/solver-3690076-1337887825 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690076-1337887825.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.51 3.85 3.87 4/200 30620 /proc/meminfo: memFree=28395320/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=91816 CPUtime=0 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 254907280 94019584 917 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 22954 917 697 9 0 16769 0 [pid=30620/tid=30621] ppid=30618 vsize=92900 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) R 30618 30620 26250 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 2 0 254907281 95129600 925 33554432000 1073741824 1073778376 140733898341504 140238474804776 215134288435 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.0168949 s] /proc/loadavg: 3.51 3.85 3.87 4/200 30620 /proc/meminfo: memFree=28395320/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9016616 CPUtime=0 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 2417 0 1 0 0 0 0 0 20 0 10 0 254907280 9233014784 3117 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2254154 3125 1239 9 0 2244855 0 [pid=30620/tid=30621] ppid=30618 vsize=9016616 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) R 30618 30620 26250 0 -1 4202560 1273 0 1 0 0 0 0 0 20 0 10 0 254907281 9233014784 3129 33554432000 1073741824 1073778376 140733898341504 140238474805952 140238467017008 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9016616 [startup+0.100262 s] /proc/loadavg: 3.51 3.85 3.87 4/200 30620 /proc/meminfo: memFree=28395320/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 4322 0 1 0 9 1 0 0 20 0 18 0 254907280 9787813888 5511 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2389603 5511 2109 9 0 2380296 0 [pid=30620/tid=30621] ppid=30618 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) R 30618 30620 26250 0 -1 4202560 2368 0 1 0 7 0 0 0 20 0 18 0 254907281 9787813888 5511 33554432000 1073741824 1073778376 140733898341504 140238474808240 140238472695990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300262 s] /proc/loadavg: 3.51 3.85 3.87 4/200 30620 /proc/meminfo: memFree=28395320/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9558412 CPUtime=0.52 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 5557 0 1 0 50 2 0 0 20 0 18 0 254907280 9787813888 9761 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2389603 9761 2227 9 0 2380296 0 [pid=30620/tid=30621] ppid=30618 vsize=9558412 CPUtime=0.27 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) R 30618 30620 26250 0 -1 4202560 2470 0 1 0 26 1 0 0 20 0 18 0 254907281 9787813888 9730 33554432000 1073741824 1073778376 140733898341504 140238474805736 140238347373378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558412 [startup+0.700208 s] /proc/loadavg: 3.51 3.85 3.87 4/200 30620 /proc/meminfo: memFree=28395320/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9691540 CPUtime=1.62 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 15379 0 1 0 158 4 0 0 20 0 20 0 254907280 9924136960 31268 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2422885 31268 2249 9 0 2413578 0 [pid=30620/tid=30621] ppid=30618 vsize=9691540 CPUtime=0.64 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) S 30618 30620 26250 0 -1 4202560 2508 0 1 0 62 2 0 0 20 0 20 0 254907281 9924136960 31268 33554432000 1073741824 1073778376 140733898341504 140238474810360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 9691540 [startup+1.50066 s] /proc/loadavg: 3.51 3.85 3.87 7/222 30642 /proc/meminfo: memFree=28253208/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9824668 CPUtime=4.4 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 25250 0 1 0 430 10 0 0 20 0 22 0 254907280 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2456167 47504 2274 9 0 2446860 0 [pid=30620/tid=30621] ppid=30618 vsize=9824668 CPUtime=0.67 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) S 30618 30620 26250 0 -1 4202560 2510 0 1 0 64 3 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238474810360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30623] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30623/stat : 30623 (java) S 30618 30620 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238318729768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30624] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30624/stat : 30624 (java) S 30618 30620 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238317676968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30625] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30625/stat : 30625 (java) S 30618 30620 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238316624168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30626] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30626/stat : 30626 (java) S 30618 30620 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238315571368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30627] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30627/stat : 30627 (java) S 30618 30620 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238314519592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30628] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30628/stat : 30628 (java) S 30618 30620 26250 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238313466792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30629] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30629/stat : 30629 (java) S 30618 30620 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238312413992 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30630] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30630/stat : 30630 (java) S 30618 30620 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238311361192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30631] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30631/stat : 30631 (java) S 30618 30620 26250 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254907283 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238298950120 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30632] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30632/stat : 30632 (java) S 30618 30620 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254907283 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238297896184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30633] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30633/stat : 30633 (java) S 30618 30620 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254907283 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238296843272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30634] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30634/stat : 30634 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254907286 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238295791760 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30635] ppid=30618 vsize=9824668 CPUtime=1.27 cores=0,2,4,6 /proc/30620/task/30635/stat : 30635 (java) R 30618 30620 26250 0 -1 4202560 10463 0 0 0 125 2 0 0 20 0 22 0 254907286 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238294739120 140238478241852 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30636] ppid=30618 vsize=9824668 CPUtime=1.06 cores=0,2,4,6 /proc/30620/task/30636/stat : 30636 (java) R 30618 30620 26250 0 -1 4202560 10837 0 0 0 104 2 0 0 20 0 22 0 254907286 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238293686664 140238482546937 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30637] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30637/stat : 30637 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254907286 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238292634488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30638] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30638/stat : 30638 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254907286 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238291581896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30642] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30642/stat : 30642 (java) S 30618 30620 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254907351 10060460032 47504 33554432000 1073741824 1073778376 140733898341504 140238287369000 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.4 Current children cumulated vsize (KiB) 9824668 [startup+3.10065 s] /proc/loadavg: 3.39 3.82 3.86 3/219 30648 /proc/meminfo: memFree=28212384/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9824668 CPUtime=6.85 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 25916 0 1 0 667 18 0 0 20 0 22 0 254907280 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2456167 52682 2275 9 0 2446860 0 [pid=30620/tid=30621] ppid=30618 vsize=9824668 CPUtime=0.69 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) S 30618 30620 26250 0 -1 4202560 2510 0 1 0 66 3 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238474810360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30623] ppid=30618 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/30620/task/30623/stat : 30623 (java) S 30618 30620 26250 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238318729768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30624] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30624/stat : 30624 (java) S 30618 30620 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238317676968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30625] ppid=30618 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/30620/task/30625/stat : 30625 (java) S 30618 30620 26250 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238316624168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30626] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30626/stat : 30626 (java) S 30618 30620 26250 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238315571368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30627] ppid=30618 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/30620/task/30627/stat : 30627 (java) S 30618 30620 26250 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238314519592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30628] ppid=30618 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/30620/task/30628/stat : 30628 (java) S 30618 30620 26250 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238313466792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30629] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30629/stat : 30629 (java) S 30618 30620 26250 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238312413992 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30630] ppid=30618 vsize=9824668 CPUtime=0.01 cores=0,2,4,6 /proc/30620/task/30630/stat : 30630 (java) S 30618 30620 26250 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254907281 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238311361192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30631] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30631/stat : 30631 (java) S 30618 30620 26250 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 254907283 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238298950120 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30632] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30632/stat : 30632 (java) S 30618 30620 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254907283 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238297896184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30633] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30633/stat : 30633 (java) S 30618 30620 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254907283 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238296843272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30634] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30634/stat : 30634 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254907286 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238295791760 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30635] ppid=30618 vsize=9824668 CPUtime=1.48 cores=0,2,4,6 /proc/30620/task/30635/stat : 30635 (java) S 30618 30620 26250 0 -1 4202560 10463 0 0 0 146 2 0 0 20 0 22 0 254907286 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238294739896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30636] ppid=30618 vsize=9824668 CPUtime=1.16 cores=0,2,4,6 /proc/30620/task/30636/stat : 30636 (java) S 30618 30620 26250 0 -1 4202560 11393 0 0 0 113 3 0 0 20 0 22 0 254907286 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238293687096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30637] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30637/stat : 30637 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254907286 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238292634488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30638] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30638/stat : 30638 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254907286 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238291581896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30642] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30642/stat : 30642 (java) S 30618 30620 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254907351 10060460032 52682 33554432000 1073741824 1073778376 140733898341504 140238287369000 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.85 Current children cumulated vsize (KiB) 9824668 [startup+6.30076 s] /proc/loadavg: 3.39 3.82 3.86 5/222 30654 /proc/meminfo: memFree=28143340/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9824668 CPUtime=13.06 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 26460 0 1 0 1282 24 0 0 20 0 22 0 254907280 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2456167 81077 2287 9 0 2446860 0 [pid=30620/tid=30621] ppid=30618 vsize=9824668 CPUtime=0.7 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) S 30618 30620 26250 0 -1 4202560 2510 0 1 0 67 3 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238474810360 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30623] ppid=30618 vsize=9824668 CPUtime=0.04 cores=0,2,4,6 /proc/30620/task/30623/stat : 30623 (java) S 30618 30620 26250 0 -1 4202560 37 0 0 0 3 1 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238318729768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30624] ppid=30618 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/30620/task/30624/stat : 30624 (java) S 30618 30620 26250 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238317676968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30625] ppid=30618 vsize=9824668 CPUtime=0.03 cores=0,2,4,6 /proc/30620/task/30625/stat : 30625 (java) S 30618 30620 26250 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238316624168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30626] ppid=30618 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/30620/task/30626/stat : 30626 (java) S 30618 30620 26250 0 -1 4202560 16 0 0 0 1 1 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238315571368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30627] ppid=30618 vsize=9824668 CPUtime=0.08 cores=0,2,4,6 /proc/30620/task/30627/stat : 30627 (java) S 30618 30620 26250 0 -1 4202560 45 0 0 0 6 2 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238314519592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30628] ppid=30618 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/30620/task/30628/stat : 30628 (java) S 30618 30620 26250 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238313466792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30629] ppid=30618 vsize=9824668 CPUtime=0.02 cores=0,2,4,6 /proc/30620/task/30629/stat : 30629 (java) S 30618 30620 26250 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238312413992 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30630] ppid=30618 vsize=9824668 CPUtime=0.05 cores=0,2,4,6 /proc/30620/task/30630/stat : 30630 (java) S 30618 30620 26250 0 -1 4202560 27 0 0 0 4 1 0 0 20 0 22 0 254907281 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238311361192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30631] ppid=30618 vsize=9824668 CPUtime=0.11 cores=0,2,4,6 /proc/30620/task/30631/stat : 30631 (java) R 30618 30620 26250 0 -1 4202560 112 0 0 0 11 0 0 0 20 0 22 0 254907283 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238298948976 140238480933627 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30632] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30632/stat : 30632 (java) S 30618 30620 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254907283 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238297896184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30633] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30633/stat : 30633 (java) S 30618 30620 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254907283 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238296843272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30634] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30634/stat : 30634 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254907286 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238295791760 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30635] ppid=30618 vsize=9824668 CPUtime=1.59 cores=0,2,4,6 /proc/30620/task/30635/stat : 30635 (java) S 30618 30620 26250 0 -1 4202560 10466 0 0 0 157 2 0 0 20 0 22 0 254907286 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238294739896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30636] ppid=30618 vsize=9824668 CPUtime=1.31 cores=0,2,4,6 /proc/30620/task/30636/stat : 30636 (java) S 30618 30620 26250 0 -1 4202560 11785 0 0 0 128 3 0 0 20 0 22 0 254907286 10060460032 81077 33554432000 1073741824 1073778376 140733898341504 140238293662744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ [pid=30620/tid=30636] ppid=30618 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/30620/task/30636/stat : 30636 (java) S 30618 30620 26250 0 -1 4202560 24051 0 0 0 219 5 0 0 20 0 21 0 254907286 10060460032 958998 33554432000 1073741824 1073778376 140733898341504 140238293687096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30637] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30637/stat : 30637 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254907286 10060460032 958998 33554432000 1073741824 1073778376 140733898341504 140238292634488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30638] ppid=30618 vsize=9824668 CPUtime=0.34 cores=0,2,4,6 /proc/30620/task/30638/stat : 30638 (java) S 30618 30620 26250 0 -1 4202560 89 0 0 0 19 15 0 0 20 0 21 0 254907286 10060460032 958998 33554432000 1073741824 1073778376 140733898341504 140238291581896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30660] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30660/stat : 30660 (java) S 30618 30620 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254908054 10060460032 958998 33554432000 1073741824 1073778376 140733898341504 140238287369768 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30674] ppid=30618 vsize=9824668 CPUtime=1466.84 cores=0,2,4,6 /proc/30620/task/30674/stat : 30674 (java) R 30618 30620 26250 0 -1 4202560 894 0 0 0 146653 31 0 0 20 0 21 0 254913343 10060460032 958998 33554432000 1073741824 1073778376 140733898341504 140238290525600 140238348359121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30675] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30675/stat : 30675 (java) S 30618 30620 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254913347 10060460032 958998 33554432000 1073741824 1073778376 140733898341504 140238288421928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1620.36 Current children cumulated vsize (KiB) 9824668 [startup+1602.3 s] /proc/loadavg: 2.98 3.00 3.14 4/220 30788 /proc/meminfo: memFree=24447108/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9824668 CPUtime=1681.53 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 53579 0 1 0 167690 463 0 0 20 0 21 0 254907280 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2456167 989208 2287 9 0 2446860 0 [pid=30620/tid=30621] ppid=30618 vsize=9824668 CPUtime=1.12 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) S 30618 30620 26250 0 -1 4202560 2557 0 1 0 94 18 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238474810488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30623] ppid=30618 vsize=9824668 CPUtime=3.67 cores=0,2,4,6 /proc/30620/task/30623/stat : 30623 (java) S 30618 30620 26250 0 -1 4202560 1169 0 0 0 324 43 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238318729768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30624] ppid=30618 vsize=9824668 CPUtime=3.98 cores=0,2,4,6 /proc/30620/task/30624/stat : 30624 (java) S 30618 30620 26250 0 -1 4202560 1468 0 0 0 349 49 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238317676968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30625] ppid=30618 vsize=9824668 CPUtime=4.11 cores=0,2,4,6 /proc/30620/task/30625/stat : 30625 (java) S 30618 30620 26250 0 -1 4202560 1221 0 0 0 362 49 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238316624168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30626] ppid=30618 vsize=9824668 CPUtime=4.1 cores=0,2,4,6 /proc/30620/task/30626/stat : 30626 (java) S 30618 30620 26250 0 -1 4202560 1441 0 0 0 359 51 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238315571368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30627] ppid=30618 vsize=9824668 CPUtime=4.17 cores=0,2,4,6 /proc/30620/task/30627/stat : 30627 (java) S 30618 30620 26250 0 -1 4202560 1151 0 0 0 366 51 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238314519592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30628] ppid=30618 vsize=9824668 CPUtime=4.28 cores=0,2,4,6 /proc/30620/task/30628/stat : 30628 (java) S 30618 30620 26250 0 -1 4202560 1218 0 0 0 377 51 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238313466792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30629] ppid=30618 vsize=9824668 CPUtime=4 cores=0,2,4,6 /proc/30620/task/30629/stat : 30629 (java) S 30618 30620 26250 0 -1 4202560 1269 0 0 0 354 46 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238312413992 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30630] ppid=30618 vsize=9824668 CPUtime=3.68 cores=0,2,4,6 /proc/30620/task/30630/stat : 30630 (java) S 30618 30620 26250 0 -1 4202560 1060 0 0 0 323 45 0 0 20 0 21 0 254907281 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238311361192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30631] ppid=30618 vsize=9824668 CPUtime=10.04 cores=0,2,4,6 /proc/30620/task/30631/stat : 30631 (java) S 30618 30620 26250 0 -1 4202560 3608 0 0 0 996 8 0 0 20 0 21 0 254907283 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238298950120 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30632] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30632/stat : 30632 (java) S 30618 30620 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254907283 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238297896184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30633] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30633/stat : 30633 (java) S 30618 30620 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 254907283 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238296843272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30634] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30634/stat : 30634 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254907286 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238295791760 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30635] ppid=30618 vsize=9824668 CPUtime=1.82 cores=0,2,4,6 /proc/30620/task/30635/stat : 30635 (java) S 30618 30620 26250 0 -1 4202560 10497 0 0 0 180 2 0 0 20 0 21 0 254907286 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238294739896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30636] ppid=30618 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/30620/task/30636/stat : 30636 (java) S 30618 30620 26250 0 -1 4202560 24051 0 0 0 219 5 0 0 20 0 21 0 254907286 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238293687096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30637] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30637/stat : 30637 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254907286 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238292634488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30638] ppid=30618 vsize=9824668 CPUtime=0.36 cores=0,2,4,6 /proc/30620/task/30638/stat : 30638 (java) S 30618 30620 26250 0 -1 4202560 93 0 0 0 20 16 0 0 20 0 21 0 254907286 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238291581896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30660] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30660/stat : 30660 (java) S 30618 30620 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254908054 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238287369768 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30674] ppid=30618 vsize=9824668 CPUtime=1526.46 cores=0,2,4,6 /proc/30620/task/30674/stat : 30674 (java) R 30618 30620 26250 0 -1 4202560 894 0 0 0 152614 32 0 0 20 0 21 0 254913343 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238290525824 140238348317834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30675] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30675/stat : 30675 (java) S 30618 30620 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254913347 10060460032 989208 33554432000 1073741824 1073778376 140733898341504 140238288421928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1681.53 Current children cumulated vsize (KiB) 9824668 [startup+1662.3 s] /proc/loadavg: 2.96 2.98 3.12 4/220 30788 /proc/meminfo: memFree=24385544/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9824668 CPUtime=1742.71 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 53614 0 1 0 173804 467 0 0 20 0 21 0 254907280 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2456167 993308 2287 9 0 2446860 0 [pid=30620/tid=30621] ppid=30618 vsize=9824668 CPUtime=1.14 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) S 30618 30620 26250 0 -1 4202560 2557 0 1 0 95 19 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238474810488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30623] ppid=30618 vsize=9824668 CPUtime=3.93 cores=0,2,4,6 /proc/30620/task/30623/stat : 30623 (java) S 30618 30620 26250 0 -1 4202560 1172 0 0 0 350 43 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238318729768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30624] ppid=30618 vsize=9824668 CPUtime=4.16 cores=0,2,4,6 /proc/30620/task/30624/stat : 30624 (java) S 30618 30620 26250 0 -1 4202560 1473 0 0 0 367 49 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238317676968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30625] ppid=30618 vsize=9824668 CPUtime=4.25 cores=0,2,4,6 /proc/30620/task/30625/stat : 30625 (java) S 30618 30620 26250 0 -1 4202560 1225 0 0 0 376 49 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238316624168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30626] ppid=30618 vsize=9824668 CPUtime=4.31 cores=0,2,4,6 /proc/30620/task/30626/stat : 30626 (java) S 30618 30620 26250 0 -1 4202560 1447 0 0 0 379 52 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238315571368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30627] ppid=30618 vsize=9824668 CPUtime=4.32 cores=0,2,4,6 /proc/30620/task/30627/stat : 30627 (java) S 30618 30620 26250 0 -1 4202560 1153 0 0 0 381 51 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238314519592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30628] ppid=30618 vsize=9824668 CPUtime=4.48 cores=0,2,4,6 /proc/30620/task/30628/stat : 30628 (java) S 30618 30620 26250 0 -1 4202560 1218 0 0 0 397 51 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238313466792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30629] ppid=30618 vsize=9824668 CPUtime=4.19 cores=0,2,4,6 /proc/30620/task/30629/stat : 30629 (java) S 30618 30620 26250 0 -1 4202560 1270 0 0 0 373 46 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238312413992 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30630] ppid=30618 vsize=9824668 CPUtime=3.87 cores=0,2,4,6 /proc/30620/task/30630/stat : 30630 (java) S 30618 30620 26250 0 -1 4202560 1066 0 0 0 341 46 0 0 20 0 21 0 254907281 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238311361192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30631] ppid=30618 vsize=9824668 CPUtime=10.04 cores=0,2,4,6 /proc/30620/task/30631/stat : 30631 (java) S 30618 30620 26250 0 -1 4202560 3610 0 0 0 996 8 0 0 20 0 21 0 254907283 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238298950120 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30632] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30632/stat : 30632 (java) S 30618 30620 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254907283 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238297896184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30633] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30633/stat : 30633 (java) S 30618 30620 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 254907283 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238296843272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30634] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30634/stat : 30634 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254907286 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238295791760 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30635] ppid=30618 vsize=9824668 CPUtime=1.82 cores=0,2,4,6 /proc/30620/task/30635/stat : 30635 (java) S 30618 30620 26250 0 -1 4202560 10497 0 0 0 180 2 0 0 20 0 21 0 254907286 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238294739896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30636] ppid=30618 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/30620/task/30636/stat : 30636 (java) S 30618 30620 26250 0 -1 4202560 24051 0 0 0 219 5 0 0 20 0 21 0 254907286 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238293687096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30637] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30637/stat : 30637 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254907286 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238292634488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30638] ppid=30618 vsize=9824668 CPUtime=0.38 cores=0,2,4,6 /proc/30620/task/30638/stat : 30638 (java) S 30618 30620 26250 0 -1 4202560 97 0 0 0 21 17 0 0 20 0 21 0 254907286 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238291581896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30660] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30660/stat : 30660 (java) S 30618 30620 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254908054 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238287369768 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30674] ppid=30618 vsize=9824668 CPUtime=1586.07 cores=0,2,4,6 /proc/30620/task/30674/stat : 30674 (java) R 30618 30620 26250 0 -1 4202560 896 0 0 0 158574 33 0 0 20 0 21 0 254913343 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238290525600 140238348356407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30675] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30675/stat : 30675 (java) S 30618 30620 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254913347 10060460032 993308 33554432000 1073741824 1073778376 140733898341504 140238288421928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1742.71 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1718.21 s] /proc/loadavg: 2.94 2.97 3.11 4/220 30788 /proc/meminfo: memFree=24315788/32873844 swapFree=7364/7364 [pid=30620] ppid=30618 vsize=9824668 CPUtime=1800.03 cores=0,2,4,6 /proc/30620/stat : 30620 (java) S 30618 30620 26250 0 -1 4202496 53653 0 1 0 179531 472 0 0 20 0 21 0 254907280 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140733898332640 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30620/statm: 2456167 998434 2287 9 0 2446860 0 [pid=30620/tid=30621] ppid=30618 vsize=9824668 CPUtime=1.16 cores=0,2,4,6 /proc/30620/task/30621/stat : 30621 (java) S 30618 30620 26250 0 -1 4202560 2559 0 1 0 95 21 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238474810488 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30623] ppid=30618 vsize=9824668 CPUtime=4.24 cores=0,2,4,6 /proc/30620/task/30623/stat : 30623 (java) S 30618 30620 26250 0 -1 4202560 1174 0 0 0 380 44 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238318729768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30624] ppid=30618 vsize=9824668 CPUtime=4.31 cores=0,2,4,6 /proc/30620/task/30624/stat : 30624 (java) S 30618 30620 26250 0 -1 4202560 1475 0 0 0 382 49 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238317676968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30625] ppid=30618 vsize=9824668 CPUtime=4.4 cores=0,2,4,6 /proc/30620/task/30625/stat : 30625 (java) S 30618 30620 26250 0 -1 4202560 1232 0 0 0 391 49 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238316624168 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30626] ppid=30618 vsize=9824668 CPUtime=4.5 cores=0,2,4,6 /proc/30620/task/30626/stat : 30626 (java) S 30618 30620 26250 0 -1 4202560 1449 0 0 0 398 52 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238315571368 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30627] ppid=30618 vsize=9824668 CPUtime=4.59 cores=0,2,4,6 /proc/30620/task/30627/stat : 30627 (java) S 30618 30620 26250 0 -1 4202560 1157 0 0 0 408 51 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238314519592 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30628] ppid=30618 vsize=9824668 CPUtime=4.79 cores=0,2,4,6 /proc/30620/task/30628/stat : 30628 (java) S 30618 30620 26250 0 -1 4202560 1223 0 0 0 427 52 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238313466792 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30629] ppid=30618 vsize=9824668 CPUtime=4.48 cores=0,2,4,6 /proc/30620/task/30629/stat : 30629 (java) S 30618 30620 26250 0 -1 4202560 1275 0 0 0 402 46 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238312413992 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30630] ppid=30618 vsize=9824668 CPUtime=4.03 cores=0,2,4,6 /proc/30620/task/30630/stat : 30630 (java) S 30618 30620 26250 0 -1 4202560 1070 0 0 0 357 46 0 0 20 0 21 0 254907281 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238311361192 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30620/tid=30631] ppid=30618 vsize=9824668 CPUtime=10.04 cores=0,2,4,6 /proc/30620/task/30631/stat : 30631 (java) S 30618 30620 26250 0 -1 4202560 3614 0 0 0 996 8 0 0 20 0 21 0 254907283 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238298950120 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30632] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30632/stat : 30632 (java) S 30618 30620 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 254907283 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238297896184 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30633] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30633/stat : 30633 (java) S 30618 30620 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 21 0 254907283 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238296843272 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30634] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30634/stat : 30634 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254907286 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238295791760 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30635] ppid=30618 vsize=9824668 CPUtime=1.82 cores=0,2,4,6 /proc/30620/task/30635/stat : 30635 (java) S 30618 30620 26250 0 -1 4202560 10497 0 0 0 180 2 0 0 20 0 21 0 254907286 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238294739896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30636] ppid=30618 vsize=9824668 CPUtime=2.24 cores=0,2,4,6 /proc/30620/task/30636/stat : 30636 (java) S 30618 30620 26250 0 -1 4202560 24051 0 0 0 219 5 0 0 20 0 21 0 254907286 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238293687096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30637] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30637/stat : 30637 (java) S 30618 30620 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 254907286 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238292634488 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30620/tid=30638] ppid=30618 vsize=9824668 CPUtime=0.4 cores=0,2,4,6 /proc/30620/task/30638/stat : 30638 (java) S 30618 30620 26250 0 -1 4202560 99 0 0 0 22 18 0 0 20 0 21 0 254907286 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238291581896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30660] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30660/stat : 30660 (java) S 30618 30620 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254908054 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238287369768 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30620/tid=30674] ppid=30618 vsize=9824668 CPUtime=1641.53 cores=0,2,4,6 /proc/30620/task/30674/stat : 30674 (java) R 30618 30620 26250 0 -1 4202560 896 0 0 0 164120 33 0 0 20 0 21 0 254913343 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238290525824 140238348317790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=30620/tid=30675] ppid=30618 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/30620/task/30675/stat : 30675 (java) S 30618 30620 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 254913347 10060460032 998434 33554432000 1073741824 1073778376 140733898341504 140238288421928 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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 Real time (s): 1718.28 CPU time (s): 1800.51 CPU user time (s): 1795.36 CPU system time (s): 5.15322 CPU usage (%): 104.786 Max. virtual memory (cumulated for all children) (KiB): 9826548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.36 system time used= 5.15322 maximum resident set size= 3993824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53676 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 74229 involuntary context switches= 53527 runsolver used 6.85896 second user time and 13.8249 second system time The end
Begin job on node133 at 2012-05-24 21:30:25 IDJOB=3690076 IDBENCH=92690 IDSOLVER=2268 FILE ID=node133/3690076-1337887825 RUNJOBID= node133-1337871880-26266 PBS_JOBID= 14620071 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_6_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690076-1337887825/watcher-3690076-1337887825 -o /tmp/evaluation-result-3690076-1337887825/solver-3690076-1337887825 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690076-1337887825.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b24b10929da03724a77e08494dd4be05 RANDOM SEED=722051240 node133.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.540 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.08 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.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 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.92 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.540 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.540 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.540 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.90 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.540 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.540 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: 28395584 kB Buffers: 225464 kB Cached: 2537980 kB SwapCached: 0 kB Active: 1361608 kB Inactive: 2336796 kB Active(anon): 937324 kB Inactive(anon): 0 kB Active(file): 424284 kB Inactive(file): 2336796 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1248 kB Writeback: 0 kB AnonPages: 950228 kB Mapped: 22600 kB Shmem: 212 kB Slab: 631840 kB SReclaimable: 73924 kB SUnreclaim: 557916 kB KernelStack: 1624 kB PageTables: 6136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1723424 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 878592 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= 71624 MiB End job on node133 at 2012-05-24 21:59:05