Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | Wrong Opt. | 19.732 | 12.4377 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo |
MD5SUM | 7f95aa45daecbcbe8d128ff4aa3d1714 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.429934 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 10100 |
Total number of constraints | 201 |
Number of soft constraints | 138 |
Number of constraints which are clauses | 101 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 101 |
Top cost | 6600 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6599 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 102 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.2.0.v20100531 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.07 c java.vm.version 11.2-b01 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 32 0.00/0.07 c java.version 1.6.0_12 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch i386 0.00/0.07 c Free memory 1393557488 0.00/0.07 c Max memory 1395916800 0.00/0.07 c Total memory 1395916800 0.00/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c ManyCore solver with 2 solvers running in parallel 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@18385e3 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@cf40f5 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 0.11/0.10 c solving HOME/instance-2694483-1277892687.wbo 0.11/0.10 c reading problem ... 0.61/0.32 c ... done. Wall clock time 0.22s. 0.61/0.32 c #vars 10238 0.61/0.32 c #constraints 201 0.61/0.32 c constraints type 0.61/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101 0.61/0.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 0.61/0.32 c constraints type 0.61/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 101 0.61/0.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 100 2.27/0.87 c And the winner is Resolution 2.45/1.33 c SATISFIABLE 2.45/1.33 c OPTIMIZING... 2.45/1.33 c Got one! Elapsed wall clock time (in seconds):1.233 2.45/1.33 o 40 3.22/1.78 c And the winner is Resolution 3.47/2.34 c Got one! Elapsed wall clock time (in seconds):2.24 3.47/2.34 o 26 4.41/2.89 c And the winner is Resolution 4.71/3.34 c Got one! Elapsed wall clock time (in seconds):3.245 4.71/3.34 o 6 8.45/5.22 c cleaning 2464 clauses out of 5001 with flag 5001/5001 8.86/5.44 c And the winner is Resolution 9.05/6.35 c Got one! Elapsed wall clock time (in seconds):6.255 9.05/6.35 o 5 16.23/9.90 c cleaning 4230 clauses out of 8538 with flag 11002/11002 19.41/11.59 c And the winner is CuttingPlanes 19.61/12.39 c starts : 5 19.61/12.39 c conflicts : 100 19.61/12.39 c decisions : 23385 19.61/12.39 c propagations : 47930 19.61/12.39 c inspects : 10784 19.61/12.39 c learnt literals : 0 19.61/12.39 c learnt binary clauses : 0 19.61/12.39 c learnt ternary clauses : 0 19.61/12.39 c learnt clauses : 99 19.61/12.39 c ignored clauses : 0 19.61/12.39 c root simplifications : 0 19.61/12.39 c removed literals (reason simplification) : 0 19.61/12.39 c reason swapping (by a shorter reason) : 0 19.61/12.39 c Calls to reduceDB : 0 19.61/12.39 c number of reductions to clauses (during analyze) : 0 19.61/12.39 c number of learned constraints concerned by reduction : 0 19.61/12.39 c number of learning phase by resolution : 0 19.61/12.39 c number of learning phase by cutting planes : 0 19.61/12.39 c speed (assignments/second) : 7944.637825294215 19.61/12.39 c non guided choices 23133 19.61/12.39 c learnt constraints type 19.61/12.39 c constraints type 19.61/12.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101 19.61/12.39 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 19.61/12.39 c org.sat4j.pb.constraints.pb.MaxWatchPb => 0 19.61/12.39 c constraints type 19.61/12.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 101 19.61/12.39 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 100 19.61/12.39 c org.sat4j.pb.constraints.pb.MaxWatchPb => 0 19.61/12.39 s OPTIMUM FOUND 19.67/12.40 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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 19.67/12.41 c objective function=5 19.67/12.41 c Total wall clock time (in seconds): 12.312
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694483-1277892687/watcher-2694483-1277892687 -o /tmp/evaluation-result-2694483-1277892687/solver-2694483-1277892687 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694483-1277892687.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.02 2.08 2/182 10911 /proc/meminfo: memFree=31563512/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=13164 CPUtime=0 /proc/10911/stat : 10911 (java) R 10909 10911 9712 0 -1 4194304 706 0 0 0 0 0 0 0 25 0 1 0 130564262 13479936 310 4089446400 134512640 134550932 4294112384 18446744073709551615 7378565 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10911/statm: 3291 317 142 10 0 1121 0 [startup+0.082565 s] /proc/loadavg: 2.08 2.02 2.08 2/182 10911 /proc/meminfo: memFree=31563512/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1529852 CPUtime=0.08 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 5008 0 1 0 7 1 0 0 25 0 18 0 130564262 1566568448 4445 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 382463 4445 1339 10 0 379766 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1529852 [startup+0.100564 s] /proc/loadavg: 2.08 2.02 2.08 2/182 10911 /proc/meminfo: memFree=31563512/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1530204 CPUtime=0.11 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 5310 0 1 0 10 1 0 0 25 0 18 0 130564262 1566928896 4747 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 382551 4749 1348 10 0 379854 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530204 [startup+0.300546 s] /proc/loadavg: 2.08 2.02 2.08 2/182 10911 /proc/meminfo: memFree=31563512/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1532940 CPUtime=0.61 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 10370 0 1 0 60 1 0 0 25 0 18 0 130564262 1569730560 9574 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 383235 9574 1405 10 0 380538 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 1532940 [startup+0.700479 s] /proc/loadavg: 2.08 2.02 2.08 2/182 10911 /proc/meminfo: memFree=31563512/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1534488 CPUtime=2.05 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 15248 0 1 0 204 1 0 0 25 0 22 0 130564262 1571315712 13897 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 383622 13897 1426 10 0 380925 0 Current children cumulated CPU time (s) 2.05 Current children cumulated vsize (KiB) 1534488 [startup+1.50127 s] /proc/loadavg: 2.08 2.02 2.08 2/202 10933 /proc/meminfo: memFree=31508740/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1534488 CPUtime=2.82 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 17417 0 1 0 280 2 0 0 25 0 22 0 130564262 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 383622 16065 1427 10 0 380925 0 [pid=10911/tid=10913] ppid=10909 vsize=1534488 CPUtime=0.32 /proc/10911/task/10913/stat : 10913 (java) S 10909 10911 9712 0 -1 4202560 9601 0 1 0 31 1 0 0 19 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10914] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10914/stat : 10914 (java) S 10909 10911 9712 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10915] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10915/stat : 10915 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10916] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10916/stat : 10916 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10917] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10917/stat : 10917 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10918] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10918/stat : 10918 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10919] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10919/stat : 10919 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10920] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10920/stat : 10920 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10921] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10921/stat : 10921 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 130564263 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10922] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10922/stat : 10922 (java) S 10909 10911 9712 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 130564264 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10923] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10923/stat : 10923 (java) S 10909 10911 9712 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 130564264 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10924] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10924/stat : 10924 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 22 0 130564264 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10925] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10925/stat : 10925 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 130564266 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10926] ppid=10909 vsize=1534488 CPUtime=0.5 /proc/10911/task/10926/stat : 10926 (java) S 10909 10911 9712 0 -1 4202560 909 0 0 0 50 0 0 0 15 0 22 0 130564266 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 7 0 0 0 [pid=10911/tid=10927] ppid=10909 vsize=1534488 CPUtime=0.53 /proc/10911/task/10927/stat : 10927 (java) S 10909 10911 9712 0 -1 4202560 1481 0 0 0 53 0 0 0 16 0 22 0 130564266 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10928] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10928/stat : 10928 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 130564266 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 1 0 0 0 [pid=10911/tid=10929] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10929/stat : 10929 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 22 0 130564266 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10932] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10932/stat : 10932 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 130564298 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10933] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10933/stat : 10933 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 130564298 1571315712 16065 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.82 Current children cumulated vsize (KiB) 1534488 [startup+3.10106 s] /proc/loadavg: 2.08 2.02 2.08 2/202 10935 /proc/meminfo: memFree=31498836/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1534488 CPUtime=4.71 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 21370 0 1 0 469 2 0 0 25 0 20 0 130564262 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 383622 20018 1427 10 0 380925 0 [pid=10911/tid=10913] ppid=10909 vsize=1534488 CPUtime=0.32 /proc/10911/task/10913/stat : 10913 (java) S 10909 10911 9712 0 -1 4202560 9632 0 1 0 31 1 0 0 19 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10914] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10914/stat : 10914 (java) S 10909 10911 9712 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10915] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10915/stat : 10915 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10916] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10916/stat : 10916 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10917] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10917/stat : 10917 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10918] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10918/stat : 10918 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10919] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10919/stat : 10919 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10920] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10920/stat : 10920 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10921] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10921/stat : 10921 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 130564263 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10922] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10922/stat : 10922 (java) S 10909 10911 9712 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 130564264 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10923] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10923/stat : 10923 (java) S 10909 10911 9712 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 130564264 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10924] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10924/stat : 10924 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 20 0 130564264 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10925] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10925/stat : 10925 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 130564266 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10926] ppid=10909 vsize=1534488 CPUtime=0.53 /proc/10911/task/10926/stat : 10926 (java) S 10909 10911 9712 0 -1 4202560 913 0 0 0 53 0 0 0 15 0 20 0 130564266 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 7 0 0 0 [pid=10911/tid=10927] ppid=10909 vsize=1534488 CPUtime=0.54 /proc/10911/task/10927/stat : 10927 (java) S 10909 10911 9712 0 -1 4202560 1482 0 0 0 54 0 0 0 15 0 20 0 130564266 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10928] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10928/stat : 10928 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 130564266 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 1 0 0 0 [pid=10911/tid=10929] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10929/stat : 10929 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 20 0 130564266 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10932] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10932/stat : 10932 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 130564298 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10933] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10933/stat : 10933 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 130564298 1571315712 20018 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.71 Current children cumulated vsize (KiB) 1534488 [startup+6.30149 s] /proc/loadavg: 2.16 2.03 2.08 4/204 10939 /proc/meminfo: memFree=31436448/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1534488 CPUtime=9.05 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 34270 0 1 0 901 4 0 0 25 0 20 0 130564262 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 383622 32899 1441 10 0 380925 0 [pid=10911/tid=10913] ppid=10909 vsize=1534488 CPUtime=0.32 /proc/10911/task/10913/stat : 10913 (java) S 10909 10911 9712 0 -1 4202560 9664 0 1 0 31 1 0 0 18 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10914] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10914/stat : 10914 (java) S 10909 10911 9712 0 -1 4202560 623 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10915] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10915/stat : 10915 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10916] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10916/stat : 10916 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10917] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10917/stat : 10917 (java) S 10909 10911 9712 0 -1 4202560 205 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10918] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10918/stat : 10918 (java) S 10909 10911 9712 0 -1 4202560 709 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10919] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10919/stat : 10919 (java) S 10909 10911 9712 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10920] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10920/stat : 10920 (java) S 10909 10911 9712 0 -1 4202560 1097 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10921] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10921/stat : 10921 (java) S 10909 10911 9712 0 -1 4202560 600 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10922] ppid=10909 vsize=1534488 CPUtime=0.02 /proc/10911/task/10922/stat : 10922 (java) S 10909 10911 9712 0 -1 4202560 3253 0 0 0 2 0 0 0 15 0 20 0 130564264 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10923] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10923/stat : 10923 (java) S 10909 10911 9712 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 130564264 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10924] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10924/stat : 10924 (java) S 10909 10911 9712 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 130564264 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10925] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10925/stat : 10925 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 130564266 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10926] ppid=10909 vsize=1534488 CPUtime=0.57 /proc/10911/task/10926/stat : 10926 (java) S 10909 10911 9712 0 -1 4202560 917 0 0 0 57 0 0 0 15 0 20 0 130564266 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 7 0 0 0 [pid=10911/tid=10927] ppid=10909 vsize=1534488 CPUtime=0.57 /proc/10911/task/10927/stat : 10927 (java) S 10909 10911 9712 0 -1 4202560 1489 0 0 0 57 0 0 0 15 0 20 0 130564266 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10928] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10928/stat : 10928 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 130564266 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 1 0 0 0 [pid=10911/tid=10929] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10929/stat : 10929 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 20 0 130564266 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10932] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10932/stat : 10932 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 130564298 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10933] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10933/stat : 10933 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 130564298 1571315712 32899 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 9.05 Current children cumulated vsize (KiB) 1534488 Solver just ended. Dumping a history of the last processes samples [startup+9.50087 s] /proc/loadavg: 2.16 2.03 2.08 4/204 10941 ################ # More data... # ################ /proc/10911/task/10920/stat : 10920 (java) S 10909 10911 9712 0 -1 4202560 1097 0 0 0 0 0 0 0 18 0 22 0 130564263 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10921] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10921/stat : 10921 (java) S 10909 10911 9712 0 -1 4202560 600 0 0 0 0 0 0 0 18 0 22 0 130564263 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10922] ppid=10909 vsize=1534488 CPUtime=0.04 /proc/10911/task/10922/stat : 10922 (java) S 10909 10911 9712 0 -1 4202560 5094 0 0 0 4 0 0 0 15 0 22 0 130564264 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10923] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10923/stat : 10923 (java) S 10909 10911 9712 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 130564264 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10924] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10924/stat : 10924 (java) S 10909 10911 9712 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 130564264 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10925] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10925/stat : 10925 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 130564266 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10926] ppid=10909 vsize=1534488 CPUtime=0.61 /proc/10911/task/10926/stat : 10926 (java) S 10909 10911 9712 0 -1 4202560 921 0 0 0 61 0 0 0 15 0 22 0 130564266 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 7 0 0 0 [pid=10911/tid=10927] ppid=10909 vsize=1534488 CPUtime=0.62 /proc/10911/task/10927/stat : 10927 (java) S 10909 10911 9712 0 -1 4202560 1500 0 0 0 62 0 0 0 16 0 22 0 130564266 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10928] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10928/stat : 10928 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 130564266 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 1 0 0 0 [pid=10911/tid=10929] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10929/stat : 10929 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 22 0 130564266 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10932] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10932/stat : 10932 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 130564298 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10933] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10933/stat : 10933 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 22 0 130564298 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 3 0 0 0 [pid=10911/tid=10940] ppid=10909 vsize=1534488 CPUtime=4.71 /proc/10911/task/10940/stat : 10940 (java) R 10909 10911 9712 0 -1 4202560 280 0 0 0 471 0 0 0 25 0 22 0 130564898 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4109872490 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=10911/tid=10941] ppid=10909 vsize=1534488 CPUtime=4.69 /proc/10911/task/10941/stat : 10941 (java) R 10909 10911 9712 0 -1 4202560 532 0 0 0 469 0 0 0 25 0 22 0 130564898 1571315712 40978 4089446400 134512640 134550932 4294112384 18446744073709551615 4109844527 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 18.61 Current children cumulated vsize (KiB) 1534488 [startup+11.9014 s] /proc/loadavg: 2.22 2.05 2.09 4/204 10941 /proc/meminfo: memFree=31404972/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1534488 CPUtime=19.61 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 42652 0 1 0 1955 6 0 0 25 0 20 0 130564262 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 383622 40981 1443 10 0 380925 0 [pid=10911/tid=10913] ppid=10909 vsize=1534488 CPUtime=0.32 /proc/10911/task/10913/stat : 10913 (java) S 10909 10911 9712 0 -1 4202560 9665 0 1 0 31 1 0 0 18 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10914] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10914/stat : 10914 (java) S 10909 10911 9712 0 -1 4202560 1633 0 0 0 0 0 0 0 16 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10915] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10915/stat : 10915 (java) S 10909 10911 9712 0 -1 4202560 1492 0 0 0 0 0 0 0 16 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10916] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10916/stat : 10916 (java) S 10909 10911 9712 0 -1 4202560 1829 0 0 0 0 0 0 0 16 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10917] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10917/stat : 10917 (java) S 10909 10911 9712 0 -1 4202560 1586 0 0 0 0 0 0 0 16 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10918] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10918/stat : 10918 (java) S 10909 10911 9712 0 -1 4202560 709 0 0 0 0 0 0 0 15 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10919] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10919/stat : 10919 (java) S 10909 10911 9712 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10920] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10920/stat : 10920 (java) S 10909 10911 9712 0 -1 4202560 1097 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10921] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10921/stat : 10921 (java) S 10909 10911 9712 0 -1 4202560 600 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10922] ppid=10909 vsize=1534488 CPUtime=0.04 /proc/10911/task/10922/stat : 10922 (java) S 10909 10911 9712 0 -1 4202560 5094 0 0 0 4 0 0 0 15 0 20 0 130564264 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10923] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10923/stat : 10923 (java) S 10909 10911 9712 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 130564264 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10924] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10924/stat : 10924 (java) S 10909 10911 9712 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 130564264 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10925] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10925/stat : 10925 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10926] ppid=10909 vsize=1534488 CPUtime=0.61 /proc/10911/task/10926/stat : 10926 (java) S 10909 10911 9712 0 -1 4202560 923 0 0 0 61 0 0 0 15 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 7 0 0 0 [pid=10911/tid=10927] ppid=10909 vsize=1534488 CPUtime=0.63 /proc/10911/task/10927/stat : 10927 (java) S 10909 10911 9712 0 -1 4202560 1501 0 0 0 63 0 0 0 15 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10928] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10928/stat : 10928 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 1 0 0 0 [pid=10911/tid=10929] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10929/stat : 10929 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10932] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10932/stat : 10932 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 130564298 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10933] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10933/stat : 10933 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 130564298 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 19.61 Current children cumulated vsize (KiB) 1534488 [startup+12.3014 s] /proc/loadavg: 2.22 2.05 2.09 2/202 10941 /proc/meminfo: memFree=31404740/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1534488 CPUtime=19.61 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 42652 0 1 0 1955 6 0 0 25 0 20 0 130564262 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 383622 40981 1443 10 0 380925 0 [pid=10911/tid=10913] ppid=10909 vsize=1534488 CPUtime=0.32 /proc/10911/task/10913/stat : 10913 (java) S 10909 10911 9712 0 -1 4202560 9665 0 1 0 31 1 0 0 18 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10914] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10914/stat : 10914 (java) S 10909 10911 9712 0 -1 4202560 1633 0 0 0 0 0 0 0 16 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10915] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10915/stat : 10915 (java) S 10909 10911 9712 0 -1 4202560 1492 0 0 0 0 0 0 0 16 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10916] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10916/stat : 10916 (java) S 10909 10911 9712 0 -1 4202560 1829 0 0 0 0 0 0 0 16 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10917] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10917/stat : 10917 (java) S 10909 10911 9712 0 -1 4202560 1586 0 0 0 0 0 0 0 16 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10918] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10918/stat : 10918 (java) S 10909 10911 9712 0 -1 4202560 709 0 0 0 0 0 0 0 15 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10919] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10919/stat : 10919 (java) S 10909 10911 9712 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10920] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10920/stat : 10920 (java) S 10909 10911 9712 0 -1 4202560 1097 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10921] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10921/stat : 10921 (java) S 10909 10911 9712 0 -1 4202560 600 0 0 0 0 0 0 0 18 0 20 0 130564263 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10922] ppid=10909 vsize=1534488 CPUtime=0.04 /proc/10911/task/10922/stat : 10922 (java) S 10909 10911 9712 0 -1 4202560 5094 0 0 0 4 0 0 0 15 0 20 0 130564264 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10923] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10923/stat : 10923 (java) S 10909 10911 9712 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 130564264 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10924] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10924/stat : 10924 (java) S 10909 10911 9712 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 130564264 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10925] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10925/stat : 10925 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10926] ppid=10909 vsize=1534488 CPUtime=0.61 /proc/10911/task/10926/stat : 10926 (java) S 10909 10911 9712 0 -1 4202560 923 0 0 0 61 0 0 0 15 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 7 0 0 0 [pid=10911/tid=10927] ppid=10909 vsize=1534488 CPUtime=0.63 /proc/10911/task/10927/stat : 10927 (java) S 10909 10911 9712 0 -1 4202560 1501 0 0 0 63 0 0 0 15 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10928] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10928/stat : 10928 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 1 0 0 0 [pid=10911/tid=10929] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10929/stat : 10929 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 20 0 130564266 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10932] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10932/stat : 10932 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 130564298 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10933] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10933/stat : 10933 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 130564298 1571315712 40981 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 19.61 Current children cumulated vsize (KiB) 1534488 [startup+12.4013 s] /proc/loadavg: 2.22 2.05 2.09 2/202 10941 /proc/meminfo: memFree=31404740/32951124 swapFree=67111528/67111528 [pid=10911] ppid=10909 vsize=1534488 CPUtime=19.67 /proc/10911/stat : 10911 (java) S 10909 10911 9712 0 -1 4202496 42658 0 1 0 1961 6 0 0 25 0 21 0 130564262 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/10911/statm: 383622 40987 1443 10 0 380925 0 [pid=10911/tid=10913] ppid=10909 vsize=1534488 CPUtime=0.34 /proc/10911/task/10913/stat : 10913 (java) S 10909 10911 9712 0 -1 4202560 9668 0 1 0 33 1 0 0 19 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10914] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10914/stat : 10914 (java) S 10909 10911 9712 0 -1 4202560 1633 0 0 0 0 0 0 0 16 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10915] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10915/stat : 10915 (java) S 10909 10911 9712 0 -1 4202560 1492 0 0 0 0 0 0 0 16 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10916] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10916/stat : 10916 (java) S 10909 10911 9712 0 -1 4202560 1829 0 0 0 0 0 0 0 16 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10917] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10917/stat : 10917 (java) S 10909 10911 9712 0 -1 4202560 1586 0 0 0 0 0 0 0 16 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10918] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10918/stat : 10918 (java) S 10909 10911 9712 0 -1 4202560 709 0 0 0 0 0 0 0 15 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 0 0 0 0 [pid=10911/tid=10919] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10919/stat : 10919 (java) S 10909 10911 9712 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10920] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10920/stat : 10920 (java) S 10909 10911 9712 0 -1 4202560 1097 0 0 0 0 0 0 0 18 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 4 0 0 0 [pid=10911/tid=10921] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10921/stat : 10921 (java) S 10909 10911 9712 0 -1 4202560 600 0 0 0 0 0 0 0 18 0 21 0 130564263 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10922] ppid=10909 vsize=1534488 CPUtime=0.04 /proc/10911/task/10922/stat : 10922 (java) S 10909 10911 9712 0 -1 4202560 5094 0 0 0 4 0 0 0 15 0 21 0 130564264 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 0 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10923] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10923/stat : 10923 (java) S 10909 10911 9712 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 21 0 130564264 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10924] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10924/stat : 10924 (java) S 10909 10911 9712 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 21 0 130564264 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10925] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10925/stat : 10925 (java) S 10909 10911 9712 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 21 0 130564266 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 6 0 0 0 [pid=10911/tid=10926] ppid=10909 vsize=1534488 CPUtime=0.62 /proc/10911/task/10926/stat : 10926 (java) R 10909 10911 9712 0 -1 4202560 924 0 0 0 62 0 0 0 15 0 21 0 130564266 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 106262179 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=10911/tid=10927] ppid=10909 vsize=1534488 CPUtime=0.65 /proc/10911/task/10927/stat : 10927 (java) R 10909 10911 9712 0 -1 4202560 1502 0 0 0 65 0 0 0 15 0 21 0 130564266 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 103861690 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=10911/tid=10928] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10928/stat : 10928 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 21 0 130564266 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 1 0 0 0 [pid=10911/tid=10929] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10929/stat : 10929 (java) S 10909 10911 9712 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 21 0 130564266 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10932] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10932/stat : 10932 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 21 0 130564298 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 2 0 0 0 [pid=10911/tid=10933] ppid=10909 vsize=1534488 CPUtime=0 /proc/10911/task/10933/stat : 10933 (java) S 10909 10911 9712 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 21 0 130564298 1571315712 40987 4089446400 134512640 134550932 4294112384 18446744073709551615 4294960144 0 4 0 16800975 18446604471094073536 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 19.67 Current children cumulated vsize (KiB) 1534488 Child status: 30 Real time (s): 12.4377 CPU time (s): 19.732 CPU user time (s): 19.663 CPU system time (s): 0.068989 CPU usage (%): 158.647 Max. virtual memory (cumulated for all children) (KiB): 1534840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19.663 system time used= 0.068989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42665 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= 607 involuntary context switches= 459 runsolver used 0.029995 second user time and 0.045993 second system time The end
Begin job on node133 at 2010-06-30 12:11:27 IDJOB=2694483 IDBENCH=78716 IDSOLVER=1207 FILE ID=node133/2694483-1277892687 PBS_JOBID= 11197088 Free space on /tmp= 74208 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694483-1277892687/watcher-2694483-1277892687 -o /tmp/evaluation-result-2694483-1277892687/solver-2694483-1277892687 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694483-1277892687.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f95aa45daecbcbe8d128ff4aa3d1714 RANDOM SEED=1612682934 node133.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.821 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.64 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.821 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.75 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.821 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.82 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.821 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 : 7296.74 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.821 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.74 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.821 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.74 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.821 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.821 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31563792 kB Buffers: 174168 kB Cached: 963800 kB SwapCached: 0 kB Active: 609236 kB Inactive: 637372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31563792 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 768 kB Writeback: 0 kB AnonPages: 108752 kB Mapped: 15420 kB Slab: 78696 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 251796 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node133 at 2010-06-30 12:11:39