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