| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | -2 | 1800.44 | 899.523 |
| Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb |
| MD5SUM | 64d4edb5594d01918b916e348b224fe7 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -2 |
| Best CPU time to get the best result obtained on this benchmark | 1800.38 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -2 |
| Optimality of the best value was proved | NO |
| Number of variables | 10151 |
| Total number of constraints | 29821 |
| Number of constraints which are clauses | 29820 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 9940 |
| Number of terms in the objective function | 71 |
| Biggest coefficient in the objective function | 1180591620717411303424 |
| Number of bits for the biggest coefficient in the objective function | 71 |
| Sum of the numbers in the objective function | 2361183241434822606847 |
| Number of bits of the sum of numbers in the objective function | 71 |
| Biggest number in a constraint | 822752278660603021077484591278675252491367932816789931674304512 |
| Number of bits of the biggest number in a constraint | 210 |
| Biggest sum of numbers in a constraint | 3291009114642412084308654416646809277848400271660251117497592779 |
| Number of bits of the biggest sum of numbers | 211 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 9996466904 0.02/0.09 c Max memory 10048897024 0.02/0.09 c Total memory 10048897024 0.02/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3454463-1307193129.opb 0.10/0.12 c reading problem ... 1.09/0.64 c ... done. Wall clock time 0.52s. 1.09/0.64 c #vars 10151 1.09/0.64 c #constraints 32520 1.09/0.64 c constraints type 1.09/0.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9940 1.09/0.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19880 1.09/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1.09/0.64 c constraints type 1.09/0.64 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19880 1.09/0.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 9940 1.09/0.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 214.80/106.79 c cleaning 2499 clauses out of 5000 with flag 5000/5000 467.14/232.87 c cleaning 4250 clauses out of 8501 with flag 11000/11000 483.46/241.01 c And the winner is CuttingPlanes 483.46/241.06 c SATISFIABLE 483.46/241.06 c OPTIMIZING... 483.46/241.06 c Got one! Elapsed wall clock time (in seconds):240.946 483.46/241.06 o -2 679.12/338.73 c cleaning 4960 clauses out of 9948 with flag 5000/16697 935.48/466.92 c cleaning 5490 clauses out of 10988 with flag 11000/22697 1172.21/585.33 c cleaning 6241 clauses out of 12498 with flag 18000/29697 1427.32/712.90 c cleaning 7126 clauses out of 14258 with flag 26001/37698 1658.90/828.70 c cleaning 8061 clauses out of 16131 with flag 35000/46697 1800.10/899.32 c starts : 2 1800.10/899.32 c conflicts : 164 1800.10/899.32 c decisions : 35943 1800.10/899.32 c propagations : 433825 1800.10/899.32 c inspects : 22954318 1800.10/899.32 c shortcuts : 0 1800.10/899.32 c learnt literals : 0 1800.10/899.32 c learnt binary clauses : 0 1800.10/899.32 c learnt ternary clauses : 0 1800.10/899.32 c learnt constraints : 163 1800.10/899.32 c ignored constraints : 0 1800.10/899.32 c root simplifications : 0 1800.10/899.32 c removed literals (reason simplification) : 0 1800.10/899.32 c reason swapping (by a shorter reason) : 0 1800.10/899.32 c Calls to reduceDB : 0 1800.10/899.32 c number of reductions to clauses (during analyze) : 0 1800.10/899.32 c number of learned constraints concerned by reduction : 0 1800.10/899.32 c number of learning phase by resolution : 0 1800.10/899.32 c number of learning phase by cutting planes : 0 1800.10/899.32 c speed (assignments/second) : 659.0531025210595 1800.10/899.32 c non guided choices 5 1800.10/899.32 c learnt constraints type 1800.10/899.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 163 1800.10/899.32 c constraints type 1800.10/899.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9940 1800.10/899.32 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19880 1800.10/899.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.10/899.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.10/899.32 c constraints type 1800.10/899.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19880 1800.10/899.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 9940 1800.10/899.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3 1800.10/899.32 s SATISFIABLE 1800.10/899.34 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 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 1800.10/899.35 c objective function=-2 1800.10/899.35 c Total wall clock time (in seconds): 899.231
OK -2
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454463-1307193129/watcher-3454463-1307193129 -o /tmp/evaluation-result-3454463-1307193129/solver-3454463-1307193129 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454463-1307193129.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.62 2.47 3.18 2/530 20598 /proc/meminfo: memFree=25085364/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 3462 0 1 0 0 0 0 0 18 0 2 0 811729122 10694979584 3164 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2611079 3178 917 9 0 2602235 0 [pid=20598/tid=20601] ppid=20596 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) R 20596 20598 16282 0 -1 4202560 6148 0 1 0 0 0 0 0 18 0 2 0 811729122 10694979584 6964 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0356961 s] /proc/loadavg: 1.62 2.47 3.18 2/530 20598 /proc/meminfo: memFree=25085364/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10465424 CPUtime=0.02 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 10909 0 1 0 2 0 0 0 18 0 11 0 811729122 10716594176 10607 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2616356 10621 1579 9 0 2607104 0 [pid=20598/tid=20601] ppid=20596 vsize=10465424 CPUtime=0.01 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) R 20596 20598 16282 0 -1 4202560 9804 0 1 0 1 0 0 0 19 0 11 0 811729122 10716594176 10628 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 47981073609328 0 4 0 16784584 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10465424 [startup+0.104726 s] /proc/loadavg: 1.62 2.47 3.18 2/530 20598 /proc/meminfo: memFree=25085364/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10539952 CPUtime=0.1 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 12948 0 1 0 9 1 0 0 18 0 18 0 811729122 10792910848 12644 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2634988 12644 2092 9 0 2625722 0 [pid=20598/tid=20601] ppid=20596 vsize=10539952 CPUtime=0.08 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) R 20596 20598 16282 0 -1 4202560 11094 0 1 0 7 1 0 0 18 0 18 0 811729122 10792910848 12644 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912496203607 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539952 [startup+0.304649 s] /proc/loadavg: 1.62 2.47 3.18 2/530 20598 /proc/meminfo: memFree=25085364/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10542104 CPUtime=0.46 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 15942 0 1 0 45 1 0 0 18 0 18 0 811729122 10795114496 15400 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2635526 15401 2199 9 0 2626260 0 [pid=20598/tid=20601] ppid=20596 vsize=10542104 CPUtime=0.28 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) R 20596 20598 16282 0 -1 4202560 12946 0 1 0 27 1 0 0 18 0 18 0 811729122 10795114496 15401 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 47981077773139 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 10542104 [startup+0.700542 s] /proc/loadavg: 1.62 2.47 3.18 2/530 20598 /proc/meminfo: memFree=25085364/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10550308 CPUtime=1.39 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 39708 0 1 0 134 5 0 0 18 0 22 0 811729122 10803515392 37171 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2637577 37171 2228 9 0 2628311 0 [pid=20598/tid=20601] ppid=20596 vsize=10550308 CPUtime=0.62 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) S 20596 20598 16282 0 -1 4202560 32337 0 1 0 58 4 0 0 19 0 22 0 811729122 10803515392 37171 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 10550308 [startup+1.50143 s] /proc/loadavg: 1.62 2.47 3.18 6/575 20647 /proc/meminfo: memFree=24758636/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10550308 CPUtime=3.52 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 48127 0 1 0 346 6 0 0 18 0 22 0 811729122 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2637577 45450 2239 9 0 2628311 0 [pid=20598/tid=20601] ppid=20596 vsize=10550308 CPUtime=0.62 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) S 20596 20598 16282 0 -1 4202560 32337 0 1 0 58 4 0 0 15 0 22 0 811729122 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20607] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20607/stat : 20607 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811729124 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20608] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20608/stat : 20608 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20609] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20609/stat : 20609 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20610] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20610/stat : 20610 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20611] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20611/stat : 20611 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20612] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20612/stat : 20612 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20613] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20613/stat : 20613 (java) S 20596 20598 16282 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 811729124 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20614] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20614/stat : 20614 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811729124 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20624] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20624/stat : 20624 (java) S 20596 20598 16282 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 811729125 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 0 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20626] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20626/stat : 20626 (java) S 20596 20598 16282 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 811729126 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20627] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20627/stat : 20627 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811729126 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20630] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20630/stat : 20630 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811729128 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051478961 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20631] ppid=20596 vsize=10550308 CPUtime=0.59 cores=1,3,5,7 /proc/20598/task/20631/stat : 20631 (java) S 20596 20598 16282 0 -1 4202560 2922 0 0 0 59 0 0 0 15 0 22 0 811729128 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20632] ppid=20596 vsize=10550308 CPUtime=0.58 cores=1,3,5,7 /proc/20598/task/20632/stat : 20632 (java) S 20596 20598 16282 0 -1 4202560 3094 0 0 0 58 0 0 0 15 0 22 0 811729128 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20633] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20633/stat : 20633 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729128 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20634] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20634/stat : 20634 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811729128 10803515392 45450 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20640] ppid=20596 vsize=10550308 CPUtime=0.85 cores=1,3,5,7 /proc/20598/task/20640/stat : 20640 (java) R 20596 20598 16282 0 -1 4202560 900 0 0 0 85 0 0 0 22 0 22 0 811729186 10803515392 45451 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505979359 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20598/tid=20641] ppid=20596 vsize=10550308 CPUtime=0.84 cores=1,3,5,7 /proc/20598/task/20641/stat : 20641 (java) R 20596 20598 16282 0 -1 4202560 7706 0 0 0 84 0 0 0 25 0 22 0 811729186 10803515392 45451 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505859498 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20598/tid=20642] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20642/stat : 20642 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811729188 10803515392 45452 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 5 0 0 0 [pid=20598/tid=20643] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20643/stat : 20643 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811729188 10803515392 45457 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.52 Current children cumulated vsize (KiB) 10550308 [startup+3.10117 s] /proc/loadavg: 1.73 2.48 3.18 4/554 20653 /proc/meminfo: memFree=24880448/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10550308 CPUtime=6.88 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 82378 0 1 0 678 10 0 0 18 0 22 0 811729122 10803515392 78504 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2637577 78512 2239 9 0 2628311 0 [pid=20598/tid=20601] ppid=20596 vsize=10550308 CPUtime=0.62 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) S 20596 20598 16282 0 -1 4202560 32337 0 1 0 58 4 0 0 15 0 22 0 811729122 10803515392 78518 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20607] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20607/stat : 20607 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811729124 10803515392 78523 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20608] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20608/stat : 20608 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 78528 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20609] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20609/stat : 20609 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 78534 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20610] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20610/stat : 20610 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 78540 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20611] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20611/stat : 20611 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 78545 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20612] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20612/stat : 20612 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10803515392 78551 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20613] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20613/stat : 20613 (java) S 20596 20598 16282 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 811729124 10803515392 78556 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20614] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20614/stat : 20614 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811729124 10803515392 78561 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20624] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20624/stat : 20624 (java) S 20596 20598 16282 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 811729125 10803515392 78567 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 0 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20626] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20626/stat : 20626 (java) S 20596 20598 16282 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 811729126 10803515392 78573 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20627] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20627/stat : 20627 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811729126 10803515392 78579 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20630] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20630/stat : 20630 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811729128 10803515392 78584 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051478961 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20631] ppid=20596 vsize=10550308 CPUtime=0.66 cores=1,3,5,7 /proc/20598/task/20631/stat : 20631 (java) S 20596 20598 16282 0 -1 4202560 2935 0 0 0 66 0 0 0 15 0 22 0 811729128 10803515392 78589 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20632] ppid=20596 vsize=10550308 CPUtime=0.66 cores=1,3,5,7 /proc/20598/task/20632/stat : 20632 (java) S 20596 20598 16282 0 -1 4202560 4300 0 0 0 66 0 0 0 15 0 22 0 811729128 10803515392 78595 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20633] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20633/stat : 20633 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729128 10803515392 78601 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20634] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20634/stat : 20634 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811729128 10803515392 78606 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20640] ppid=20596 vsize=10550308 CPUtime=2.45 cores=1,3,5,7 /proc/20598/task/20640/stat : 20640 (java) R 20596 20598 16282 0 -1 4202560 1894 0 0 0 245 0 0 0 25 0 22 0 811729186 10803515392 78613 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505774058 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20598/tid=20641] ppid=20596 vsize=10550308 CPUtime=2.44 cores=1,3,5,7 /proc/20598/task/20641/stat : 20641 (java) R 20596 20598 16282 0 -1 4202560 39856 0 0 0 240 4 0 0 25 0 22 0 811729186 10803515392 78618 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505774058 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20598/tid=20642] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20642/stat : 20642 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811729188 10803515392 78623 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 5 0 0 0 [pid=20598/tid=20643] ppid=20596 vsize=10550308 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20643/stat : 20643 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811729188 10803515392 78629 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 6.88 Current children cumulated vsize (KiB) 10550308 [startup+6.30158 s] /proc/loadavg: 1.73 2.48 3.18 4/574 20745 /proc/meminfo: memFree=23194908/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10549392 CPUtime=13.35 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 598338 0 1 0 1269 66 0 0 18 0 22 0 811729122 10802577408 594052 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2637348 594062 2239 9 0 2628082 0 [pid=20598/tid=20601] ppid=20596 vsize=10549392 CPUtime=0.62 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) S 20596 20598 16282 0 -1 4202560 32337 0 1 0 58 4 0 0 15 0 22 0 811729122 10802577408 594067 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20607] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20607/stat : 20607 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811729124 10802577408 594072 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20608] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20608/stat : 20608 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10802577408 594078 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20609] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20609/stat : 20609 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10802577408 594083 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20610] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20610/stat : 20610 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10802577408 594089 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20611] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20611/stat : 20611 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10802577408 594094 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20612] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20612/stat : 20612 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729124 10802577408 594100 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20613] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20613/stat : 20613 (java) S 20596 20598 16282 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 811729124 10802577408 594105 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20614] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20614/stat : 20614 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811729124 10802577408 594110 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 ################ # More data... # ################ /proc/20598/task/20609/stat : 20609 (java) S 20596 20598 16282 0 -1 4202560 14894 0 0 0 32 1 0 0 16 0 22 0 811729124 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20610] ppid=20596 vsize=10549392 CPUtime=0.35 cores=1,3,5,7 /proc/20598/task/20610/stat : 20610 (java) S 20596 20598 16282 0 -1 4202560 17096 0 0 0 33 2 0 0 16 0 22 0 811729124 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20611] ppid=20596 vsize=10549392 CPUtime=0.33 cores=1,3,5,7 /proc/20598/task/20611/stat : 20611 (java) S 20596 20598 16282 0 -1 4202560 19498 0 0 0 31 2 0 0 15 0 22 0 811729124 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 5 0 0 0 [pid=20598/tid=20612] ppid=20596 vsize=10549392 CPUtime=0.38 cores=1,3,5,7 /proc/20598/task/20612/stat : 20612 (java) S 20596 20598 16282 0 -1 4202560 21019 0 0 0 36 2 0 0 15 0 22 0 811729124 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20613] ppid=20596 vsize=10549392 CPUtime=0.3 cores=1,3,5,7 /proc/20598/task/20613/stat : 20613 (java) S 20596 20598 16282 0 -1 4202560 14630 0 0 0 28 2 0 0 16 0 22 0 811729124 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20614] ppid=20596 vsize=10549392 CPUtime=0.38 cores=1,3,5,7 /proc/20598/task/20614/stat : 20614 (java) S 20596 20598 16282 0 -1 4202560 25536 0 0 0 36 2 0 0 15 0 22 0 811729124 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20624] ppid=20596 vsize=10549392 CPUtime=0.87 cores=1,3,5,7 /proc/20598/task/20624/stat : 20624 (java) S 20596 20598 16282 0 -1 4202560 1396 0 0 0 87 0 0 0 15 0 22 0 811729125 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 0 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20626] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20626/stat : 20626 (java) S 20596 20598 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811729126 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20627] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20627/stat : 20627 (java) S 20596 20598 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811729126 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20630] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20630/stat : 20630 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811729128 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051478961 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20631] ppid=20596 vsize=10549392 CPUtime=0.91 cores=1,3,5,7 /proc/20598/task/20631/stat : 20631 (java) S 20596 20598 16282 0 -1 4202560 2947 0 0 0 91 0 0 0 15 0 22 0 811729128 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20632] ppid=20596 vsize=10549392 CPUtime=1.11 cores=1,3,5,7 /proc/20598/task/20632/stat : 20632 (java) S 20596 20598 16282 0 -1 4202560 5246 0 0 0 111 0 0 0 15 0 22 0 811729128 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20633] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20633/stat : 20633 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729128 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20634] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20634/stat : 20634 (java) S 20596 20598 16282 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 811729128 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20643] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20643/stat : 20643 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811729188 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20756] ppid=20596 vsize=10549392 CPUtime=580.06 cores=1,3,5,7 /proc/20598/task/20756/stat : 20756 (java) R 20596 20598 16282 0 -1 4202560 17 0 0 0 58006 0 0 0 25 0 22 0 811753229 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505846805 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20598/tid=20757] ppid=20596 vsize=10549392 CPUtime=580.05 cores=1,3,5,7 /proc/20598/task/20757/stat : 20757 (java) R 20596 20598 16282 0 -1 4202560 41 0 0 0 58005 0 0 0 25 0 22 0 811753229 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505846944 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20598/tid=20758] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20758/stat : 20758 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811753229 10802577408 981797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1646.1 Current children cumulated vsize (KiB) 10549392 [startup+882.301 s] /proc/loadavg: 4.01 3.99 3.72 5/578 20778 /proc/meminfo: memFree=17431608/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10549392 CPUtime=1766 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 999233 0 1 0 176488 112 0 0 18 0 22 0 811729122 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2637348 990506 2269 9 0 2628082 0 [pid=20598/tid=20601] ppid=20596 vsize=10549392 CPUtime=0.63 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) S 20596 20598 16282 0 -1 4202560 32347 0 1 0 59 4 0 0 15 0 22 0 811729122 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20607] ppid=20596 vsize=10549392 CPUtime=0.28 cores=1,3,5,7 /proc/20598/task/20607/stat : 20607 (java) S 20596 20598 16282 0 -1 4202560 12222 0 0 0 27 1 0 0 15 0 22 0 811729124 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20608] ppid=20596 vsize=10549392 CPUtime=0.36 cores=1,3,5,7 /proc/20598/task/20608/stat : 20608 (java) S 20596 20598 16282 0 -1 4202560 18421 0 0 0 35 1 0 0 15 0 22 0 811729124 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20609] ppid=20596 vsize=10549392 CPUtime=0.34 cores=1,3,5,7 /proc/20598/task/20609/stat : 20609 (java) S 20596 20598 16282 0 -1 4202560 16182 0 0 0 33 1 0 0 15 0 22 0 811729124 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20610] ppid=20596 vsize=10549392 CPUtime=0.38 cores=1,3,5,7 /proc/20598/task/20610/stat : 20610 (java) S 20596 20598 16282 0 -1 4202560 18230 0 0 0 36 2 0 0 16 0 22 0 811729124 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20611] ppid=20596 vsize=10549392 CPUtime=0.36 cores=1,3,5,7 /proc/20598/task/20611/stat : 20611 (java) S 20596 20598 16282 0 -1 4202560 20601 0 0 0 34 2 0 0 16 0 22 0 811729124 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 5 0 0 0 [pid=20598/tid=20612] ppid=20596 vsize=10549392 CPUtime=0.4 cores=1,3,5,7 /proc/20598/task/20612/stat : 20612 (java) S 20596 20598 16282 0 -1 4202560 22065 0 0 0 38 2 0 0 16 0 22 0 811729124 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20613] ppid=20596 vsize=10549392 CPUtime=0.33 cores=1,3,5,7 /proc/20598/task/20613/stat : 20613 (java) S 20596 20598 16282 0 -1 4202560 16119 0 0 0 31 2 0 0 16 0 22 0 811729124 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20614] ppid=20596 vsize=10549392 CPUtime=0.39 cores=1,3,5,7 /proc/20598/task/20614/stat : 20614 (java) S 20596 20598 16282 0 -1 4202560 25590 0 0 0 37 2 0 0 15 0 22 0 811729124 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20624] ppid=20596 vsize=10549392 CPUtime=1.05 cores=1,3,5,7 /proc/20598/task/20624/stat : 20624 (java) S 20596 20598 16282 0 -1 4202560 1720 0 0 0 105 0 0 0 15 0 22 0 811729125 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 0 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20626] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20626/stat : 20626 (java) S 20596 20598 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811729126 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20627] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20627/stat : 20627 (java) S 20596 20598 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811729126 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20630] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20630/stat : 20630 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811729128 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051478961 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20631] ppid=20596 vsize=10549392 CPUtime=0.91 cores=1,3,5,7 /proc/20598/task/20631/stat : 20631 (java) S 20596 20598 16282 0 -1 4202560 2947 0 0 0 91 0 0 0 15 0 22 0 811729128 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20632] ppid=20596 vsize=10549392 CPUtime=1.11 cores=1,3,5,7 /proc/20598/task/20632/stat : 20632 (java) S 20596 20598 16282 0 -1 4202560 5246 0 0 0 111 0 0 0 15 0 22 0 811729128 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20633] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20633/stat : 20633 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729128 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20634] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20634/stat : 20634 (java) S 20596 20598 16282 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811729128 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20643] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20643/stat : 20643 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811729188 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20756] ppid=20596 vsize=10549392 CPUtime=639.83 cores=1,3,5,7 /proc/20598/task/20756/stat : 20756 (java) R 20596 20598 16282 0 -1 4202560 19 0 0 0 63983 0 0 0 25 0 22 0 811753229 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505846294 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20598/tid=20757] ppid=20596 vsize=10549392 CPUtime=639.82 cores=1,3,5,7 /proc/20598/task/20757/stat : 20757 (java) R 20596 20598 16282 0 -1 4202560 45 0 0 0 63982 0 0 0 25 0 22 0 811753229 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505770549 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20598/tid=20758] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20758/stat : 20758 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811753229 10802577408 990506 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1766 Current children cumulated vsize (KiB) 10549392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.301 s] /proc/loadavg: 4.00 3.99 3.73 5/578 20779 /proc/meminfo: memFree=17378016/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=10549392 CPUtime=1800.1 cores=1,3,5,7 /proc/20598/stat : 20598 (java) S 20596 20598 16282 0 -1 4202496 1013032 0 1 0 179897 113 0 0 18 0 22 0 811729122 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 2637348 1003797 2269 9 0 2628082 0 [pid=20598/tid=20601] ppid=20596 vsize=10549392 CPUtime=0.63 cores=1,3,5,7 /proc/20598/task/20601/stat : 20601 (java) S 20596 20598 16282 0 -1 4202560 32347 0 1 0 59 4 0 0 15 0 22 0 811729122 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20607] ppid=20596 vsize=10549392 CPUtime=0.3 cores=1,3,5,7 /proc/20598/task/20607/stat : 20607 (java) S 20596 20598 16282 0 -1 4202560 12395 0 0 0 29 1 0 0 15 0 22 0 811729124 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20608] ppid=20596 vsize=10549392 CPUtime=0.38 cores=1,3,5,7 /proc/20598/task/20608/stat : 20608 (java) S 20596 20598 16282 0 -1 4202560 19140 0 0 0 36 2 0 0 15 0 22 0 811729124 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20609] ppid=20596 vsize=10549392 CPUtime=0.37 cores=1,3,5,7 /proc/20598/task/20609/stat : 20609 (java) S 20596 20598 16282 0 -1 4202560 19201 0 0 0 35 2 0 0 15 0 22 0 811729124 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 5 0 0 0 [pid=20598/tid=20610] ppid=20596 vsize=10549392 CPUtime=0.42 cores=1,3,5,7 /proc/20598/task/20610/stat : 20610 (java) S 20596 20598 16282 0 -1 4202560 22667 0 0 0 40 2 0 0 16 0 22 0 811729124 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20611] ppid=20596 vsize=10549392 CPUtime=0.38 cores=1,3,5,7 /proc/20598/task/20611/stat : 20611 (java) S 20596 20598 16282 0 -1 4202560 21763 0 0 0 36 2 0 0 16 0 22 0 811729124 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20612] ppid=20596 vsize=10549392 CPUtime=0.43 cores=1,3,5,7 /proc/20598/task/20612/stat : 20612 (java) S 20596 20598 16282 0 -1 4202560 23320 0 0 0 41 2 0 0 16 0 22 0 811729124 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 5 0 0 0 [pid=20598/tid=20613] ppid=20596 vsize=10549392 CPUtime=0.34 cores=1,3,5,7 /proc/20598/task/20613/stat : 20613 (java) S 20596 20598 16282 0 -1 4202560 16419 0 0 0 32 2 0 0 15 0 22 0 811729124 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20614] ppid=20596 vsize=10549392 CPUtime=0.42 cores=1,3,5,7 /proc/20598/task/20614/stat : 20614 (java) S 20596 20598 16282 0 -1 4202560 28317 0 0 0 39 3 0 0 16 0 22 0 811729124 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20624] ppid=20596 vsize=10549392 CPUtime=1.05 cores=1,3,5,7 /proc/20598/task/20624/stat : 20624 (java) S 20596 20598 16282 0 -1 4202560 1722 0 0 0 105 0 0 0 15 0 22 0 811729125 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 0 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20626] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20626/stat : 20626 (java) S 20596 20598 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811729126 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20627] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20627/stat : 20627 (java) S 20596 20598 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811729126 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20630] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20630/stat : 20630 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811729128 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051478961 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20631] ppid=20596 vsize=10549392 CPUtime=0.91 cores=1,3,5,7 /proc/20598/task/20631/stat : 20631 (java) S 20596 20598 16282 0 -1 4202560 2947 0 0 0 91 0 0 0 15 0 22 0 811729128 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 [pid=20598/tid=20632] ppid=20596 vsize=10549392 CPUtime=1.11 cores=1,3,5,7 /proc/20598/task/20632/stat : 20632 (java) S 20596 20598 16282 0 -1 4202560 5246 0 0 0 111 0 0 0 15 0 22 0 811729128 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20633] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20633/stat : 20633 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 811729128 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471257 0 4 0 16800975 18446604470139330624 0 0 -1 3 0 0 0 [pid=20598/tid=20634] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20634/stat : 20634 (java) S 20596 20598 16282 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811729128 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20643] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20643/stat : 20643 (java) S 20596 20598 16282 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811729188 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 1 0 0 0 [pid=20598/tid=20756] ppid=20596 vsize=10549392 CPUtime=656.79 cores=1,3,5,7 /proc/20598/task/20756/stat : 20756 (java) R 20596 20598 16282 0 -1 4202560 20 0 0 0 65679 0 0 0 25 0 22 0 811753229 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912505770549 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20598/tid=20757] ppid=20596 vsize=10549392 CPUtime=656.78 cores=1,3,5,7 /proc/20598/task/20757/stat : 20757 (java) R 20596 20598 16282 0 -1 4202560 49 0 0 0 65678 0 0 0 25 0 22 0 811753229 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 46912506082498 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20598/tid=20758] ppid=20596 vsize=10549392 CPUtime=0 cores=1,3,5,7 /proc/20598/task/20758/stat : 20758 (java) S 20596 20598 16282 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 811753229 10802577408 1003797 33554432000 1073741824 1073778376 140733746488096 18446744073709551615 212051471872 0 4 0 16800975 18446604470139330624 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 10549392 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+899.427 s] /proc/loadavg: 4.00 3.99 3.73 5/578 20779 /proc/meminfo: memFree=17378016/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=0 CPUtime=1800.33 cores=1,3,5,7 /proc/20598/stat : 20598 (java) Z 20596 20598 16282 0 -1 4203548 1013067 0 1 0 179915 118 0 0 17 0 2 0 811729122 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 0 0 0 0 0 0 0 [pid=20598/tid=20756] ppid=20596 vsize=0 CPUtime=656.86 cores=1,3,5,7 /proc/20598/task/20756/stat : 20756 (java) R 20596 20598 16282 0 -1 4203588 20 0 0 0 65682 4 0 0 25 0 2 0 811753229 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 [startup+899.501 s] /proc/loadavg: 4.00 3.99 3.73 5/578 20779 /proc/meminfo: memFree=17378016/32951124 swapFree=46970528/67111528 [pid=20598] ppid=20596 vsize=0 CPUtime=1800.4 cores=1,3,5,7 /proc/20598/stat : 20598 (java) Z 20596 20598 16282 0 -1 4203548 1013067 0 1 0 179915 125 0 0 17 0 2 0 811729122 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/20598/statm: 0 0 0 0 0 0 0 [pid=20598/tid=20756] ppid=20596 vsize=0 CPUtime=656.93 cores=1,3,5,7 /proc/20598/task/20756/stat : 20756 (java) R 20596 20598 16282 0 -1 4203588 20 0 0 0 65682 11 0 0 25 0 2 0 811753229 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 899.523 CPU time (s): 1800.44 CPU user time (s): 1799.16 CPU system time (s): 1.27981 CPU usage (%): 200.155 Max. virtual memory (cumulated for all children) (KiB): 10550308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.16 system time used= 1.27981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1013067 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= 23979 involuntary context switches= 14161 runsolver used 4.63729 second user time and 11.7202 second system time The end
Begin job on node146 at 2011-06-04 15:12:09 IDJOB=3454463 IDBENCH=3003 IDSOLVER=1950 FILE ID=node146/3454463-1307193129 RUNJOBID= node146-1307193128-20585 PBS_JOBID= 13508858 Free space on /tmp= 73780 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454463-1307193129/watcher-3454463-1307193129 -o /tmp/evaluation-result-3454463-1307193129/solver-3454463-1307193129 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454463-1307193129.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 64d4edb5594d01918b916e348b224fe7 RANDOM SEED=1391608889 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25085636 kB Buffers: 176784 kB Cached: 311344 kB SwapCached: 60452 kB Active: 259828 kB Inactive: 7360896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25085636 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 7083048 kB Mapped: 15980 kB Slab: 77120 kB PageTables: 97496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160673280 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73760 MiB End job on node146 at 2011-06-04 15:27:10