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