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