Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | SAT (TO) | -405504 | 1800.4 | 1790.43 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos20.opb |
| MD5SUM | d5ea3d9967a24b7bed67317421f8b87e |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -468992 |
| Best CPU time to get the best result obtained on this benchmark | 13.402 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -468992 |
| Optimality of the best value was proved | YES |
| Number of variables | 8411 |
| Total number of constraints | 2456 |
| Number of constraints which are clauses | 412 |
| Number of constraints which are cardinality constraints (but not clauses) | 426 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1618 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 270 |
| Number of terms in the objective function | 150 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 5368709115 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 171798691840 |
| Number of bits of the biggest number in a constraint | 38 |
| Biggest sum of numbers in a constraint | 344670818303 |
| Number of bits of the biggest sum of numbers | 39 |
| 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.13 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.13 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.13 c See www.sat4j.org for details. 0.08/0.14 c version 2.2.0.v20100526 0.08/0.14 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.14 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.14 c java.vm.version 11.2-b01 0.08/0.14 c java.vm.vendor Sun Microsystems Inc. 0.08/0.14 c sun.arch.data.model 32 0.08/0.14 c java.version 1.6.0_12 0.08/0.14 c os.name Linux 0.08/0.14 c os.version 2.6.18-164.el5 0.08/0.14 c os.arch i386 0.08/0.14 c Free memory 1393557488 0.08/0.14 c Max memory 1395916800 0.08/0.14 c Total memory 1395916800 0.08/0.14 c Number of processors 2 0.24/0.20 c Pseudo Boolean Optimization 0.24/0.20 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.24/0.20 c --- Begin Solver configuration --- 0.24/0.20 c Stops conflict analysis at the first Unique Implication Point 0.24/0.20 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@16fd0b7 0.24/0.20 c Learn all clauses as in MiniSAT 0.24/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.20 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.24/0.20 c No reason simplification 0.24/0.20 c Armin Biere (Picosat) restarts strategy 0.24/0.20 c Glucose learned constraints deletion strategy 0.24/0.20 c timeout=2147483s 0.24/0.20 c DB Simplification allowed=false 0.24/0.20 c --- End Solver configuration --- 0.24/0.20 c solving HOME/instance-2661242-1276528242.opb 0.24/0.20 c reading problem ... 2.27/1.31 c ... done. Wall clock time 1.115s. 2.27/1.31 c #vars 8411 2.27/1.31 c #constraints 8125 2.27/1.31 c constraints type 2.27/1.32 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 897 2.27/1.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 396 2.27/1.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4 2.27/1.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1904 5.17/3.13 c SATISFIABLE 5.17/3.13 c OPTIMIZING... 5.17/3.13 c Got one! Elapsed wall clock time (in seconds):2.935 5.17/3.13 o -98304 5.47/3.39 c Got one! Elapsed wall clock time (in seconds):3.184 5.47/3.39 o -106496 11.63/8.57 c Got one! Elapsed wall clock time (in seconds):8.373 11.63/8.57 o -223232 24.79/21.49 c Got one! Elapsed wall clock time (in seconds):21.293 24.79/21.49 o -235520 28.21/24.86 c Got one! Elapsed wall clock time (in seconds):24.658 28.21/24.86 o -246784 32.04/28.59 c Got one! Elapsed wall clock time (in seconds):28.387 32.04/28.59 o -266240 40.79/37.25 c Got one! Elapsed wall clock time (in seconds):37.053 40.79/37.25 o -295936 241.91/237.60 c Got one! Elapsed wall clock time (in seconds):237.397 241.91/237.60 o -297984 307.56/302.95 c Got one! Elapsed wall clock time (in seconds):302.753 307.56/302.95 o -307200 580.48/574.41 c Got one! Elapsed wall clock time (in seconds):574.209 580.48/574.41 o -376832 693.61/686.87 c Got one! Elapsed wall clock time (in seconds):686.673 693.61/686.87 o -405504 953.69/945.87 c cleaning 0 clauses out of 5000 with flag 0/5000 1800.09/1790.21 c starts : 15 1800.09/1790.21 c conflicts : 5600 1800.09/1790.21 c decisions : 50566 1800.09/1790.21 c propagations : 1480517 1800.09/1790.21 c inspects : 67859011 1800.09/1790.21 c learnt literals : 0 1800.09/1790.21 c learnt binary clauses : 5 1800.09/1790.21 c learnt ternary clauses : 3 1800.09/1790.21 c learnt clauses : 5599 1800.09/1790.21 c ignored clauses : 0 1800.09/1790.21 c root simplifications : 0 1800.09/1790.21 c removed literals (reason simplification) : 0 1800.09/1790.21 c reason swapping (by a shorter reason) : 0 1800.09/1790.21 c Calls to reduceDB : 1 1800.09/1790.21 c number of reductions to clauses (during analyze) : 0 1800.09/1790.21 c number of learned constraints concerned by reduction : 0 1800.09/1790.21 c number of learning phase by resolution : 0 1800.09/1790.21 c number of learning phase by cutting planes : 0 1800.09/1790.21 c speed (assignments/second) : 1341.847767963152 1800.09/1790.21 c non guided choices 427 1800.09/1790.22 c learnt constraints type 1800.09/1790.22 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 10 1800.09/1790.22 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 5 1800.09/1790.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5584 1800.09/1790.22 c constraints type 1800.09/1790.22 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 897 1800.09/1790.22 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 396 1800.09/1790.22 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4 1800.09/1790.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1905 1800.09/1790.22 s SATISFIABLE 1800.09/1790.25 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 1800.09/1790.31 c objective function=-405504 1800.09/1790.31 c Total wall clock time (in seconds): 1790.107
OK -405504
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2661242-1276528242/watcher-2661242-1276528242 -o /tmp/evaluation-result-2661242-1276528242/solver-2661242-1276528242 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2661242-1276528242.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29535 /proc/meminfo: memFree=1802312/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=13164 CPUtime=0 /proc/29535/stat : 29535 (java) R 29533 29535 28930 0 -1 4194304 568 0 0 0 0 0 0 0 19 0 1 0 26479631 13479936 241 1992294400 134512640 134550932 4289689776 18446744073709551615 6932101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29535/statm: 3291 247 141 10 0 1121 0 [startup+0.0212169 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29535 /proc/meminfo: memFree=1802312/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1517068 CPUtime=0.01 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 2082 0 1 0 0 1 0 0 19 0 2 0 26479631 1553477632 1528 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 379267 1542 412 10 0 376978 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1517068 [startup+0.100214 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29535 /proc/meminfo: memFree=1802312/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1524184 CPUtime=0.08 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 4001 0 1 0 6 2 0 0 19 0 12 0 26479631 1560764416 3441 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 381046 3441 1078 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.338205 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29535 /proc/meminfo: memFree=1802312/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1526372 CPUtime=0.45 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 5557 0 1 0 42 3 0 0 19 0 12 0 26479631 1563004928 4995 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 381593 4995 1376 10 0 378895 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 1526372 [startup+0.700192 s] /proc/loadavg: 0.99 0.98 0.99 3/106 29535 /proc/meminfo: memFree=1802312/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1533012 CPUtime=1.16 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 8508 0 1 0 112 4 0 0 19 0 12 0 26479631 1569804288 7480 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 383253 7480 1407 10 0 380555 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 1533012 [startup+1.50116 s] /proc/loadavg: 0.99 0.98 0.99 5/118 29547 /proc/meminfo: memFree=1764460/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1544064 CPUtime=2.61 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 18500 0 1 0 253 8 0 0 19 0 13 0 26479631 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 386016 15294 1419 10 0 383318 0 [pid=29535/tid=29537] ppid=29533 vsize=1544064 CPUtime=0.82 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 9889 0 1 0 77 5 0 0 19 0 13 0 26479633 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4109327502 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1544064 CPUtime=0 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479634 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1544064 CPUtime=0 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 26479634 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1544064 CPUtime=0 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 26479636 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1544064 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 10 0 0 0 0 0 0 0 22 0 13 0 26479636 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1544064 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 13 0 26479636 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1544064 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1544064 CPUtime=0.89 /proc/29535/task/29544/stat : 29544 (java) S 29533 29535 28930 0 -1 4202560 4541 0 0 0 88 1 0 0 16 0 13 0 26479640 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1544064 CPUtime=0.88 /proc/29535/task/29545/stat : 29545 (java) S 29533 29535 28930 0 -1 4202560 3002 0 0 0 87 1 0 0 16 0 13 0 26479640 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1544064 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1544064 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 26479640 1581121536 15294 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 1544064 [startup+3.1011 s] /proc/loadavg: 0.99 0.98 0.99 4/119 29548 /proc/meminfo: memFree=1709024/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1543600 CPUtime=5.17 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 43994 0 1 0 498 19 0 0 19 0 13 0 26479631 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 385900 38897 1433 10 0 383202 0 [pid=29535/tid=29537] ppid=29533 vsize=1543600 CPUtime=1.98 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 32059 0 1 0 184 14 0 0 20 0 13 0 26479633 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 8388179 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1543600 CPUtime=0.02 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 679 0 0 0 2 0 0 0 18 0 13 0 26479634 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1543600 CPUtime=0.02 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 667 0 0 0 2 0 0 0 18 0 13 0 26479634 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 13 0 26479636 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 26479636 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 26479636 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1543600 CPUtime=1.63 /proc/29535/task/29544/stat : 29544 (java) S 29533 29535 28930 0 -1 4202560 5624 0 0 0 161 2 0 0 16 0 13 0 26479640 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1543600 CPUtime=1.47 /proc/29535/task/29545/stat : 29545 (java) R 29533 29535 28930 0 -1 4202560 3891 0 0 0 146 1 0 0 15 0 13 0 26479640 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 26479640 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29548] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29548/stat : 29548 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479770 1580646400 38897 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.17 Current children cumulated vsize (KiB) 1543600 [startup+6.30198 s] /proc/loadavg: 1.07 1.00 1.00 2/119 29548 /proc/meminfo: memFree=1642684/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1543600 CPUtime=9.2 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 48957 0 1 0 898 22 0 0 19 0 13 0 26479631 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 385900 43235 1437 10 0 383202 0 [pid=29535/tid=29537] ppid=29533 vsize=1543600 CPUtime=4.86 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 32073 0 1 0 472 14 0 0 25 0 13 0 26479633 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4109967917 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1543600 CPUtime=0.12 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 2763 0 0 0 11 1 0 0 16 0 13 0 26479634 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1543600 CPUtime=0.13 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 2833 0 0 0 12 1 0 0 15 0 13 0 26479634 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 13 0 26479636 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 26479636 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 26479636 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1543600 CPUtime=2.05 /proc/29535/task/29544/stat : 29544 (java) R 29533 29535 28930 0 -1 4202560 5647 0 0 0 203 2 0 0 15 0 13 0 26479640 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 105594870 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1543600 CPUtime=2 /proc/29535/task/29545/stat : 29545 (java) S 29533 29535 28930 0 -1 4202560 4547 0 0 0 198 2 0 0 15 0 13 0 26479640 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) R 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 26479640 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29548] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29548/stat : 29548 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479770 1580646400 43235 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 9.2 Current children cumulated vsize (KiB) 1543600 [startup+12.7017 s] /proc/loadavg: 1.07 1.00 1.00 2/119 29548 /proc/meminfo: memFree=1607468/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1543600 CPUtime=16 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 56188 0 1 0 1574 26 0 0 19 0 13 0 26479631 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 385900 49994 1441 10 0 383202 0 [pid=29535/tid=29537] ppid=29533 vsize=1543600 CPUtime=11.13 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 35031 0 1 0 1097 16 0 0 25 0 13 0 26479633 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4109780449 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1543600 CPUtime=0.24 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 5012 0 0 0 22 2 0 0 15 0 13 0 26479634 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1543600 CPUtime=0.23 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 4840 0 0 0 21 2 0 0 16 0 13 0 26479634 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 28 0 0 0 0 0 0 0 16 0 13 0 26479636 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 26479636 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 26479636 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1543600 CPUtime=2.23 /proc/29535/task/29544/stat : 29544 (java) S 29533 29535 28930 0 -1 4202560 5655 0 0 0 221 2 0 0 15 0 13 0 26479640 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1543600 CPUtime=2.12 /proc/29535/task/29545/stat : 29545 (java) S 29533 29535 28930 0 -1 4202560 4556 0 0 0 210 2 0 0 15 0 13 0 26479640 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 26479640 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29548] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29548/stat : 29548 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479770 1580646400 49994 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 1543600 [startup+25.5003 s] /proc/loadavg: 1.05 1.00 1.00 2/119 29548 /proc/meminfo: memFree=1593952/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1543600 CPUtime=29 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 59620 0 1 0 2872 28 0 0 19 0 13 0 26479631 1580646400 53189 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 385900 53189 1441 10 0 383202 0 [pid=29535/tid=29537] ppid=29533 vsize=1543600 CPUtime=23.76 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 35171 0 1 0 2360 16 0 0 25 0 13 0 26479633 1580646400 53189 1992294400 134512640 134550932 4289689776 18446744073709551615 4109988542 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1543600 CPUtime=0.36 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 6686 0 0 0 34 2 0 0 16 0 13 0 26479634 1580646400 53189 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1543600 CPUtime=0.37 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 6458 0 0 0 34 3 0 0 16 0 13 0 26479634 1580646400 53189 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1543600 CPUtime=0 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 13 0 26479636 1580646400 53189 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1543600 CPUtime=0 ################ # More data... # ################ [pid=29535/tid=29541] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 163536 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 163536 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1581694976 163536 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1544624 CPUtime=2.27 /proc/29535/task/29544/stat : 29544 (java) S 29533 29535 28930 0 -1 4202560 5655 0 0 0 225 2 0 0 15 0 13 0 26479640 1581694976 163536 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1544624 CPUtime=2.67 /proc/29535/task/29545/stat : 29545 (java) S 29533 29535 28930 0 -1 4202560 6452 0 0 0 265 2 0 0 15 0 13 0 26479640 1581694976 163536 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1581694976 163536 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) S 29533 29535 28930 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 13 0 26479640 1581694976 163536 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29548] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29548/stat : 29548 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479770 1581694976 163536 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1611.67 Current children cumulated vsize (KiB) 1544624 [startup+1662.3 s] /proc/loadavg: 1.23 1.05 1.02 2/119 29595 /proc/meminfo: memFree=1125852/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1544624 CPUtime=1671.98 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 188160 0 1 0 167071 127 0 0 19 0 13 0 26479631 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 386156 169363 1449 10 0 383458 0 [pid=29535/tid=29537] ppid=29533 vsize=1544624 CPUtime=1652.6 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 35640 0 1 0 165222 38 0 0 25 0 13 0 26479633 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4110030604 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1544624 CPUtime=6.79 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 71200 0 0 0 639 40 0 0 15 0 13 0 26479634 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1544624 CPUtime=6.79 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 67931 0 0 0 640 39 0 0 16 0 13 0 26479634 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1544624 CPUtime=0.81 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 120 0 0 0 78 3 0 0 16 0 13 0 26479636 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1544624 CPUtime=2.27 /proc/29535/task/29544/stat : 29544 (java) S 29533 29535 28930 0 -1 4202560 5655 0 0 0 225 2 0 0 15 0 13 0 26479640 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1544624 CPUtime=2.67 /proc/29535/task/29545/stat : 29545 (java) S 29533 29535 28930 0 -1 4202560 6452 0 0 0 265 2 0 0 15 0 13 0 26479640 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) S 29533 29535 28930 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 26479640 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29548] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29548/stat : 29548 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479770 1581694976 169363 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1671.98 Current children cumulated vsize (KiB) 1544624 [startup+1722.3 s] /proc/loadavg: 1.08 1.04 1.01 2/119 29597 /proc/meminfo: memFree=1113576/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1544624 CPUtime=1732.18 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 191586 0 1 0 173087 131 0 0 19 0 13 0 26479631 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 386156 172616 1449 10 0 383458 0 [pid=29535/tid=29537] ppid=29533 vsize=1544624 CPUtime=1712.34 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 35655 0 1 0 171194 40 0 0 25 0 13 0 26479633 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4110297064 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1544624 CPUtime=7.01 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 71777 0 0 0 660 41 0 0 16 0 13 0 26479634 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1544624 CPUtime=7.01 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 70759 0 0 0 661 40 0 0 16 0 13 0 26479634 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1544624 CPUtime=0.81 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 122 0 0 0 78 3 0 0 15 0 13 0 26479636 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1544624 CPUtime=2.27 /proc/29535/task/29544/stat : 29544 (java) S 29533 29535 28930 0 -1 4202560 5655 0 0 0 225 2 0 0 15 0 13 0 26479640 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1544624 CPUtime=2.67 /proc/29535/task/29545/stat : 29545 (java) S 29533 29535 28930 0 -1 4202560 6452 0 0 0 265 2 0 0 15 0 13 0 26479640 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) S 29533 29535 28930 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 26479640 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29548] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29548/stat : 29548 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479770 1581694976 172616 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1732.18 Current children cumulated vsize (KiB) 1544624 [startup+1782.3 s] /proc/loadavg: 1.03 1.03 1.00 2/119 29599 /proc/meminfo: memFree=1111220/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1544624 CPUtime=1792.18 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 192154 0 1 0 179086 132 0 0 19 0 13 0 26479631 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 386156 173171 1449 10 0 383458 0 [pid=29535/tid=29537] ppid=29533 vsize=1544624 CPUtime=1772.31 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 35656 0 1 0 177190 41 0 0 25 0 13 0 26479633 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4110030610 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1544624 CPUtime=7.03 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 72059 0 0 0 662 41 0 0 15 0 13 0 26479634 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1544624 CPUtime=7.03 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 71040 0 0 0 663 40 0 0 16 0 13 0 26479634 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1544624 CPUtime=0.81 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 124 0 0 0 78 3 0 0 15 0 13 0 26479636 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1544624 CPUtime=2.27 /proc/29535/task/29544/stat : 29544 (java) S 29533 29535 28930 0 -1 4202560 5655 0 0 0 225 2 0 0 15 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1544624 CPUtime=2.67 /proc/29535/task/29545/stat : 29545 (java) S 29533 29535 28930 0 -1 4202560 6452 0 0 0 265 2 0 0 15 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) S 29533 29535 28930 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29548] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29548/stat : 29548 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479770 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1792.18 Current children cumulated vsize (KiB) 1544624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.2 s] /proc/loadavg: 1.02 1.03 1.00 2/119 29599 /proc/meminfo: memFree=1111220/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=1544624 CPUtime=1800.09 /proc/29535/stat : 29535 (java) S 29533 29535 28930 0 -1 4202496 192156 0 1 0 179877 132 0 0 19 0 13 0 26479631 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 386156 173171 1449 10 0 383458 0 [pid=29535/tid=29537] ppid=29533 vsize=1544624 CPUtime=1780.21 /proc/29535/task/29537/stat : 29537 (java) R 29533 29535 28930 0 -1 4202560 35656 0 1 0 177980 41 0 0 25 0 13 0 26479633 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4110030600 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29535/tid=29538] ppid=29533 vsize=1544624 CPUtime=7.03 /proc/29535/task/29538/stat : 29538 (java) S 29533 29535 28930 0 -1 4202560 72059 0 0 0 662 41 0 0 15 0 13 0 26479634 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29539] ppid=29533 vsize=1544624 CPUtime=7.03 /proc/29535/task/29539/stat : 29539 (java) S 29533 29535 28930 0 -1 4202560 71040 0 0 0 663 40 0 0 16 0 13 0 26479634 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29540] ppid=29533 vsize=1544624 CPUtime=0.81 /proc/29535/task/29540/stat : 29540 (java) S 29533 29535 28930 0 -1 4202560 124 0 0 0 78 3 0 0 15 0 13 0 26479636 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 0 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29541] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29541/stat : 29541 (java) S 29533 29535 28930 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29542] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29542/stat : 29542 (java) S 29533 29535 28930 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 26479636 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29543] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29543/stat : 29543 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29544] ppid=29533 vsize=1544624 CPUtime=2.27 /proc/29535/task/29544/stat : 29544 (java) S 29533 29535 28930 0 -1 4202560 5655 0 0 0 225 2 0 0 15 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29545] ppid=29533 vsize=1544624 CPUtime=2.67 /proc/29535/task/29545/stat : 29545 (java) S 29533 29535 28930 0 -1 4202560 6452 0 0 0 265 2 0 0 15 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29546/stat : 29546 (java) S 29533 29535 28930 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29547] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29547/stat : 29547 (java) S 29533 29535 28930 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 26479640 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 0 0 0 0 [pid=29535/tid=29548] ppid=29533 vsize=1544624 CPUtime=0 /proc/29535/task/29548/stat : 29548 (java) S 29533 29535 28930 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 26479770 1581694976 173171 1992294400 134512640 134550932 4289689776 18446744073709551615 4294960144 0 4 0 16800975 18446604437845050368 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1544624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1790.4 s] /proc/loadavg: 1.02 1.03 1.00 2/119 29599 /proc/meminfo: memFree=1111220/2059040 swapFree=4136648/4192956 [pid=29535] ppid=29533 vsize=0 CPUtime=1800.37 /proc/29535/stat : 29535 (java) Z 29533 29535 28930 0 -1 4203548 192179 0 1 0 179900 137 0 0 16 0 2 0 26479631 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/29535/statm: 0 0 0 0 0 0 0 [pid=29535/tid=29546] ppid=29533 vsize=0 CPUtime=0.04 /proc/29535/task/29546/stat : 29546 (java) R 29533 29535 28930 0 -1 4203588 1 0 0 0 0 4 0 0 18 0 2 0 26479640 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1790.43 CPU time (s): 1800.4 CPU user time (s): 1799.01 CPU system time (s): 1.39579 CPU usage (%): 100.557 Max. virtual memory (cumulated for all children) (KiB): 1547696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.01 system time used= 1.39579 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 192179 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= 41947 involuntary context switches= 48492 runsolver used 3.72543 second user time and 9.37457 second system time The end
Begin job on node026 at 2010-06-14 17:10:42 IDJOB=2661242 IDBENCH=2321 IDSOLVER=1165 FILE ID=node026/2661242-1276528242 PBS_JOBID= 11173442 Free space on /tmp= 62516 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2661242-1276528242/watcher-2661242-1276528242 -o /tmp/evaluation-result-2661242-1276528242/solver-2661242-1276528242 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2661242-1276528242.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d5ea3d9967a24b7bed67317421f8b87e RANDOM SEED=1835684144 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1802708 kB Buffers: 55308 kB Cached: 121924 kB SwapCached: 9524 kB Active: 27168 kB Inactive: 162704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1802708 kB SwapTotal: 4192956 kB SwapFree: 4136648 kB Dirty: 800 kB Writeback: 0 kB AnonPages: 11016 kB Mapped: 9168 kB Slab: 44620 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179780 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= 62516 MiB End job on node026 at 2010-06-14 17:40:35