Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 71837 | 1800.5 | 903.429 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_100_3__3_91__32.opb |
MD5SUM | db1ffcf75e0c0509e6672a8f0ce9b1bb |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 71837 |
Best CPU time to get the best result obtained on this benchmark | 1800.5 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 9698 |
Total number of constraints | 400 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 302 |
Number of constraints which are nor clauses,nor cardinality constraints | 98 |
Minimum length of a constraint | 32 |
Maximum length of a constraint | 545 |
Number of terms in the objective function | 9600 |
Biggest coefficient in the objective function | 94834 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 346461024 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 94834 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 346461024 |
Number of bits of the biggest sum of numbers | 29 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 9996466904 0.06/0.09 c Max memory 10048897024 0.06/0.09 c Total memory 10048897024 0.06/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@48e5855a 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@398020cc 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-3455390-1307196433.opb 0.10/0.12 c reading problem ... 1.11/0.50 c ... done. Wall clock time 0.385s. 1.11/0.50 c #vars 9698 1.11/0.50 c #constraints 500 1.11/0.50 c constraints type 1.11/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2 1.11/0.50 c org.sat4j.minisat.constraints.card.MinWatchCard => 302 1.11/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 196 1.11/0.50 c constraints type 1.11/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2 1.11/0.50 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 302 1.11/0.50 c org.sat4j.pb.constraints.pb.MaxWatchPb => 196 2.93/1.10 c And the winner is Resolution 3.17/1.56 c SATISFIABLE 3.17/1.56 c OPTIMIZING... 3.17/1.56 c Got one! Elapsed wall clock time (in seconds):1.446 3.17/1.56 o 152016 110.73/55.05 c cleaning 2969 clauses out of 5950 with flag 4016/5950 291.52/145.42 c cleaning 4442 clauses out of 8965 with flag 10000/11934 464.14/231.79 c cleaning 5756 clauses out of 11528 with flag 17005/18939 650.45/324.98 c cleaning 6890 clauses out of 13790 with flag 25023/26957 824.54/412.05 c cleaning 7945 clauses out of 15900 with flag 34023/35957 987.86/493.78 c And the winner is Resolution 990.11/495.95 c Got one! Elapsed wall clock time (in seconds):495.832 990.11/495.95 o 148636 994.48/498.13 c cleaning 10570 clauses out of 21162 with flag 5014/49164 998.17/500.02 c And the winner is Resolution 998.31/500.52 c Got one! Elapsed wall clock time (in seconds):500.405 998.31/500.52 o 142465 1003.89/503.32 c cleaning 8113 clauses out of 16303 with flag 5007/54875 1013.77/508.32 c And the winner is Resolution 1013.89/508.61 c Got one! Elapsed wall clock time (in seconds):508.493 1013.89/508.61 o 140742 1046.33/524.82 c And the winner is CuttingPlanes 1046.41/525.23 c Got one! Elapsed wall clock time (in seconds):525.11 1046.41/525.23 o 72735 1088.73/546.32 c cleaning 7007 clauses out of 14115 with flag 1000/60800 1263.79/633.98 c cleaning 6463 clauses out of 13110 with flag 7002/66802 1443.57/723.69 c And the winner is Resolution 1446.57/726.58 c Got one! Elapsed wall clock time (in seconds):726.465 1446.57/726.58 o 71837 1558.34/782.42 c cleaning 8613 clauses out of 17321 with flag 5005/77477 1771.64/888.90 c cleaning 7291 clauses out of 14704 with flag 11001/83473 1800.12/903.22 c starts : 132 1800.12/903.22 c conflicts : 86489 1800.12/903.22 c decisions : 1434192 1800.12/903.22 c propagations : 61091569 1800.12/903.22 c inspects : 157624740 1800.12/903.22 c shortcuts : 0 1800.12/903.22 c learnt literals : 1 1800.12/903.22 c learnt binary clauses : 16 1800.12/903.22 c learnt ternary clauses : 21 1800.12/903.22 c learnt constraints : 86487 1800.12/903.22 c ignored constraints : 0 1800.12/903.22 c root simplifications : 0 1800.12/903.22 c removed literals (reason simplification) : 3663119 1800.12/903.22 c reason swapping (by a shorter reason) : 0 1800.12/903.22 c Calls to reduceDB : 11 1800.12/903.22 c number of reductions to clauses (during analyze) : 0 1800.12/903.22 c number of learned constraints concerned by reduction : 0 1800.12/903.22 c number of learning phase by resolution : 0 1800.12/903.22 c number of learning phase by cutting planes : 0 1800.12/903.22 c speed (assignments/second) : 345878.99358535215 1800.12/903.22 c non guided choices 135168 1800.12/903.23 c learnt constraints type 1800.12/903.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 16 1800.12/903.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10417 1800.12/903.23 c constraints type 1800.12/903.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2 1800.12/903.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 302 1800.12/903.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 197 1800.12/903.23 c constraints type 1800.12/903.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2 1800.12/903.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 302 1800.12/903.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 197 1800.12/903.23 s SATISFIABLE 1800.12/903.27 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 1800.12/903.29 c objective function=71837 1800.12/903.29 c Total wall clock time (in seconds): 903.17
OK 71837
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-3455390-1307196433/watcher-3455390-1307196433 -o /tmp/evaluation-result-3455390-1307196433/solver-3455390-1307196433 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455390-1307196433.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: 2.17 3.26 3.56 2/433 1630 /proc/meminfo: memFree=20671160/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/1630/stat : 1630 (java) R 1628 1630 1598 0 -1 4202496 1007 0 0 0 0 0 0 0 22 0 1 0 831241180 23580672 751 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46940463020800 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/1630/statm: 5757 769 568 9 0 124 0 [pid=1630/tid=1631] ppid=1628 vsize=10430980 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) R 1628 1630 1598 0 -1 4202560 1590 0 1 0 0 0 0 0 23 0 2 0 831241181 10681323520 2406 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.0838021 s] /proc/loadavg: 2.17 3.26 3.56 2/433 1630 /proc/meminfo: memFree=20671160/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 11966 0 1 0 5 1 0 0 22 0 18 0 831241180 10724442112 11662 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2618272 11663 1756 9 0 2609006 0 [pid=1630/tid=1631] ppid=1628 vsize=10473088 CPUtime=0.06 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) R 1628 1630 1598 0 -1 4202560 10791 0 1 0 5 1 0 0 22 0 18 0 831241181 10724442112 11663 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389128139 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10473088 [startup+0.100747 s] /proc/loadavg: 2.17 3.26 3.56 2/433 1630 /proc/meminfo: memFree=20671160/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10539972 CPUtime=0.1 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 12940 0 1 0 9 1 0 0 22 0 18 0 831241180 10792931328 12636 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2634993 12638 2093 9 0 2625727 0 [pid=1630/tid=1631] ppid=1628 vsize=10539972 CPUtime=0.08 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) R 1628 1630 1598 0 -1 4202560 11056 0 1 0 7 1 0 0 22 0 18 0 831241181 10792931328 12638 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46940462253562 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) 10539972 [startup+0.301234 s] /proc/loadavg: 2.17 3.26 3.56 2/433 1630 /proc/meminfo: memFree=20671160/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10546280 CPUtime=0.53 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 18745 0 1 0 51 2 0 0 22 0 18 0 831241180 10799390720 17732 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2636570 17735 2203 9 0 2627304 0 [pid=1630/tid=1631] ppid=1628 vsize=10546280 CPUtime=0.28 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) R 1628 1630 1598 0 -1 4202560 14028 0 1 0 27 1 0 0 18 0 18 0 831241181 10799390720 17736 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46940460221980 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10546280 [startup+0.700639 s] /proc/loadavg: 2.17 3.26 3.56 2/433 1630 /proc/meminfo: memFree=20671160/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10555492 CPUtime=1.88 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 38217 0 1 0 184 4 0 0 22 0 22 0 831241180 10808823808 35135 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2638873 35135 2231 9 0 2629607 0 [pid=1630/tid=1631] ppid=1628 vsize=10555492 CPUtime=0.49 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) S 1628 1630 1598 0 -1 4202560 26636 0 1 0 46 3 0 0 19 0 22 0 831241181 10808823808 35135 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 10555492 [startup+1.50153 s] /proc/loadavg: 2.17 3.26 3.56 4/455 1652 /proc/meminfo: memFree=20440528/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10555492 CPUtime=3.17 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 57108 0 1 0 310 7 0 0 22 0 19 0 831241180 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2638873 54025 2239 9 0 2629607 0 [pid=1630/tid=1631] ppid=1628 vsize=10555492 CPUtime=0.49 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) S 1628 1630 1598 0 -1 4202560 26636 0 1 0 46 3 0 0 15 0 19 0 831241181 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1633] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1633/stat : 1633 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831241183 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1634] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1634/stat : 1634 (java) S 1628 1630 1598 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831241183 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1635] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1635/stat : 1635 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831241183 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1636] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1636/stat : 1636 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831241183 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1637] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1637/stat : 1637 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831241183 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1638] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1638/stat : 1638 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831241183 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1639] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1639/stat : 1639 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831241183 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1640] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1640/stat : 1640 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831241183 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1641] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1641/stat : 1641 (java) S 1628 1630 1598 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 831241184 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 0 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1642] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1642/stat : 1642 (java) S 1628 1630 1598 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831241185 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1643] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1643/stat : 1643 (java) S 1628 1630 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831241185 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1644] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1644/stat : 1644 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831241187 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389125041 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1645] ppid=1628 vsize=10555492 CPUtime=0.71 cores=1,3,5,7 /proc/1630/task/1645/stat : 1645 (java) S 1628 1630 1598 0 -1 4202560 5133 0 0 0 70 1 0 0 19 0 19 0 831241187 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1646] ppid=1628 vsize=10555492 CPUtime=0.76 cores=1,3,5,7 /proc/1630/task/1646/stat : 1646 (java) S 1628 1630 1598 0 -1 4202560 4322 0 0 0 76 0 0 0 17 0 19 0 831241187 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1647] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1647/stat : 1647 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831241187 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1648] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1648/stat : 1648 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831241187 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1651] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1651/stat : 1651 (java) S 1628 1630 1598 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831241238 10808823808 54025 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.17 Current children cumulated vsize (KiB) 10555492 [startup+3.10124 s] /proc/loadavg: 2.17 3.26 3.56 4/455 1655 /proc/meminfo: memFree=20191868/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10555492 CPUtime=6.49 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 172566 0 1 0 631 18 0 0 22 0 22 0 831241180 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2638873 169481 2239 9 0 2629607 0 [pid=1630/tid=1631] ppid=1628 vsize=10555492 CPUtime=0.55 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) S 1628 1630 1598 0 -1 4202560 27793 0 1 0 52 3 0 0 15 0 22 0 831241181 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 [pid=1630/tid=1633] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1633/stat : 1633 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831241183 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1634] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1634/stat : 1634 (java) S 1628 1630 1598 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1635] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1635/stat : 1635 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1636] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1636/stat : 1636 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1637] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1637/stat : 1637 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1638] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1638/stat : 1638 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1639] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1639/stat : 1639 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1640] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1640/stat : 1640 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1641] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1641/stat : 1641 (java) S 1628 1630 1598 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 831241184 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 0 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1642] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1642/stat : 1642 (java) S 1628 1630 1598 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831241185 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1643] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1643/stat : 1643 (java) S 1628 1630 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831241185 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1644] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1644/stat : 1644 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831241187 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389125041 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1645] ppid=1628 vsize=10555492 CPUtime=0.77 cores=1,3,5,7 /proc/1630/task/1645/stat : 1645 (java) S 1628 1630 1598 0 -1 4202560 5136 0 0 0 76 1 0 0 15 0 22 0 831241187 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1646] ppid=1628 vsize=10555492 CPUtime=0.91 cores=1,3,5,7 /proc/1630/task/1646/stat : 1646 (java) S 1628 1630 1598 0 -1 4202560 4342 0 0 0 91 0 0 0 15 0 22 0 831241187 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1647] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1647/stat : 1647 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831241187 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1648] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1648/stat : 1648 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831241187 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1651] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1651/stat : 1651 (java) S 1628 1630 1598 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831241238 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 [pid=1630/tid=1653] ppid=1628 vsize=10555492 CPUtime=1.51 cores=1,3,5,7 /proc/1630/task/1653/stat : 1653 (java) R 1628 1630 1598 0 -1 4202560 382 0 0 0 151 0 0 0 20 0 22 0 831241339 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46912506126594 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1630/tid=1654] ppid=1628 vsize=10555492 CPUtime=1.51 cores=1,3,5,7 /proc/1630/task/1654/stat : 1654 (java) R 1628 1630 1598 0 -1 4202560 113896 0 0 0 141 10 0 0 21 0 22 0 831241339 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46912505967911 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=1630/tid=1655] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1655/stat : 1655 (java) S 1628 1630 1598 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 831241339 10808823808 169481 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 6.49 Current children cumulated vsize (KiB) 10555492 [startup+6.30063 s] /proc/loadavg: 2.40 3.29 3.56 4/475 1678 /proc/meminfo: memFree=19617244/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10555492 CPUtime=12.89 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 180977 0 1 0 1270 19 0 0 22 0 22 0 831241180 10808823808 177834 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2638873 177838 2240 9 0 2629607 0 [pid=1630/tid=1631] ppid=1628 vsize=10555492 CPUtime=0.55 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) S 1628 1630 1598 0 -1 4202560 27793 0 1 0 52 3 0 0 15 0 22 0 831241181 10808823808 177839 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 [pid=1630/tid=1633] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1633/stat : 1633 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 831241183 10808823808 177842 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1634] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1634/stat : 1634 (java) S 1628 1630 1598 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 177845 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1635] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1635/stat : 1635 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 177847 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1636] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1636/stat : 1636 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 177849 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1637] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1637/stat : 1637 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 177853 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1638] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1638/stat : 1638 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 177855 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1639] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1639/stat : 1639 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 177856 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1640] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1640/stat : 1640 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831241183 10808823808 177860 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1641] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1641/stat : 1641 (java) S 1628 1630 1598 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831241184 10808823808 177862 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 0 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1642] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1642/stat : 1642 (java) S 1628 1630 1598 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831241185 10808823808 177864 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1643] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1643/stat : 1643 (java) S 1628 1630 1598 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831241185 10808823808 177867 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 4.08 3.97 3.81 5/479 1721 /proc/meminfo: memFree=10273348/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10555492 CPUtime=1638.4 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 920803 0 1 0 163737 103 0 0 22 0 22 0 831241180 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2638873 907557 2265 9 0 2629607 0 [pid=1630/tid=1631] ppid=1628 vsize=10555492 CPUtime=0.82 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) S 1628 1630 1598 0 -1 4202560 27795 0 1 0 79 3 0 0 15 0 22 0 831241181 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1633] ppid=1628 vsize=10555492 CPUtime=0.21 cores=1,3,5,7 /proc/1630/task/1633/stat : 1633 (java) S 1628 1630 1598 0 -1 4202560 7342 0 0 0 21 0 0 0 16 0 22 0 831241183 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1634] ppid=1628 vsize=10555492 CPUtime=0.25 cores=1,3,5,7 /proc/1630/task/1634/stat : 1634 (java) S 1628 1630 1598 0 -1 4202560 8453 0 0 0 24 1 0 0 16 0 22 0 831241183 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 [pid=1630/tid=1635] ppid=1628 vsize=10555492 CPUtime=0.27 cores=1,3,5,7 /proc/1630/task/1635/stat : 1635 (java) S 1628 1630 1598 0 -1 4202560 11841 0 0 0 26 1 0 0 15 0 22 0 831241183 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1636] ppid=1628 vsize=10555492 CPUtime=0.23 cores=1,3,5,7 /proc/1630/task/1636/stat : 1636 (java) S 1628 1630 1598 0 -1 4202560 4894 0 0 0 23 0 0 0 15 0 22 0 831241183 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1637] ppid=1628 vsize=10555492 CPUtime=0.3 cores=1,3,5,7 /proc/1630/task/1637/stat : 1637 (java) S 1628 1630 1598 0 -1 4202560 11954 0 0 0 29 1 0 0 15 0 22 0 831241183 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1638] ppid=1628 vsize=10555492 CPUtime=0.25 cores=1,3,5,7 /proc/1630/task/1638/stat : 1638 (java) S 1628 1630 1598 0 -1 4202560 11533 0 0 0 24 1 0 0 15 0 22 0 831241183 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1639] ppid=1628 vsize=10555492 CPUtime=0.2 cores=1,3,5,7 /proc/1630/task/1639/stat : 1639 (java) S 1628 1630 1598 0 -1 4202560 7579 0 0 0 19 1 0 0 16 0 22 0 831241183 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1640] ppid=1628 vsize=10555492 CPUtime=0.21 cores=1,3,5,7 /proc/1630/task/1640/stat : 1640 (java) S 1628 1630 1598 0 -1 4202560 7464 0 0 0 21 0 0 0 15 0 22 0 831241183 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1641] ppid=1628 vsize=10555492 CPUtime=1.34 cores=1,3,5,7 /proc/1630/task/1641/stat : 1641 (java) S 1628 1630 1598 0 -1 4202560 1479 0 0 0 133 1 0 0 15 0 22 0 831241184 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 0 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 [pid=1630/tid=1642] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1642/stat : 1642 (java) S 1628 1630 1598 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831241185 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1643] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1643/stat : 1643 (java) S 1628 1630 1598 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 831241185 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1644] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1644/stat : 1644 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831241187 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389125041 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1645] ppid=1628 vsize=10555492 CPUtime=1.98 cores=1,3,5,7 /proc/1630/task/1645/stat : 1645 (java) S 1628 1630 1598 0 -1 4202560 14659 0 0 0 196 2 0 0 16 0 22 0 831241187 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1646] ppid=1628 vsize=10555492 CPUtime=1.31 cores=1,3,5,7 /proc/1630/task/1646/stat : 1646 (java) S 1628 1630 1598 0 -1 4202560 4388 0 0 0 131 0 0 0 15 0 22 0 831241187 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1647] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1647/stat : 1647 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831241187 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1648] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1648/stat : 1648 (java) S 1628 1630 1598 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 831241187 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1710] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1710/stat : 1710 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831293705 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1716] ppid=1628 vsize=10555492 CPUtime=95.47 cores=1,3,5,7 /proc/1630/task/1716/stat : 1716 (java) R 1628 1630 1598 0 -1 4202560 3 0 0 0 9547 0 0 0 25 0 22 0 831313840 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46912506126652 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1630/tid=1717] ppid=1628 vsize=10555492 CPUtime=95.46 cores=1,3,5,7 /proc/1630/task/1717/stat : 1717 (java) R 1628 1630 1598 0 -1 4202560 24 0 0 0 9546 0 0 0 25 0 22 0 831313840 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46912506035986 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1630/tid=1718] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1718/stat : 1718 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831313841 10808823808 907557 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1638.4 Current children cumulated vsize (KiB) 10555492 [startup+882.301 s] /proc/loadavg: 4.15 4.01 3.83 5/479 1722 /proc/meminfo: memFree=10273524/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10555492 CPUtime=1758.43 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 921094 0 1 0 175739 104 0 0 22 0 22 0 831241180 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2638873 907804 2265 9 0 2629607 0 [pid=1630/tid=1631] ppid=1628 vsize=10555492 CPUtime=0.82 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) S 1628 1630 1598 0 -1 4202560 27795 0 1 0 79 3 0 0 15 0 22 0 831241181 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1633] ppid=1628 vsize=10555492 CPUtime=0.23 cores=1,3,5,7 /proc/1630/task/1633/stat : 1633 (java) S 1628 1630 1598 0 -1 4202560 7494 0 0 0 22 1 0 0 16 0 22 0 831241183 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1634] ppid=1628 vsize=10555492 CPUtime=0.26 cores=1,3,5,7 /proc/1630/task/1634/stat : 1634 (java) S 1628 1630 1598 0 -1 4202560 8559 0 0 0 25 1 0 0 16 0 22 0 831241183 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1635] ppid=1628 vsize=10555492 CPUtime=0.28 cores=1,3,5,7 /proc/1630/task/1635/stat : 1635 (java) S 1628 1630 1598 0 -1 4202560 11841 0 0 0 27 1 0 0 15 0 22 0 831241183 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1636] ppid=1628 vsize=10555492 CPUtime=0.24 cores=1,3,5,7 /proc/1630/task/1636/stat : 1636 (java) S 1628 1630 1598 0 -1 4202560 4895 0 0 0 24 0 0 0 15 0 22 0 831241183 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1637] ppid=1628 vsize=10555492 CPUtime=0.31 cores=1,3,5,7 /proc/1630/task/1637/stat : 1637 (java) S 1628 1630 1598 0 -1 4202560 11955 0 0 0 30 1 0 0 16 0 22 0 831241183 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1638] ppid=1628 vsize=10555492 CPUtime=0.26 cores=1,3,5,7 /proc/1630/task/1638/stat : 1638 (java) S 1628 1630 1598 0 -1 4202560 11533 0 0 0 25 1 0 0 15 0 22 0 831241183 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 [pid=1630/tid=1639] ppid=1628 vsize=10555492 CPUtime=0.22 cores=1,3,5,7 /proc/1630/task/1639/stat : 1639 (java) S 1628 1630 1598 0 -1 4202560 7580 0 0 0 21 1 0 0 16 0 22 0 831241183 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1640] ppid=1628 vsize=10555492 CPUtime=0.22 cores=1,3,5,7 /proc/1630/task/1640/stat : 1640 (java) S 1628 1630 1598 0 -1 4202560 7464 0 0 0 22 0 0 0 15 0 22 0 831241183 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1641] ppid=1628 vsize=10555492 CPUtime=1.34 cores=1,3,5,7 /proc/1630/task/1641/stat : 1641 (java) S 1628 1630 1598 0 -1 4202560 1481 0 0 0 133 1 0 0 15 0 22 0 831241184 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 0 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 [pid=1630/tid=1642] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1642/stat : 1642 (java) S 1628 1630 1598 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831241185 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1643] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1643/stat : 1643 (java) S 1628 1630 1598 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 831241185 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1644] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1644/stat : 1644 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831241187 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389125041 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1645] ppid=1628 vsize=10555492 CPUtime=1.98 cores=1,3,5,7 /proc/1630/task/1645/stat : 1645 (java) S 1628 1630 1598 0 -1 4202560 14659 0 0 0 196 2 0 0 16 0 22 0 831241187 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1646] ppid=1628 vsize=10555492 CPUtime=1.31 cores=1,3,5,7 /proc/1630/task/1646/stat : 1646 (java) S 1628 1630 1598 0 -1 4202560 4388 0 0 0 131 0 0 0 15 0 22 0 831241187 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1647] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1647/stat : 1647 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831241187 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1648] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1648/stat : 1648 (java) S 1628 1630 1598 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831241187 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1710] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1710/stat : 1710 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831293705 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1716] ppid=1628 vsize=10555492 CPUtime=155.42 cores=1,3,5,7 /proc/1630/task/1716/stat : 1716 (java) R 1628 1630 1598 0 -1 4202560 18 0 0 0 15542 0 0 0 25 0 22 0 831313840 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46912505945728 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1630/tid=1717] ppid=1628 vsize=10555492 CPUtime=155.42 cores=1,3,5,7 /proc/1630/task/1717/stat : 1717 (java) R 1628 1630 1598 0 -1 4202560 35 0 0 0 15542 0 0 0 25 0 22 0 831313840 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46912505612762 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1630/tid=1718] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1718/stat : 1718 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831313841 10808823808 907804 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1758.43 Current children cumulated vsize (KiB) 10555492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+903.202 s] /proc/loadavg: 4.11 4.00 3.83 5/479 1723 /proc/meminfo: memFree=10245664/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=10555492 CPUtime=1800.12 cores=1,3,5,7 /proc/1630/stat : 1630 (java) S 1628 1630 1598 0 -1 4202496 922979 0 1 0 179908 104 0 0 22 0 22 0 831241180 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1630/statm: 2638873 909578 2265 9 0 2629607 0 [pid=1630/tid=1631] ppid=1628 vsize=10555492 CPUtime=0.82 cores=1,3,5,7 /proc/1630/task/1631/stat : 1631 (java) S 1628 1630 1598 0 -1 4202560 27795 0 1 0 79 3 0 0 15 0 22 0 831241181 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1633] ppid=1628 vsize=10555492 CPUtime=0.25 cores=1,3,5,7 /proc/1630/task/1633/stat : 1633 (java) S 1628 1630 1598 0 -1 4202560 7730 0 0 0 24 1 0 0 15 0 22 0 831241183 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1634] ppid=1628 vsize=10555492 CPUtime=0.27 cores=1,3,5,7 /proc/1630/task/1634/stat : 1634 (java) S 1628 1630 1598 0 -1 4202560 8623 0 0 0 26 1 0 0 15 0 22 0 831241183 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1635] ppid=1628 vsize=10555492 CPUtime=0.3 cores=1,3,5,7 /proc/1630/task/1635/stat : 1635 (java) S 1628 1630 1598 0 -1 4202560 12285 0 0 0 29 1 0 0 16 0 22 0 831241183 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1636] ppid=1628 vsize=10555492 CPUtime=0.26 cores=1,3,5,7 /proc/1630/task/1636/stat : 1636 (java) S 1628 1630 1598 0 -1 4202560 5669 0 0 0 25 1 0 0 16 0 22 0 831241183 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1637] ppid=1628 vsize=10555492 CPUtime=0.31 cores=1,3,5,7 /proc/1630/task/1637/stat : 1637 (java) S 1628 1630 1598 0 -1 4202560 11965 0 0 0 30 1 0 0 15 0 22 0 831241183 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1638] ppid=1628 vsize=10555492 CPUtime=0.29 cores=1,3,5,7 /proc/1630/task/1638/stat : 1638 (java) S 1628 1630 1598 0 -1 4202560 11642 0 0 0 28 1 0 0 16 0 22 0 831241183 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1639] ppid=1628 vsize=10555492 CPUtime=0.22 cores=1,3,5,7 /proc/1630/task/1639/stat : 1639 (java) S 1628 1630 1598 0 -1 4202560 7580 0 0 0 21 1 0 0 15 0 22 0 831241183 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1640] ppid=1628 vsize=10555492 CPUtime=0.24 cores=1,3,5,7 /proc/1630/task/1640/stat : 1640 (java) S 1628 1630 1598 0 -1 4202560 7560 0 0 0 23 1 0 0 15 0 22 0 831241183 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1641] ppid=1628 vsize=10555492 CPUtime=1.48 cores=1,3,5,7 /proc/1630/task/1641/stat : 1641 (java) S 1628 1630 1598 0 -1 4202560 1624 0 0 0 147 1 0 0 15 0 22 0 831241184 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 0 0 16800975 18446604471138828480 0 0 -1 1 0 0 0 [pid=1630/tid=1642] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1642/stat : 1642 (java) S 1628 1630 1598 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831241185 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1643] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1643/stat : 1643 (java) S 1628 1630 1598 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 831241185 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1644] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1644/stat : 1644 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831241187 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389125041 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1645] ppid=1628 vsize=10555492 CPUtime=1.99 cores=1,3,5,7 /proc/1630/task/1645/stat : 1645 (java) S 1628 1630 1598 0 -1 4202560 14660 0 0 0 197 2 0 0 15 0 22 0 831241187 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1646] ppid=1628 vsize=10555492 CPUtime=1.31 cores=1,3,5,7 /proc/1630/task/1646/stat : 1646 (java) S 1628 1630 1598 0 -1 4202560 4388 0 0 0 131 0 0 0 15 0 22 0 831241187 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 [pid=1630/tid=1647] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1647/stat : 1647 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831241187 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117337 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1648] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1648/stat : 1648 (java) S 1628 1630 1598 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 831241187 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 3 0 0 0 [pid=1630/tid=1710] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1710/stat : 1710 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831293705 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 5 0 0 0 [pid=1630/tid=1716] ppid=1628 vsize=10555492 CPUtime=176.16 cores=1,3,5,7 /proc/1630/task/1716/stat : 1716 (java) R 1628 1630 1598 0 -1 4202560 21 0 0 0 17616 0 0 0 25 0 22 0 831313840 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46912506013760 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1630/tid=1717] ppid=1628 vsize=10555492 CPUtime=176.15 cores=1,3,5,7 /proc/1630/task/1717/stat : 1717 (java) R 1628 1630 1598 0 -1 4202560 38 0 0 0 17615 0 0 0 25 0 22 0 831313840 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 46912506080532 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=1630/tid=1718] ppid=1628 vsize=10555492 CPUtime=0 cores=1,3,5,7 /proc/1630/task/1718/stat : 1718 (java) S 1628 1630 1598 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831313841 10808823808 909578 33554432000 1073741824 1073778376 140734320924752 18446744073709551615 255389117952 0 4 0 16800975 18446604471138828480 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 10555492 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+903.401 s] /proc/loadavg: 4.11 4.00 3.83 5/479 1723 /proc/meminfo: memFree=10245664/32951124 swapFree=60787360/67111528 [pid=1630] ppid=1628 vsize=0 CPUtime=1800.46 cores=1,3,5,7 /proc/1630/stat : 1630 (java) Z 1628 1630 1598 0 -1 4203548 923013 0 1 0 179931 115 0 0 17 0 2 0 831241180 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/1630/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 903.429 CPU time (s): 1800.5 CPU user time (s): 1799.32 CPU system time (s): 1.18282 CPU usage (%): 199.296 Max. virtual memory (cumulated for all children) (KiB): 10555492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.32 system time used= 1.18282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 923013 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= 27083 involuntary context switches= 21668 runsolver used 4.20036 second user time and 9.38157 second system time The end
Begin job on node135 at 2011-06-04 16:07:13 IDJOB=3455390 IDBENCH=71879 IDSOLVER=1950 FILE ID=node135/3455390-1307196433 RUNJOBID= node135-1307196433-1617 PBS_JOBID= 13508892 Free space on /tmp= 73964 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__32.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455390-1307196433/watcher-3455390-1307196433 -o /tmp/evaluation-result-3455390-1307196433/solver-3455390-1307196433 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455390-1307196433.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= db1ffcf75e0c0509e6672a8f0ce9b1bb RANDOM SEED=1268406579 node135.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.851 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.70 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.851 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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.851 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 : 6640.14 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.851 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.78 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.851 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20671440 kB Buffers: 273300 kB Cached: 644000 kB SwapCached: 6168 kB Active: 11463152 kB Inactive: 556584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20671440 kB SwapTotal: 67111528 kB SwapFree: 60787360 kB Dirty: 1628 kB Writeback: 0 kB AnonPages: 11101676 kB Mapped: 25232 kB Slab: 126404 kB PageTables: 65884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 124376692 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73844 MiB End job on node135 at 2011-06-04 16:22:18