| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CuttingPlanes 2.3.0 | SAT (TO) | -2 | 1800.38 | 1796.44 |
| Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb |
| MD5SUM | 64d4edb5594d01918b916e348b224fe7 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -2 |
| Best CPU time to get the best result obtained on this benchmark | 1800.38 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -2 |
| Optimality of the best value was proved | NO |
| Number of variables | 10151 |
| Total number of constraints | 29821 |
| Number of constraints which are clauses | 29820 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 9940 |
| Number of terms in the objective function | 71 |
| Biggest coefficient in the objective function | 1180591620717411303424 |
| Number of bits for the biggest coefficient in the objective function | 71 |
| Sum of the numbers in the objective function | 2361183241434822606847 |
| Number of bits of the sum of numbers in the objective function | 71 |
| Biggest number in a constraint | 822752278660603021077484591278675252491367932816789931674304512 |
| Number of bits of the biggest number in a constraint | 210 |
| Biggest sum of numbers in a constraint | 3291009114642412084308654416646809277848400271660251117497592779 |
| Number of bits of the biggest sum of numbers | 211 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.1.v20110525 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 9996466904 0.00/0.08 c Max memory 10048897024 0.00/0.08 c Total memory 10048897024 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3456655-1307223071.opb 0.10/0.11 c reading problem ... 0.96/0.57 c ... done. Wall clock time 0.465s. 0.96/0.57 c #vars 10151 0.96/0.57 c #constraints 32520 0.96/0.57 c constraints type 0.96/0.57 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19880 0.96/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 9940 0.96/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 238.97/237.07 c SATISFIABLE 238.97/237.07 c OPTIMIZING... 238.97/237.07 c Got one! Elapsed wall clock time (in seconds):236.961 238.97/237.07 o -2 1800.07/1796.23 c starts : 2 1800.07/1796.23 c conflicts : 298 1800.07/1796.23 c decisions : 66555 1800.07/1796.23 c propagations : 636150 1800.07/1796.23 c inspects : 52970599 1800.07/1796.23 c shortcuts : 0 1800.07/1796.23 c learnt literals : 0 1800.07/1796.23 c learnt binary clauses : 0 1800.07/1796.23 c learnt ternary clauses : 0 1800.07/1796.23 c learnt constraints : 298 1800.07/1796.23 c ignored constraints : 0 1800.07/1796.23 c root simplifications : 0 1800.07/1796.23 c removed literals (reason simplification) : 0 1800.07/1796.23 c reason swapping (by a shorter reason) : 0 1800.07/1796.23 c Calls to reduceDB : 0 1800.07/1796.23 c number of reductions to clauses (during analyze) : 0 1800.07/1796.23 c number of learned constraints concerned by reduction : 0 1800.07/1796.23 c number of learning phase by resolution : 0 1800.07/1796.23 c number of learning phase by cutting planes : 0 1800.07/1796.23 c speed (assignments/second) : 408.0073731867675 1800.07/1796.23 c non guided choices 5 1800.07/1796.23 c learnt constraints type 1800.07/1796.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 298 1800.07/1796.23 c constraints type 1800.07/1796.23 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19880 1800.07/1796.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 9940 1800.07/1796.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3 1800.07/1796.23 s SATISFIABLE 1800.07/1796.25 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 x74 -x75 -x76 x77 x78 x79 x80 -x81 x82 -x83 x84 -x85 x86 x87 x88 -x89 x90 x91 -x92 x93 x94 x95 -x96 x97 x98 -x99 -x100 x101 -x102 x103 x104 -x105 x106 -x107 -x108 x109 x110 -x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 x125 -x126 -x127 x128 x129 x130 -x131 x132 -x133 x134 -x135 x136 -x137 -x138 x139 -x140 x141 -x142 x143 x144 x145 x146 -x147 -x148 x149 x150 x151 -x152 -x153 x154 x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 x166 -x167 -x168 x169 x170 x171 -x172 -x173 -x174 x175 -x176 x177 x178 x179 -x180 x181 x182 x183 x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 x195 -x196 x197 x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 x1754 -x1755 -x1756 x1757 x1758 x1759 x1760 -x1761 x1762 -x1763 x1764 -x1765 x1766 x1767 x1768 -x1769 x1770 x1771 -x1772 x1773 x1774 x1775 -x1776 x1777 x1778 -x1779 -x1780 x1781 -x1782 x1783 x1784 -x1785 x1786 -x1787 -x1788 x1789 x1790 -x1791 x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 x1803 x1804 x1805 -x1806 -x1807 x1808 x1809 x1810 -x1811 x1812 -x1813 x1814 -x1815 x1816 -x1817 -x1818 x1819 -x1820 x1821 -x1822 x1823 x1824 x1825 x1826 -x1827 -x1828 x1829 x1830 x1831 -x1832 -x1833 x1834 x1835 x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 x1846 -x1847 -x1848 x1849 x1850 x1851 -x1852 -x1853 -x1854 x1855 -x1856 x1857 x1858 x1859 -x1860 x1861 x1862 x1863 x1864 x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 x1877 x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -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 1800.07/1796.28 c objective function=-2 1800.07/1796.28 c Total wall clock time (in seconds): 1796.161
OK -2
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-3456655-1307223071/watcher-3456655-1307223071 -o /tmp/evaluation-result-3456655-1307223071/solver-3456655-1307223071 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456655-1307223071.opb running on 4 cores: 1,3,5,7 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: 2.09 2.03 2.01 3/345 1113 /proc/meminfo: memFree=20091888/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/1113/stat : 1113 (java) R 1111 1113 326 0 -1 4202496 666 0 0 0 0 0 0 0 23 0 1 0 912537725 23580672 410 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260015433493 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/1113/statm: 5757 421 320 9 0 124 0 [pid=1113/tid=1114] ppid=1111 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 2611 0 1 0 0 0 0 0 25 0 2 0 912537726 10694979584 3427 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260020089915 0 4 0 16784584 0 0 0 -1 3 0 0 0 [startup+0.096515 s] /proc/loadavg: 2.09 2.03 2.01 3/345 1113 /proc/meminfo: memFree=20091888/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10605720 CPUtime=0.1 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 13008 0 1 0 9 1 0 0 23 0 18 0 912537725 10860257280 12705 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2651430 12705 2092 9 0 2642164 0 [pid=1113/tid=1114] ppid=1111 vsize=10605720 CPUtime=0.08 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 11109 0 1 0 7 1 0 0 18 0 18 0 912537726 10860257280 12706 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 47139591953235 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10605720 [startup+0.100459 s] /proc/loadavg: 2.09 2.03 2.01 3/345 1113 /proc/meminfo: memFree=20091888/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10605720 CPUtime=0.1 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 13090 0 1 0 9 1 0 0 23 0 18 0 912537725 10860257280 12787 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2651430 12788 2092 9 0 2642164 0 [pid=1113/tid=1114] ppid=1111 vsize=10605720 CPUtime=0.08 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 11191 0 1 0 7 1 0 0 18 0 18 0 912537726 10860257280 12788 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10605720 [startup+0.300387 s] /proc/loadavg: 2.09 2.03 2.01 3/345 1113 /proc/meminfo: memFree=20091888/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10606752 CPUtime=0.49 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 16090 0 1 0 47 2 0 0 23 0 18 0 912537725 10861314048 15467 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2651688 15468 2201 9 0 2642422 0 [pid=1113/tid=1114] ppid=1111 vsize=10606752 CPUtime=0.28 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 13128 0 1 0 27 1 0 0 18 0 18 0 912537726 10861314048 15469 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505544709 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 10606752 [startup+0.700314 s] /proc/loadavg: 2.09 2.03 2.01 3/345 1113 /proc/meminfo: memFree=20091888/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10611824 CPUtime=1.41 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 34859 0 1 0 136 5 0 0 23 0 19 0 912537725 10866507776 32554 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2652956 32554 2228 9 0 2643690 0 [pid=1113/tid=1114] ppid=1111 vsize=10611824 CPUtime=0.69 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 28254 0 1 0 65 4 0 0 19 0 19 0 912537726 10866507776 32554 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 10611824 [startup+1.5012 s] /proc/loadavg: 2.32 2.08 2.02 5/364 1132 /proc/meminfo: memFree=19955840/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10611824 CPUtime=2.5 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 42061 0 1 0 245 5 0 0 23 0 19 0 912537725 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2652956 39550 2235 9 0 2643690 0 [pid=1113/tid=1114] ppid=1111 vsize=10611824 CPUtime=1.48 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 35201 0 1 0 144 4 0 0 18 0 19 0 912537726 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505827327 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1113/tid=1116] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1116/stat : 1116 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1117] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1117/stat : 1117 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1118] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1118/stat : 1118 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1119] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1119/stat : 1119 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1120] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1120/stat : 1120 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1121] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1121/stat : 1121 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1122] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1122/stat : 1122 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1123] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1123/stat : 1123 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1124] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1124/stat : 1124 (java) S 1111 1113 326 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 912537728 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 0 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1125] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1125/stat : 1125 (java) S 1111 1113 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912537729 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1126] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1126/stat : 1126 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912537729 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1127] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1127/stat : 1127 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032219569 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1128] ppid=1111 vsize=10611824 CPUtime=0.45 cores=1,3,5,7 /proc/1113/task/1128/stat : 1128 (java) S 1111 1113 326 0 -1 4202560 2588 0 0 0 45 0 0 0 15 0 19 0 912537731 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1129] ppid=1111 vsize=10611824 CPUtime=0.55 cores=1,3,5,7 /proc/1113/task/1129/stat : 1129 (java) S 1111 1113 326 0 -1 4202560 3113 0 0 0 55 0 0 0 24 0 19 0 912537731 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1130] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1130/stat : 1130 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1131] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1131/stat : 1131 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912537731 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1132] ppid=1111 vsize=10611824 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1132/stat : 1132 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912537785 10866507776 39550 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.5 Current children cumulated vsize (KiB) 10611824 [startup+3.10091 s] /proc/loadavg: 2.32 2.08 2.02 3/364 1132 /proc/meminfo: memFree=19905076/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10611348 CPUtime=4.28 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 90568 0 1 0 418 10 0 0 23 0 19 0 912537725 10866020352 87042 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2652837 87053 2235 9 0 2643571 0 [pid=1113/tid=1114] ppid=1111 vsize=10611348 CPUtime=3.08 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 82764 0 1 0 300 8 0 0 18 0 19 0 912537726 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505766186 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1113/tid=1116] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1116/stat : 1116 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1117] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1117/stat : 1117 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1118] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1118/stat : 1118 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1119] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1119/stat : 1119 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1120] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1120/stat : 1120 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1121] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1121/stat : 1121 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1122] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1122/stat : 1122 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1123] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1123/stat : 1123 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1124] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1124/stat : 1124 (java) S 1111 1113 326 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912537728 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 0 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1125] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1125/stat : 1125 (java) S 1111 1113 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912537729 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1126] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1126/stat : 1126 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912537729 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1127] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1127/stat : 1127 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 87057 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032219569 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1128] ppid=1111 vsize=10611348 CPUtime=0.5 cores=1,3,5,7 /proc/1113/task/1128/stat : 1128 (java) S 1111 1113 326 0 -1 4202560 2654 0 0 0 50 0 0 0 15 0 19 0 912537731 10866020352 87061 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1129] ppid=1111 vsize=10611348 CPUtime=0.67 cores=1,3,5,7 /proc/1113/task/1129/stat : 1129 (java) S 1111 1113 326 0 -1 4202560 4005 0 0 0 67 0 0 0 16 0 19 0 912537731 10866020352 87067 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1130] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1130/stat : 1130 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 87073 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1131] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1131/stat : 1131 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912537731 10866020352 87078 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1132] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1132/stat : 1132 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912537785 10866020352 87084 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.28 Current children cumulated vsize (KiB) 10611348 [startup+6.30132 s] /proc/loadavg: 2.32 2.08 2.02 3/364 1132 /proc/meminfo: memFree=18262532/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10611348 CPUtime=7.47 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 600905 0 1 0 679 68 0 0 23 0 19 0 912537725 10866020352 597370 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2652837 597375 2236 9 0 2643571 0 [pid=1113/tid=1114] ppid=1111 vsize=10611348 CPUtime=6.28 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 593094 0 1 0 561 67 0 0 25 0 19 0 912537726 10866020352 597379 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505994825 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1113/tid=1116] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1116/stat : 1116 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 597385 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1117] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1117/stat : 1117 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 597391 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1118] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1118/stat : 1118 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 597396 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1119] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1119/stat : 1119 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 597401 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1120] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1120/stat : 1120 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 597407 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1121] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1121/stat : 1121 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 597412 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1122] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1122/stat : 1122 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 597418 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1123] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1123/stat : 1123 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537727 10866020352 597423 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1124] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1124/stat : 1124 (java) S 1111 1113 326 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912537728 10866020352 597429 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 0 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1125] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1125/stat : 1125 (java) S 1111 1113 326 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912537729 10866020352 597434 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1126] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1126/stat : 1126 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912537729 10866020352 597439 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1127] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1127/stat : 1127 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 597445 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032219569 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1128] ppid=1111 vsize=10611348 CPUtime=0.5 cores=1,3,5,7 /proc/1113/task/1128/stat : 1128 (java) S 1111 1113 326 0 -1 4202560 2654 0 0 0 50 0 0 0 15 0 19 0 912537731 10866020352 597450 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1129] ppid=1111 vsize=10611348 CPUtime=0.67 cores=1,3,5,7 /proc/1113/task/1129/stat : 1129 (java) S 1111 1113 326 0 -1 4202560 4005 0 0 0 67 0 0 0 16 0 19 0 912537731 10866020352 597455 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 ################ # More data... # ################ /proc/1113/task/1126/stat : 1126 (java) S 1111 1113 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912537729 10866020352 987702 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1127] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1127/stat : 1127 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 987702 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032219569 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1128] ppid=1111 vsize=10611348 CPUtime=0.62 cores=1,3,5,7 /proc/1113/task/1128/stat : 1128 (java) S 1111 1113 326 0 -1 4202560 2677 0 0 0 62 0 0 0 16 0 19 0 912537731 10866020352 987702 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1129] ppid=1111 vsize=10611348 CPUtime=0.94 cores=1,3,5,7 /proc/1113/task/1129/stat : 1129 (java) S 1111 1113 326 0 -1 4202560 4061 0 0 0 94 0 0 0 15 0 19 0 912537731 10866020352 987702 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1130] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1130/stat : 1130 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 987702 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1131] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1131/stat : 1131 (java) S 1111 1113 326 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 912537731 10866020352 987702 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1132] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1132/stat : 1132 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912537785 10866020352 987702 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1666.03 Current children cumulated vsize (KiB) 10611348 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/364 1228 /proc/meminfo: memFree=16445164/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10611348 CPUtime=1726.07 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 1004062 0 1 0 172493 114 0 0 23 0 19 0 912537725 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2652837 990262 2251 9 0 2643571 0 [pid=1113/tid=1114] ppid=1111 vsize=10611348 CPUtime=1721.12 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 851259 0 1 0 172021 91 0 0 25 0 19 0 912537726 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505643315 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1113/tid=1116] ppid=1111 vsize=10611348 CPUtime=0.47 cores=1,3,5,7 /proc/1113/task/1116/stat : 1116 (java) S 1111 1113 326 0 -1 4202560 28950 0 0 0 43 4 0 0 15 0 19 0 912537727 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1117] ppid=1111 vsize=10611348 CPUtime=0.37 cores=1,3,5,7 /proc/1113/task/1117/stat : 1117 (java) S 1111 1113 326 0 -1 4202560 13064 0 0 0 36 1 0 0 16 0 19 0 912537727 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1118] ppid=1111 vsize=10611348 CPUtime=0.37 cores=1,3,5,7 /proc/1113/task/1118/stat : 1118 (java) S 1111 1113 326 0 -1 4202560 17788 0 0 0 35 2 0 0 16 0 19 0 912537727 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1119] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1119/stat : 1119 (java) S 1111 1113 326 0 -1 4202560 16049 0 0 0 38 2 0 0 15 0 19 0 912537727 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1120] ppid=1111 vsize=10611348 CPUtime=0.44 cores=1,3,5,7 /proc/1113/task/1120/stat : 1120 (java) S 1111 1113 326 0 -1 4202560 17257 0 0 0 43 1 0 0 15 0 19 0 912537727 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1121] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1121/stat : 1121 (java) S 1111 1113 326 0 -1 4202560 17529 0 0 0 38 2 0 0 15 0 19 0 912537727 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1122] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1122/stat : 1122 (java) S 1111 1113 326 0 -1 4202560 19378 0 0 0 38 2 0 0 16 0 19 0 912537727 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1123] ppid=1111 vsize=10611348 CPUtime=0.39 cores=1,3,5,7 /proc/1113/task/1123/stat : 1123 (java) S 1111 1113 326 0 -1 4202560 14703 0 0 0 38 1 0 0 15 0 19 0 912537727 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1124] ppid=1111 vsize=10611348 CPUtime=0.02 cores=1,3,5,7 /proc/1113/task/1124/stat : 1124 (java) S 1111 1113 326 0 -1 4202560 99 0 0 0 1 1 0 0 15 0 19 0 912537728 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 0 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1125] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1125/stat : 1125 (java) S 1111 1113 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912537729 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1126] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1126/stat : 1126 (java) S 1111 1113 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912537729 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1127] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1127/stat : 1127 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032219569 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1128] ppid=1111 vsize=10611348 CPUtime=0.62 cores=1,3,5,7 /proc/1113/task/1128/stat : 1128 (java) S 1111 1113 326 0 -1 4202560 2677 0 0 0 62 0 0 0 16 0 19 0 912537731 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1129] ppid=1111 vsize=10611348 CPUtime=0.94 cores=1,3,5,7 /proc/1113/task/1129/stat : 1129 (java) S 1111 1113 326 0 -1 4202560 4061 0 0 0 94 0 0 0 15 0 19 0 912537731 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1130] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1130/stat : 1130 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1131] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1131/stat : 1131 (java) S 1111 1113 326 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 912537731 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1132] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1132/stat : 1132 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912537785 10866020352 990262 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1726.07 Current children cumulated vsize (KiB) 10611348 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/364 1230 /proc/meminfo: memFree=16411364/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10611348 CPUtime=1786.15 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 1011331 0 1 0 178501 114 0 0 23 0 19 0 912537725 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2652837 997495 2251 9 0 2643571 0 [pid=1113/tid=1114] ppid=1111 vsize=10611348 CPUtime=1781.07 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 851263 0 1 0 178016 91 0 0 25 0 19 0 912537726 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505826810 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1113/tid=1116] ppid=1111 vsize=10611348 CPUtime=0.48 cores=1,3,5,7 /proc/1113/task/1116/stat : 1116 (java) S 1111 1113 326 0 -1 4202560 28950 0 0 0 44 4 0 0 15 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1117] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1117/stat : 1117 (java) S 1111 1113 326 0 -1 4202560 13569 0 0 0 39 1 0 0 16 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1118] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1118/stat : 1118 (java) S 1111 1113 326 0 -1 4202560 24422 0 0 0 37 3 0 0 16 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1119] ppid=1111 vsize=10611348 CPUtime=0.41 cores=1,3,5,7 /proc/1113/task/1119/stat : 1119 (java) S 1111 1113 326 0 -1 4202560 16053 0 0 0 39 2 0 0 16 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1120] ppid=1111 vsize=10611348 CPUtime=0.45 cores=1,3,5,7 /proc/1113/task/1120/stat : 1120 (java) S 1111 1113 326 0 -1 4202560 17258 0 0 0 44 1 0 0 15 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1121] ppid=1111 vsize=10611348 CPUtime=0.42 cores=1,3,5,7 /proc/1113/task/1121/stat : 1121 (java) S 1111 1113 326 0 -1 4202560 17538 0 0 0 40 2 0 0 15 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1122] ppid=1111 vsize=10611348 CPUtime=0.43 cores=1,3,5,7 /proc/1113/task/1122/stat : 1122 (java) S 1111 1113 326 0 -1 4202560 19484 0 0 0 41 2 0 0 16 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1123] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1123/stat : 1123 (java) S 1111 1113 326 0 -1 4202560 14703 0 0 0 39 1 0 0 15 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1124] ppid=1111 vsize=10611348 CPUtime=0.02 cores=1,3,5,7 /proc/1113/task/1124/stat : 1124 (java) S 1111 1113 326 0 -1 4202560 101 0 0 0 1 1 0 0 15 0 19 0 912537728 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 0 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1125] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1125/stat : 1125 (java) S 1111 1113 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912537729 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1126] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1126/stat : 1126 (java) S 1111 1113 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912537729 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1127] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1127/stat : 1127 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032219569 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1128] ppid=1111 vsize=10611348 CPUtime=0.62 cores=1,3,5,7 /proc/1113/task/1128/stat : 1128 (java) S 1111 1113 326 0 -1 4202560 2677 0 0 0 62 0 0 0 16 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1129] ppid=1111 vsize=10611348 CPUtime=0.94 cores=1,3,5,7 /proc/1113/task/1129/stat : 1129 (java) S 1111 1113 326 0 -1 4202560 4061 0 0 0 94 0 0 0 15 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1130] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1130/stat : 1130 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1131] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1131/stat : 1131 (java) S 1111 1113 326 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1132] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1132/stat : 1132 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912537785 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1786.15 Current children cumulated vsize (KiB) 10611348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.2 s] /proc/loadavg: 2.00 2.01 2.00 4/364 1239 /proc/meminfo: memFree=16407516/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=10611348 CPUtime=1800.07 cores=1,3,5,7 /proc/1113/stat : 1113 (java) S 1111 1113 326 0 -1 4202496 1011331 0 1 0 179893 114 0 0 23 0 19 0 912537725 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 2652837 997495 2251 9 0 2643571 0 [pid=1113/tid=1114] ppid=1111 vsize=10611348 CPUtime=1795 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4202560 851263 0 1 0 179409 91 0 0 25 0 19 0 912537726 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 46912505643500 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=1113/tid=1116] ppid=1111 vsize=10611348 CPUtime=0.48 cores=1,3,5,7 /proc/1113/task/1116/stat : 1116 (java) S 1111 1113 326 0 -1 4202560 28950 0 0 0 44 4 0 0 15 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1117] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1117/stat : 1117 (java) S 1111 1113 326 0 -1 4202560 13569 0 0 0 39 1 0 0 16 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1118] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1118/stat : 1118 (java) S 1111 1113 326 0 -1 4202560 24422 0 0 0 37 3 0 0 16 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1119] ppid=1111 vsize=10611348 CPUtime=0.41 cores=1,3,5,7 /proc/1113/task/1119/stat : 1119 (java) S 1111 1113 326 0 -1 4202560 16053 0 0 0 39 2 0 0 16 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1120] ppid=1111 vsize=10611348 CPUtime=0.45 cores=1,3,5,7 /proc/1113/task/1120/stat : 1120 (java) S 1111 1113 326 0 -1 4202560 17258 0 0 0 44 1 0 0 15 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1121] ppid=1111 vsize=10611348 CPUtime=0.42 cores=1,3,5,7 /proc/1113/task/1121/stat : 1121 (java) S 1111 1113 326 0 -1 4202560 17538 0 0 0 40 2 0 0 15 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1122] ppid=1111 vsize=10611348 CPUtime=0.43 cores=1,3,5,7 /proc/1113/task/1122/stat : 1122 (java) S 1111 1113 326 0 -1 4202560 19484 0 0 0 41 2 0 0 16 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1123] ppid=1111 vsize=10611348 CPUtime=0.4 cores=1,3,5,7 /proc/1113/task/1123/stat : 1123 (java) S 1111 1113 326 0 -1 4202560 14703 0 0 0 39 1 0 0 15 0 19 0 912537727 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 5 0 0 0 [pid=1113/tid=1124] ppid=1111 vsize=10611348 CPUtime=0.02 cores=1,3,5,7 /proc/1113/task/1124/stat : 1124 (java) S 1111 1113 326 0 -1 4202560 101 0 0 0 1 1 0 0 15 0 19 0 912537728 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 0 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1125] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1125/stat : 1125 (java) S 1111 1113 326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912537729 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1126] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1126/stat : 1126 (java) S 1111 1113 326 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912537729 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1127] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1127/stat : 1127 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032219569 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1128] ppid=1111 vsize=10611348 CPUtime=0.62 cores=1,3,5,7 /proc/1113/task/1128/stat : 1128 (java) S 1111 1113 326 0 -1 4202560 2677 0 0 0 62 0 0 0 16 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1129] ppid=1111 vsize=10611348 CPUtime=0.94 cores=1,3,5,7 /proc/1113/task/1129/stat : 1129 (java) S 1111 1113 326 0 -1 4202560 4061 0 0 0 94 0 0 0 15 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 3 0 0 0 [pid=1113/tid=1130] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1130/stat : 1130 (java) S 1111 1113 326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032211865 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 [pid=1113/tid=1131] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1131/stat : 1131 (java) S 1111 1113 326 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912537731 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 1 0 0 0 [pid=1113/tid=1132] ppid=1111 vsize=10611348 CPUtime=0 cores=1,3,5,7 /proc/1113/task/1132/stat : 1132 (java) S 1111 1113 326 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912537785 10866020352 997495 33554432000 1073741824 1073778376 140733856443312 18446744073709551615 260032212480 0 4 0 16800975 18446604471103011776 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 10611348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.4 s] /proc/loadavg: 2.00 2.01 2.00 4/364 1239 /proc/meminfo: memFree=16407516/32951124 swapFree=67056304/67111528 [pid=1113] ppid=1111 vsize=0 CPUtime=1800.32 cores=1,3,5,7 /proc/1113/stat : 1113 (java) Z 1111 1113 326 0 -1 4203548 1011373 0 1 0 179907 125 0 0 17 0 2 0 912537725 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/1113/statm: 0 0 0 0 0 0 0 [pid=1113/tid=1114] ppid=1111 vsize=0 CPUtime=1795.15 cores=1,3,5,7 /proc/1113/task/1114/stat : 1114 (java) R 1111 1113 326 0 -1 4203588 851263 0 1 0 179414 101 0 0 25 0 2 0 912537726 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1796.44 CPU time (s): 1800.38 CPU user time (s): 1799.08 CPU system time (s): 1.2988 CPU usage (%): 100.219 Max. virtual memory (cumulated for all children) (KiB): 10611824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.08 system time used= 1.2988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1011373 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= 41514 involuntary context switches= 4821 runsolver used 5.8981 second user time and 13.6729 second system time The end
Begin job on node110 at 2011-06-04 23:31:11 IDJOB=3456655 IDBENCH=3003 IDSOLVER=1951 FILE ID=node110/3456655-1307223071 RUNJOBID= node110-1307215871-346 PBS_JOBID= 13509108 Free space on /tmp= 74044 MiB SOLVER NAME= Sat4j CuttingPlanes 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-217105354-max.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456655-1307223071/watcher-3456655-1307223071 -o /tmp/evaluation-result-3456655-1307223071/solver-3456655-1307223071 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456655-1307223071.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 64d4edb5594d01918b916e348b224fe7 RANDOM SEED=617874045 node110.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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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.83 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.830 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.76 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.830 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.83 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.830 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.74 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20092168 kB Buffers: 307588 kB Cached: 4598548 kB SwapCached: 8652 kB Active: 8055116 kB Inactive: 4475488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20092168 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 1528 kB Writeback: 0 kB AnonPages: 7622500 kB Mapped: 35480 kB Slab: 229632 kB PageTables: 35192 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 85958032 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= 74040 MiB End job on node110 at 2011-06-05 00:01:10