| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | 712 | 1800.6 | 903.062 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb |
| MD5SUM | 2fd45123d8e20b24379108257151f007 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 712 |
| Best CPU time to get the best result obtained on this benchmark | 1800.25 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 414 |
| 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 | 488873 |
| 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 | 488873 |
| 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.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.09 c version 2.3.1.v20110525 0.01/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.09 c java.vm.version 19.1-b02 0.01/0.09 c java.vm.vendor Sun Microsystems Inc. 0.01/0.09 c sun.arch.data.model 64 0.01/0.09 c java.version 1.6.0_24 0.01/0.09 c os.name Linux 0.01/0.09 c os.version 2.6.18-164.el5 0.01/0.09 c os.arch amd64 0.01/0.09 c Free memory 9996466904 0.01/0.09 c Max memory 10048897024 0.01/0.09 c Total memory 10048897024 0.01/0.09 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 org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 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 org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 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 c solving HOME/instance-3454416-1307188286.opb 0.09/0.11 c reading problem ... 4.01/3.63 c ... done. Wall clock time 3.522s. 4.01/3.63 c #vars 10000 4.01/3.63 c #constraints 656900 4.01/3.63 c constraints type 4.01/3.63 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 4.01/3.63 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 4.01/3.63 c constraints type 4.01/3.63 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 4.01/3.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 4.64/3.89 c And the winner is Resolution 5.11/4.20 c SATISFIABLE 5.11/4.20 c OPTIMIZING... 5.11/4.20 c Got one! Elapsed wall clock time (in seconds):4.085 5.11/4.20 o 712 105.93/54.16 c cleaning 2548 clauses out of 5105 with flag 5001/5105 248.48/125.45 c cleaning 4272 clauses out of 8557 with flag 11001/11105 406.13/204.31 c cleaning 5638 clauses out of 11284 with flag 18000/18104 550.39/276.70 c cleaning 6815 clauses out of 13647 with flag 26001/26105 717.67/360.58 c cleaning 7913 clauses out of 15832 with flag 35001/35105 891.78/447.79 c cleaning 8953 clauses out of 17923 with flag 45005/45109 1104.57/554.28 c cleaning 9962 clauses out of 19965 with flag 56000/56104 1340.63/672.44 c cleaning 10978 clauses out of 22005 with flag 68002/68106 1633.68/819.40 c cleaning 11997 clauses out of 24025 with flag 81000/81104 1800.13/902.82 c starts : 91 1800.13/902.82 c conflicts : 93834 1800.13/902.82 c decisions : 551257 1800.13/902.82 c propagations : 60697969 1800.13/902.82 c inspects : 27020845 1800.13/902.82 c shortcuts : 0 1800.13/902.82 c learnt literals : 0 1800.13/902.82 c learnt binary clauses : 0 1800.13/902.82 c learnt ternary clauses : 0 1800.13/902.82 c learnt constraints : 93833 1800.13/902.82 c ignored constraints : 0 1800.13/902.82 c root simplifications : 0 1800.13/902.82 c removed literals (reason simplification) : 6770261 1800.13/902.82 c reason swapping (by a shorter reason) : 0 1800.13/902.82 c Calls to reduceDB : 9 1800.13/902.82 c number of reductions to clauses (during analyze) : 0 1800.13/902.82 c number of learned constraints concerned by reduction : 0 1800.13/902.82 c number of learning phase by resolution : 0 1800.13/902.82 c number of learning phase by cutting planes : 0 1800.13/902.82 c speed (assignments/second) : 67549.66680318017 1800.13/902.82 c non guided choices 0 1800.13/902.85 c learnt constraints type 1800.13/902.85 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24759 1800.13/902.85 c constraints type 1800.13/902.85 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.13/902.85 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.13/902.85 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.13/902.85 c constraints type 1800.13/902.85 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.13/902.85 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.13/902.85 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.13/902.85 s SATISFIABLE 1800.13/902.89 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.13/902.90 c objective function=712 1800.13/902.90 c Total wall clock time (in seconds): 902.793
OK 712
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3454416-1307188286/watcher-3454416-1307188286 -o /tmp/evaluation-result-3454416-1307188286/solver-3454416-1307188286 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454416-1307188286.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.53 3.37 2.84 2/348 29835 /proc/meminfo: memFree=23521976/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10430980 CPUtime=0 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 2147 0 1 0 0 0 0 0 21 0 2 0 909059218 10681323520 1850 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2607745 1861 906 9 0 2598901 0 [pid=29835/tid=29836] ppid=29833 vsize=10430980 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) R 29833 29835 27326 0 -1 4202560 1080 0 1 0 0 0 0 0 22 0 2 0 909059219 10681323520 1897 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.021611 s] /proc/loadavg: 3.53 3.37 2.84 2/348 29835 /proc/meminfo: memFree=23521976/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10444316 CPUtime=0.01 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 8383 0 1 0 0 1 0 0 21 0 2 0 909059218 10694979584 8085 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2611079 8104 917 9 0 2602235 0 [pid=29835/tid=29836] ppid=29833 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) R 29833 29835 27326 0 -1 4202560 7299 0 1 0 0 0 0 0 22 0 2 0 909059219 10694979584 8116 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10444316 [startup+0.100552 s] /proc/loadavg: 3.53 3.37 2.84 2/348 29835 /proc/meminfo: memFree=23521976/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10539572 CPUtime=0.09 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 13036 0 1 0 8 1 0 0 21 0 18 0 909059218 10792521728 12699 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2634893 12699 2092 9 0 2625627 0 [pid=29835/tid=29836] ppid=29833 vsize=10539572 CPUtime=0.08 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) R 29833 29835 27326 0 -1 4202560 11083 0 1 0 7 1 0 0 22 0 18 0 909059219 10792521728 12699 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 47379951531203 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539572 [startup+0.300553 s] /proc/loadavg: 3.53 3.37 2.84 2/348 29835 /proc/meminfo: memFree=23521976/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10540908 CPUtime=0.48 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 16578 0 1 0 46 2 0 0 21 0 18 0 909059218 10793889792 15828 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2635227 15829 2200 9 0 2625961 0 [pid=29835/tid=29836] ppid=29833 vsize=10540908 CPUtime=0.27 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) R 29833 29835 27326 0 -1 4202560 13675 0 1 0 26 1 0 0 22 0 18 0 909059219 10793889792 15829 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912505555049 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 10540908 [startup+0.700481 s] /proc/loadavg: 3.53 3.37 2.84 2/348 29835 /proc/meminfo: memFree=23521976/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10545256 CPUtime=1.11 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 53347 0 1 0 105 6 0 0 21 0 18 0 909059218 10798342144 51533 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2636314 51538 2213 9 0 2627048 0 [pid=29835/tid=29836] ppid=29833 vsize=10545256 CPUtime=0.68 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) R 29833 29835 27326 0 -1 4202560 47663 0 1 0 63 5 0 0 24 0 18 0 909059219 10798342144 51540 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912505573531 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.11 Current children cumulated vsize (KiB) 10545256 [startup+1.50133 s] /proc/loadavg: 3.53 3.37 2.84 4/366 29853 /proc/meminfo: memFree=23191180/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10545256 CPUtime=1.91 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 140015 0 1 0 173 18 0 0 21 0 18 0 909059218 10798342144 138200 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2636314 138205 2213 9 0 2627048 0 [pid=29835/tid=29836] ppid=29833 vsize=10545256 CPUtime=1.48 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) R 29833 29835 27326 0 -1 4202560 134330 0 1 0 131 17 0 0 25 0 18 0 909059219 10798342144 138207 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912505737260 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29835/tid=29838] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29838/stat : 29838 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 909059220 10798342144 138209 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29839] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29839/stat : 29839 (java) S 29833 29835 27326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 138212 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29840] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29840/stat : 29840 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 138214 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29841] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29841/stat : 29841 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 138217 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29842] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29842/stat : 29842 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 138220 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29843] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29843/stat : 29843 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 138222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29844] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29844/stat : 29844 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 138224 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29845] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29845/stat : 29845 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 138227 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29846] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29846/stat : 29846 (java) S 29833 29835 27326 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909059221 10798342144 138230 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 0 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29847] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29847/stat : 29847 (java) S 29833 29835 27326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909059222 10798342144 138232 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29848] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29848/stat : 29848 (java) S 29833 29835 27326 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 909059222 10798342144 138235 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29849] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29849/stat : 29849 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 909059224 10798342144 138237 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032219569 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29850] ppid=29833 vsize=10545256 CPUtime=0.17 cores=1,3,5,7 /proc/29835/task/29850/stat : 29850 (java) S 29833 29835 27326 0 -1 4202560 1810 0 0 0 17 0 0 0 19 0 18 0 909059224 10798342144 138240 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29851] ppid=29833 vsize=10545256 CPUtime=0.24 cores=1,3,5,7 /proc/29835/task/29851/stat : 29851 (java) S 29833 29835 27326 0 -1 4202560 2729 0 0 0 24 0 0 0 17 0 18 0 909059224 10798342144 138242 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29852] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29852/stat : 29852 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909059224 10798342144 138245 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29853] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29853/stat : 29853 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909059224 10798342144 138248 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.91 Current children cumulated vsize (KiB) 10545256 [startup+3.10104 s] /proc/loadavg: 3.48 3.36 2.84 4/366 29853 /proc/meminfo: memFree=22715888/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10545256 CPUtime=3.52 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 312214 0 1 0 311 41 0 0 21 0 18 0 909059218 10798342144 310399 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2636314 310403 2213 9 0 2627048 0 [pid=29835/tid=29836] ppid=29833 vsize=10545256 CPUtime=3.08 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) R 29833 29835 27326 0 -1 4202560 306528 0 1 0 268 40 0 0 25 0 18 0 909059219 10798342144 310405 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912505555174 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29835/tid=29838] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29838/stat : 29838 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 909059220 10798342144 310408 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29839] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29839/stat : 29839 (java) S 29833 29835 27326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 310411 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29840] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29840/stat : 29840 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 310413 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29841] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29841/stat : 29841 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 310416 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29842] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29842/stat : 29842 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 310418 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29843] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29843/stat : 29843 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 310421 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29844] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29844/stat : 29844 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 310423 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29845] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29845/stat : 29845 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 909059220 10798342144 310426 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29846] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29846/stat : 29846 (java) S 29833 29835 27326 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 909059221 10798342144 310428 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 0 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29847] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29847/stat : 29847 (java) S 29833 29835 27326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 909059222 10798342144 310431 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29848] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29848/stat : 29848 (java) S 29833 29835 27326 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 909059222 10798342144 310433 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29849] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29849/stat : 29849 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 909059224 10798342144 310436 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032219569 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29850] ppid=29833 vsize=10545256 CPUtime=0.17 cores=1,3,5,7 /proc/29835/task/29850/stat : 29850 (java) S 29833 29835 27326 0 -1 4202560 1810 0 0 0 17 0 0 0 19 0 18 0 909059224 10798342144 310438 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29851] ppid=29833 vsize=10545256 CPUtime=0.25 cores=1,3,5,7 /proc/29835/task/29851/stat : 29851 (java) S 29833 29835 27326 0 -1 4202560 2729 0 0 0 25 0 0 0 15 0 18 0 909059224 10798342144 310441 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29852] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29852/stat : 29852 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909059224 10798342144 310444 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29853] ppid=29833 vsize=10545256 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29853/stat : 29853 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 909059224 10798342144 310446 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.52 Current children cumulated vsize (KiB) 10545256 [startup+6.30145 s] /proc/loadavg: 3.48 3.36 2.84 5/370 29860 /proc/meminfo: memFree=22024620/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10551916 CPUtime=9.68 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 381252 0 1 0 919 49 0 0 21 0 22 0 909059218 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2637979 376627 2244 9 0 2628713 0 [pid=29835/tid=29836] ppid=29833 vsize=10551916 CPUtime=3.72 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) S 29833 29835 27326 0 -1 4202560 364453 0 1 0 325 47 0 0 15 0 22 0 909059219 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29838] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29838/stat : 29838 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 909059220 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29839] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29839/stat : 29839 (java) S 29833 29835 27326 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909059220 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29840] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29840/stat : 29840 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909059220 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29841] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29841/stat : 29841 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909059220 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29842] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29842/stat : 29842 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909059220 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29843] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29843/stat : 29843 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909059220 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29844] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29844/stat : 29844 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909059220 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29845] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29845/stat : 29845 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909059220 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29846] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29846/stat : 29846 (java) S 29833 29835 27326 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909059221 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 0 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29847] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29847/stat : 29847 (java) S 29833 29835 27326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909059222 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29848] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29848/stat : 29848 (java) S 29833 29835 27326 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 909059222 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29849] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29849/stat : 29849 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909059224 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032219569 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29850] ppid=29833 vsize=10551916 CPUtime=0.61 cores=1,3,5,7 /proc/29835/task/29850/stat : 29850 (java) S 29833 29835 27326 0 -1 4202560 2571 0 0 0 61 0 0 0 15 0 22 0 909059224 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29851] ppid=29833 vsize=10551916 CPUtime=0.73 cores=1,3,5,7 /proc/29835/task/29851/stat : 29851 (java) S 29833 29835 27326 0 -1 4202560 6233 0 0 0 72 1 0 0 15 0 22 0 909059224 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29852] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29852/stat : 29852 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909059224 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29853] ppid=29833 vsize=10551916 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29853/stat : 29853 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909059224 10805161984 376627 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=16400692/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10550720 CPUtime=1638.99 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 981620 0 1 0 163781 118 0 0 21 0 22 0 909059218 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2637680 971222 2269 9 0 2628414 0 [pid=29835/tid=29836] ppid=29833 vsize=10550720 CPUtime=3.72 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) S 29833 29835 27326 0 -1 4202560 364463 0 1 0 325 47 0 0 15 0 22 0 909059219 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29838] ppid=29833 vsize=10550720 CPUtime=0.71 cores=1,3,5,7 /proc/29835/task/29838/stat : 29838 (java) S 29833 29835 27326 0 -1 4202560 30466 0 0 0 67 4 0 0 15 0 22 0 909059220 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29839] ppid=29833 vsize=10550720 CPUtime=0.49 cores=1,3,5,7 /proc/29835/task/29839/stat : 29839 (java) S 29833 29835 27326 0 -1 4202560 17745 0 0 0 47 2 0 0 15 0 22 0 909059220 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29840] ppid=29833 vsize=10550720 CPUtime=0.46 cores=1,3,5,7 /proc/29835/task/29840/stat : 29840 (java) S 29833 29835 27326 0 -1 4202560 19688 0 0 0 44 2 0 0 15 0 22 0 909059220 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29841] ppid=29833 vsize=10550720 CPUtime=0.71 cores=1,3,5,7 /proc/29835/task/29841/stat : 29841 (java) S 29833 29835 27326 0 -1 4202560 19949 0 0 0 69 2 0 0 16 0 22 0 909059220 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29842] ppid=29833 vsize=10550720 CPUtime=0.52 cores=1,3,5,7 /proc/29835/task/29842/stat : 29842 (java) S 29833 29835 27326 0 -1 4202560 14016 0 0 0 50 2 0 0 15 0 22 0 909059220 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29843] ppid=29833 vsize=10550720 CPUtime=0.66 cores=1,3,5,7 /proc/29835/task/29843/stat : 29843 (java) S 29833 29835 27326 0 -1 4202560 26530 0 0 0 63 3 0 0 16 0 22 0 909059220 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29844] ppid=29833 vsize=10550720 CPUtime=0.43 cores=1,3,5,7 /proc/29835/task/29844/stat : 29844 (java) S 29833 29835 27326 0 -1 4202560 13650 0 0 0 42 1 0 0 16 0 22 0 909059220 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29845] ppid=29833 vsize=10550720 CPUtime=0.55 cores=1,3,5,7 /proc/29835/task/29845/stat : 29845 (java) S 29833 29835 27326 0 -1 4202560 18459 0 0 0 53 2 0 0 16 0 22 0 909059220 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29846] ppid=29833 vsize=10550720 CPUtime=5.14 cores=1,3,5,7 /proc/29835/task/29846/stat : 29846 (java) S 29833 29835 27326 0 -1 4202560 53365 0 0 0 508 6 0 0 15 0 22 0 909059221 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 0 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29847] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29847/stat : 29847 (java) S 29833 29835 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909059222 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29848] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29848/stat : 29848 (java) S 29833 29835 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909059222 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29849] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29849/stat : 29849 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909059224 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032219569 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29850] ppid=29833 vsize=10550720 CPUtime=1.02 cores=1,3,5,7 /proc/29835/task/29850/stat : 29850 (java) S 29833 29835 27326 0 -1 4202560 2841 0 0 0 102 0 0 0 15 0 22 0 909059224 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29851] ppid=29833 vsize=10550720 CPUtime=0.93 cores=1,3,5,7 /proc/29835/task/29851/stat : 29851 (java) S 29833 29835 27326 0 -1 4202560 6243 0 0 0 92 1 0 0 15 0 22 0 909059224 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29852] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29852/stat : 29852 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909059224 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29853] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29853/stat : 29853 (java) S 29833 29835 27326 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909059224 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29856] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29856/stat : 29856 (java) S 29833 29835 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909059586 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29858] ppid=29833 vsize=10550720 CPUtime=811.5 cores=1,3,5,7 /proc/29835/task/29858/stat : 29858 (java) R 29833 29835 27326 0 -1 4202560 832 0 0 0 81150 0 0 0 22 0 22 0 909059643 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912505932548 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=29835/tid=29859] ppid=29833 vsize=10550720 CPUtime=811.48 cores=1,3,5,7 /proc/29835/task/29859/stat : 29859 (java) R 29833 29835 27326 0 -1 4202560 391067 0 0 0 81108 40 0 0 22 0 22 0 909059643 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912505891271 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29835/tid=29860] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29860/stat : 29860 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909059644 10803937280 971222 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1638.99 Current children cumulated vsize (KiB) 10550720 [startup+882.301 s] /proc/loadavg: 3.98 3.94 3.49 5/370 29958 /proc/meminfo: memFree=16324520/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10550720 CPUtime=1759.07 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 989288 0 1 0 175789 118 0 0 21 0 22 0 909059218 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2637680 978701 2269 9 0 2628414 0 [pid=29835/tid=29836] ppid=29833 vsize=10550720 CPUtime=3.72 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) S 29833 29835 27326 0 -1 4202560 364463 0 1 0 325 47 0 0 15 0 22 0 909059219 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29838] ppid=29833 vsize=10550720 CPUtime=0.77 cores=1,3,5,7 /proc/29835/task/29838/stat : 29838 (java) S 29833 29835 27326 0 -1 4202560 32417 0 0 0 73 4 0 0 16 0 22 0 909059220 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29839] ppid=29833 vsize=10550720 CPUtime=0.53 cores=1,3,5,7 /proc/29835/task/29839/stat : 29839 (java) S 29833 29835 27326 0 -1 4202560 19294 0 0 0 51 2 0 0 16 0 22 0 909059220 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29840] ppid=29833 vsize=10550720 CPUtime=0.5 cores=1,3,5,7 /proc/29835/task/29840/stat : 29840 (java) S 29833 29835 27326 0 -1 4202560 21343 0 0 0 48 2 0 0 16 0 22 0 909059220 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29841] ppid=29833 vsize=10550720 CPUtime=0.72 cores=1,3,5,7 /proc/29835/task/29841/stat : 29841 (java) S 29833 29835 27326 0 -1 4202560 20028 0 0 0 70 2 0 0 15 0 22 0 909059220 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29842] ppid=29833 vsize=10550720 CPUtime=0.53 cores=1,3,5,7 /proc/29835/task/29842/stat : 29842 (java) S 29833 29835 27326 0 -1 4202560 14149 0 0 0 51 2 0 0 15 0 22 0 909059220 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29843] ppid=29833 vsize=10550720 CPUtime=0.7 cores=1,3,5,7 /proc/29835/task/29843/stat : 29843 (java) S 29833 29835 27326 0 -1 4202560 27715 0 0 0 67 3 0 0 15 0 22 0 909059220 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29844] ppid=29833 vsize=10550720 CPUtime=0.49 cores=1,3,5,7 /proc/29835/task/29844/stat : 29844 (java) S 29833 29835 27326 0 -1 4202560 14684 0 0 0 48 1 0 0 15 0 22 0 909059220 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29845] ppid=29833 vsize=10550720 CPUtime=0.57 cores=1,3,5,7 /proc/29835/task/29845/stat : 29845 (java) S 29833 29835 27326 0 -1 4202560 18527 0 0 0 55 2 0 0 15 0 22 0 909059220 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29846] ppid=29833 vsize=10550720 CPUtime=5.14 cores=1,3,5,7 /proc/29835/task/29846/stat : 29846 (java) S 29833 29835 27326 0 -1 4202560 53369 0 0 0 508 6 0 0 15 0 22 0 909059221 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 0 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29847] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29847/stat : 29847 (java) S 29833 29835 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909059222 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29848] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29848/stat : 29848 (java) S 29833 29835 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909059222 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29849] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29849/stat : 29849 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909059224 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032219569 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29850] ppid=29833 vsize=10550720 CPUtime=1.02 cores=1,3,5,7 /proc/29835/task/29850/stat : 29850 (java) S 29833 29835 27326 0 -1 4202560 2841 0 0 0 102 0 0 0 15 0 22 0 909059224 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29851] ppid=29833 vsize=10550720 CPUtime=0.93 cores=1,3,5,7 /proc/29835/task/29851/stat : 29851 (java) S 29833 29835 27326 0 -1 4202560 6243 0 0 0 92 1 0 0 15 0 22 0 909059224 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29852] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29852/stat : 29852 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909059224 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29853] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29853/stat : 29853 (java) S 29833 29835 27326 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909059224 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29856] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29856/stat : 29856 (java) S 29833 29835 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909059586 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29858] ppid=29833 vsize=10550720 CPUtime=871.4 cores=1,3,5,7 /proc/29835/task/29858/stat : 29858 (java) R 29833 29835 27326 0 -1 4202560 834 0 0 0 87140 0 0 0 25 0 22 0 909059643 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912505878832 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=29835/tid=29859] ppid=29833 vsize=10550720 CPUtime=871.39 cores=1,3,5,7 /proc/29835/task/29859/stat : 29859 (java) R 29833 29835 27326 0 -1 4202560 391071 0 0 0 87099 40 0 0 25 0 22 0 909059643 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912506008073 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29835/tid=29860] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29860/stat : 29860 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909059644 10803937280 978701 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1759.07 Current children cumulated vsize (KiB) 10550720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.801 s] /proc/loadavg: 3.98 3.94 3.50 5/370 29959 /proc/meminfo: memFree=16319296/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=10550720 CPUtime=1800.13 cores=1,3,5,7 /proc/29835/stat : 29835 (java) S 29833 29835 27326 0 -1 4202496 990609 0 1 0 179895 118 0 0 21 0 22 0 909059218 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 2637680 979991 2269 9 0 2628414 0 [pid=29835/tid=29836] ppid=29833 vsize=10550720 CPUtime=3.72 cores=1,3,5,7 /proc/29835/task/29836/stat : 29836 (java) S 29833 29835 27326 0 -1 4202560 364463 0 1 0 325 47 0 0 15 0 22 0 909059219 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29838] ppid=29833 vsize=10550720 CPUtime=0.77 cores=1,3,5,7 /proc/29835/task/29838/stat : 29838 (java) S 29833 29835 27326 0 -1 4202560 32442 0 0 0 73 4 0 0 16 0 22 0 909059220 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29839] ppid=29833 vsize=10550720 CPUtime=0.55 cores=1,3,5,7 /proc/29835/task/29839/stat : 29839 (java) S 29833 29835 27326 0 -1 4202560 19351 0 0 0 53 2 0 0 16 0 22 0 909059220 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29840] ppid=29833 vsize=10550720 CPUtime=0.51 cores=1,3,5,7 /proc/29835/task/29840/stat : 29840 (java) S 29833 29835 27326 0 -1 4202560 21639 0 0 0 49 2 0 0 15 0 22 0 909059220 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29841] ppid=29833 vsize=10550720 CPUtime=0.74 cores=1,3,5,7 /proc/29835/task/29841/stat : 29841 (java) S 29833 29835 27326 0 -1 4202560 20432 0 0 0 72 2 0 0 15 0 22 0 909059220 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 7 0 0 0 [pid=29835/tid=29842] ppid=29833 vsize=10550720 CPUtime=0.55 cores=1,3,5,7 /proc/29835/task/29842/stat : 29842 (java) S 29833 29835 27326 0 -1 4202560 14428 0 0 0 53 2 0 0 16 0 22 0 909059220 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29843] ppid=29833 vsize=10550720 CPUtime=0.72 cores=1,3,5,7 /proc/29835/task/29843/stat : 29843 (java) S 29833 29835 27326 0 -1 4202560 27964 0 0 0 69 3 0 0 16 0 22 0 909059220 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29844] ppid=29833 vsize=10550720 CPUtime=0.49 cores=1,3,5,7 /proc/29835/task/29844/stat : 29844 (java) S 29833 29835 27326 0 -1 4202560 14684 0 0 0 48 1 0 0 15 0 22 0 909059220 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29845] ppid=29833 vsize=10550720 CPUtime=0.57 cores=1,3,5,7 /proc/29835/task/29845/stat : 29845 (java) S 29833 29835 27326 0 -1 4202560 18531 0 0 0 55 2 0 0 16 0 22 0 909059220 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 1 0 0 0 [pid=29835/tid=29846] ppid=29833 vsize=10550720 CPUtime=5.14 cores=1,3,5,7 /proc/29835/task/29846/stat : 29846 (java) S 29833 29835 27326 0 -1 4202560 53371 0 0 0 508 6 0 0 15 0 22 0 909059221 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 0 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29847] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29847/stat : 29847 (java) S 29833 29835 27326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909059222 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29848] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29848/stat : 29848 (java) S 29833 29835 27326 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 909059222 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29849] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29849/stat : 29849 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909059224 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032219569 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29850] ppid=29833 vsize=10550720 CPUtime=1.02 cores=1,3,5,7 /proc/29835/task/29850/stat : 29850 (java) S 29833 29835 27326 0 -1 4202560 2841 0 0 0 102 0 0 0 15 0 22 0 909059224 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29851] ppid=29833 vsize=10550720 CPUtime=0.93 cores=1,3,5,7 /proc/29835/task/29851/stat : 29851 (java) S 29833 29835 27326 0 -1 4202560 6243 0 0 0 92 1 0 0 15 0 22 0 909059224 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29852] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29852/stat : 29852 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909059224 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032211865 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29853] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29853/stat : 29853 (java) S 29833 29835 27326 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909059224 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 [pid=29835/tid=29856] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29856/stat : 29856 (java) S 29833 29835 27326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909059586 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 5 0 0 0 [pid=29835/tid=29858] ppid=29833 vsize=10550720 CPUtime=891.89 cores=1,3,5,7 /proc/29835/task/29858/stat : 29858 (java) R 29833 29835 27326 0 -1 4202560 835 0 0 0 89189 0 0 0 25 0 22 0 909059643 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912506157224 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=29835/tid=29859] ppid=29833 vsize=10550720 CPUtime=891.87 cores=1,3,5,7 /proc/29835/task/29859/stat : 29859 (java) R 29833 29835 27326 0 -1 4202560 391073 0 0 0 89147 40 0 0 25 0 22 0 909059643 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 46912506303864 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29835/tid=29860] ppid=29833 vsize=10550720 CPUtime=0 cores=1,3,5,7 /proc/29835/task/29860/stat : 29860 (java) S 29833 29835 27326 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909059644 10803937280 979991 33554432000 1073741824 1073778376 140735705804016 18446744073709551615 260032212480 0 4 0 16800975 18446604463708347392 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 10550720 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+903.001 s] /proc/loadavg: 3.98 3.94 3.50 4/351 29962 /proc/meminfo: memFree=18612152/32951124 swapFree=67056304/67111528 [pid=29835] ppid=29833 vsize=0 CPUtime=1800.55 cores=1,3,5,7 /proc/29835/stat : 29835 (java) Z 29833 29835 27326 0 -1 4203548 990651 0 1 0 179926 129 0 0 17 0 2 0 909059218 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/29835/statm: 0 0 0 0 0 0 0 [pid=29835/tid=29856] ppid=29833 vsize=0 CPUtime=0.1 cores=1,3,5,7 /proc/29835/task/29856/stat : 29856 (java) R 29833 29835 27326 0 -1 4203588 7 0 0 0 0 10 0 0 18 0 2 0 909059586 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 903.062 CPU time (s): 1800.6 CPU user time (s): 1799.26 CPU system time (s): 1.3428 CPU usage (%): 199.389 Max. virtual memory (cumulated for all children) (KiB): 10553408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.26 system time used= 1.34279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 990651 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24139 involuntary context switches= 23884 runsolver used 2.92656 second user time and 6.95194 second system time The end
Begin job on node110 at 2011-06-04 13:51:26 IDJOB=3454416 IDBENCH=1977 IDSOLVER=1950 FILE ID=node110/3454416-1307188286 RUNJOBID= node110-1307187478-29525 PBS_JOBID= 13508825 Free space on /tmp= 74028 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454416-1307188286/watcher-3454416-1307188286 -o /tmp/evaluation-result-3454416-1307188286/solver-3454416-1307188286 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454416-1307188286.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2fd45123d8e20b24379108257151f007 RANDOM SEED=1686837268 node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23522132 kB Buffers: 303592 kB Cached: 4598784 kB SwapCached: 8652 kB Active: 4636976 kB Inactive: 4469484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23522132 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 17164 kB Writeback: 0 kB AnonPages: 4201760 kB Mapped: 35608 kB Slab: 229808 kB PageTables: 28168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 85970848 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74024 MiB End job on node110 at 2011-06-04 14:06:31