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