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