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