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