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