Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CuttingPlanes 2.3.0 | SAT (TO) | 2775 | 1800.28 | 1792.19 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb |
| MD5SUM | f480d2d56550630df651872786c078c9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 939 |
| Best CPU time to get the best result obtained on this benchmark | 8.41272 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 999 |
| Optimality of the best value was proved | NO |
| Number of variables | 8405 |
| Total number of constraints | 10667 |
| Number of constraints which are clauses | 9918 |
| Number of constraints which are cardinality constraints (but not clauses) | 749 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 351 |
| Number of terms in the objective function | 6892 |
| Biggest coefficient in the objective function | 667 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 371779 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 667 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 371779 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.08 c version 2.3.1.v20110525 0.04/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.08 c java.vm.version 19.1-b02 0.04/0.08 c java.vm.vendor Sun Microsystems Inc. 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.18-164.el5 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 9996466904 0.04/0.08 c Max memory 10048897024 0.04/0.08 c Total memory 10048897024 0.04/0.08 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization 0.10/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@38540408 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-3456616-1307635161.opb 0.10/0.10 c reading problem ... 0.70/0.44 c ... done. Wall clock time 0.342s. 0.70/0.44 c #vars 8405 0.70/0.44 c #constraints 11367 0.70/0.44 c constraints type 0.70/0.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9918 0.70/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 700 0.70/0.44 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 748 2.02/1.15 c SATISFIABLE 2.02/1.15 c OPTIMIZING... 2.02/1.15 c Got one! Elapsed wall clock time (in seconds):1.047 2.02/1.15 o 2913 919.05/914.36 c Got one! Elapsed wall clock time (in seconds):914.257 919.05/914.36 o 2775 1800.04/1792.01 c starts : 16 1800.04/1792.01 c conflicts : 2387 1800.04/1792.01 c decisions : 210507 1800.04/1792.01 c propagations : 624390 1800.04/1792.01 c inspects : 59111242 1800.04/1792.01 c shortcuts : 0 1800.04/1792.01 c learnt literals : 0 1800.04/1792.01 c learnt binary clauses : 0 1800.04/1792.01 c learnt ternary clauses : 0 1800.04/1792.01 c learnt constraints : 2386 1800.04/1792.01 c ignored constraints : 0 1800.04/1792.01 c root simplifications : 0 1800.04/1792.01 c removed literals (reason simplification) : 0 1800.04/1792.01 c reason swapping (by a shorter reason) : 0 1800.04/1792.01 c Calls to reduceDB : 0 1800.04/1792.01 c number of reductions to clauses (during analyze) : 0 1800.04/1792.01 c number of learned constraints concerned by reduction : 0 1800.04/1792.01 c number of learning phase by resolution : 0 1800.04/1792.01 c number of learning phase by cutting planes : 0 1800.04/1792.01 c speed (assignments/second) : 711.4428597635247 1800.04/1792.01 c non guided choices 260 1800.04/1792.01 c learnt constraints type 1800.04/1792.01 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 376 1800.04/1792.01 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 188 1800.04/1792.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1822 1800.04/1792.01 c constraints type 1800.04/1792.01 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9918 1800.04/1792.01 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 700 1800.04/1792.01 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 748 1800.04/1792.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.04/1792.01 s SATISFIABLE 1800.04/1792.02 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 1800.04/1792.03 c objective function=2775 1800.04/1792.03 c Total wall clock time (in seconds): 1791.932
OK 2775
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456616-1307635161/watcher-3456616-1307635161 -o /tmp/evaluation-result-3456616-1307635161/solver-3456616-1307635161 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456616-1307635161.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.02 1.72 1/172 4929 /proc/meminfo: memFree=32673600/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=30540 CPUtime=0 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 953746936 31272960 959 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 7635 960 732 9 0 386 0 [pid=4929/tid=4930] ppid=4927 vsize=30536 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) S 4927 4929 4604 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 953746936 31268864 963 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 215983668871 0 2147483391 0 16784584 18446744071699199166 0 0 -1 1 0 0 0 [startup+0.0532631 s] /proc/loadavg: 2.08 2.02 1.72 1/172 4929 /proc/meminfo: memFree=32673600/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10467616 CPUtime=0.04 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 11503 0 1 0 3 1 0 0 25 0 13 0 953746936 10718838784 11200 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2616904 11200 1685 9 0 2607652 0 [pid=4929/tid=4930] ppid=4927 vsize=10467616 CPUtime=0.04 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 10356 0 1 0 3 1 0 0 25 0 13 0 953746936 10718838784 11200 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 47051051397210 0 4 0 16800971 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10467616 [startup+0.100254 s] /proc/loadavg: 2.08 2.02 1.72 1/172 4929 /proc/meminfo: memFree=32673600/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10539704 CPUtime=0.1 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 13103 0 1 0 9 1 0 0 25 0 18 0 953746936 10792656896 12785 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2634926 12787 2093 9 0 2625660 0 [pid=4929/tid=4930] ppid=4927 vsize=10539704 CPUtime=0.08 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 11191 0 1 0 7 1 0 0 25 0 18 0 953746936 10792656896 12787 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 47051050770437 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539704 [startup+0.300221 s] /proc/loadavg: 2.08 2.02 1.72 1/172 4929 /proc/meminfo: memFree=32673600/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10543860 CPUtime=0.54 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 19752 0 1 0 51 3 0 0 25 0 18 0 953746936 10796912640 18158 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2635965 18158 2205 9 0 2626699 0 [pid=4929/tid=4930] ppid=4927 vsize=10543860 CPUtime=0.29 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 15088 0 1 0 27 2 0 0 25 0 18 0 953746936 10796912640 18159 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 46912505554462 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 10543860 [startup+0.700149 s] /proc/loadavg: 2.08 2.02 1.72 1/172 4929 /proc/meminfo: memFree=32673600/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10545976 CPUtime=1.4 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 28541 0 1 0 136 4 0 0 25 0 19 0 953746936 10799079424 26427 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2636494 26427 2230 9 0 2627228 0 [pid=4929/tid=4930] ppid=4927 vsize=10545976 CPUtime=0.69 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 22133 0 1 0 65 4 0 0 25 0 19 0 953746936 10799079424 26427 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 46912505882875 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 10545976 [startup+1.50101 s] /proc/loadavg: 2.08 2.02 1.72 3/214 4980 /proc/meminfo: memFree=32491940/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10546604 CPUtime=2.65 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 35912 0 1 0 260 5 0 0 25 0 19 0 953746936 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2636651 32790 2239 9 0 2627385 0 [pid=4929/tid=4930] ppid=4927 vsize=10546604 CPUtime=1.48 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 28271 0 1 0 144 4 0 0 25 0 19 0 953746936 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 46912505883018 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4929/tid=4932] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4932/stat : 4932 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4933] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4933/stat : 4933 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4934] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4934/stat : 4934 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4935] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4935/stat : 4935 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4936] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4936/stat : 4936 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4937] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4937/stat : 4937 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4938] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4938/stat : 4938 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4939] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4939/stat : 4939 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4942] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4942/stat : 4942 (java) S 4927 4929 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 0 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4943] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4943/stat : 4943 (java) S 4927 4929 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953746939 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4944] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4944/stat : 4944 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746939 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4945] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4945/stat : 4945 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000416177 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4946] ppid=4927 vsize=10546604 CPUtime=0.56 cores=1,3,5,7 /proc/4929/task/4946/stat : 4946 (java) S 4927 4929 4604 0 -1 4202560 2275 0 0 0 56 0 0 0 21 0 19 0 953746941 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4947] ppid=4927 vsize=10546604 CPUtime=0.58 cores=1,3,5,7 /proc/4929/task/4947/stat : 4947 (java) S 4927 4929 4604 0 -1 4202560 4206 0 0 0 58 0 0 0 21 0 19 0 953746941 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4948] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4948/stat : 4948 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4949] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4949/stat : 4949 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953746941 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4980] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4980/stat : 4980 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746988 10799722496 32790 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 10546604 [startup+3.10073 s] /proc/loadavg: 2.08 2.02 1.72 3/214 4980 /proc/meminfo: memFree=32446060/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10546604 CPUtime=4.34 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 38402 0 1 0 428 6 0 0 25 0 19 0 953746936 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2636651 35279 2239 9 0 2627385 0 [pid=4929/tid=4930] ppid=4927 vsize=10546604 CPUtime=3.09 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 30751 0 1 0 304 5 0 0 25 0 19 0 953746936 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 46912505883096 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4929/tid=4932] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4932/stat : 4932 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4933] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4933/stat : 4933 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4934] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4934/stat : 4934 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4935] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4935/stat : 4935 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4936] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4936/stat : 4936 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4937] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4937/stat : 4937 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4938] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4938/stat : 4938 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4939] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4939/stat : 4939 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4942] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4942/stat : 4942 (java) S 4927 4929 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 0 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4943] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4943/stat : 4943 (java) S 4927 4929 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953746939 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4944] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4944/stat : 4944 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746939 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4945] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4945/stat : 4945 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000416177 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4946] ppid=4927 vsize=10546604 CPUtime=0.61 cores=1,3,5,7 /proc/4929/task/4946/stat : 4946 (java) S 4927 4929 4604 0 -1 4202560 2282 0 0 0 61 0 0 0 15 0 19 0 953746941 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4947] ppid=4927 vsize=10546604 CPUtime=0.62 cores=1,3,5,7 /proc/4929/task/4947/stat : 4947 (java) S 4927 4929 4604 0 -1 4202560 4209 0 0 0 62 0 0 0 15 0 19 0 953746941 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4948] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4948/stat : 4948 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4949] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4949/stat : 4949 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953746941 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4980] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4980/stat : 4980 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746988 10799722496 35279 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 10546604 [startup+6.30117 s] /proc/loadavg: 2.07 2.02 1.72 3/214 4980 /proc/meminfo: memFree=32347264/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10546604 CPUtime=7.55 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 43134 0 1 0 749 6 0 0 25 0 19 0 953746936 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2636651 40000 2240 9 0 2627385 0 [pid=4929/tid=4930] ppid=4927 vsize=10546604 CPUtime=6.29 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 35479 0 1 0 624 5 0 0 25 0 19 0 953746936 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 46912505882856 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4929/tid=4932] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4932/stat : 4932 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4933] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4933/stat : 4933 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4934] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4934/stat : 4934 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4935] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4935/stat : 4935 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4936] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4936/stat : 4936 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4937] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4937/stat : 4937 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4938] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4938/stat : 4938 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4939] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4939/stat : 4939 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746938 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4942] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4942/stat : 4942 (java) S 4927 4929 4604 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953746939 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 0 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4943] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4943/stat : 4943 (java) S 4927 4929 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953746939 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4944] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4944/stat : 4944 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746939 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4945] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4945/stat : 4945 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000416177 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4946] ppid=4927 vsize=10546604 CPUtime=0.61 cores=1,3,5,7 /proc/4929/task/4946/stat : 4946 (java) S 4927 4929 4604 0 -1 4202560 2282 0 0 0 61 0 0 0 15 0 19 0 953746941 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4947] ppid=4927 vsize=10546604 CPUtime=0.64 cores=1,3,5,7 /proc/4929/task/4947/stat : 4947 (java) S 4927 4929 4604 0 -1 4202560 4212 0 0 0 64 0 0 0 15 0 19 0 953746941 10799722496 40000 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/4929/task/4943/stat : 4943 (java) S 4927 4929 4604 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 1015633 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4944] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4944/stat : 4944 (java) S 4927 4929 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 1015633 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4945] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4945/stat : 4945 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 1015633 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000416177 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4946] ppid=4927 vsize=10546604 CPUtime=0.76 cores=1,3,5,7 /proc/4929/task/4946/stat : 4946 (java) S 4927 4929 4604 0 -1 4202560 2317 0 0 0 76 0 0 0 15 0 19 0 953746941 10799722496 1015633 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4947] ppid=4927 vsize=10546604 CPUtime=0.81 cores=1,3,5,7 /proc/4929/task/4947/stat : 4947 (java) S 4927 4929 4604 0 -1 4202560 4249 0 0 0 81 0 0 0 15 0 19 0 953746941 10799722496 1015633 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4948] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4948/stat : 4948 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 1015633 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4949] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4949/stat : 4949 (java) S 4927 4929 4604 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 953746941 10799722496 1015633 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4980] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4980/stat : 4980 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746988 10799722496 1015633 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1669.49 Current children cumulated vsize (KiB) 10546604 [startup+1722.3 s] /proc/loadavg: 2.05 2.01 1.93 3/214 5091 /proc/meminfo: memFree=24674088/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10546604 CPUtime=1729.89 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 1032692 0 1 0 172866 123 0 0 25 0 19 0 953746936 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2636651 1023394 2254 9 0 2627385 0 [pid=4929/tid=4930] ppid=4927 vsize=10546604 CPUtime=1720.07 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 770433 0 1 0 171921 86 0 0 25 0 19 0 953746936 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 46912505878351 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4929/tid=4932] ppid=4927 vsize=10546604 CPUtime=1.06 cores=1,3,5,7 /proc/4929/task/4932/stat : 4932 (java) S 4927 4929 4604 0 -1 4202560 38241 0 0 0 101 5 0 0 15 0 19 0 953746938 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4933] ppid=4927 vsize=10546604 CPUtime=0.93 cores=1,3,5,7 /proc/4929/task/4933/stat : 4933 (java) S 4927 4929 4604 0 -1 4202560 24881 0 0 0 89 4 0 0 16 0 19 0 953746938 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4934] ppid=4927 vsize=10546604 CPUtime=1.36 cores=1,3,5,7 /proc/4929/task/4934/stat : 4934 (java) S 4927 4929 4604 0 -1 4202560 50648 0 0 0 130 6 0 0 16 0 19 0 953746938 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4935] ppid=4927 vsize=10546604 CPUtime=0.83 cores=1,3,5,7 /proc/4929/task/4935/stat : 4935 (java) S 4927 4929 4604 0 -1 4202560 21387 0 0 0 80 3 0 0 15 0 19 0 953746938 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4936] ppid=4927 vsize=10546604 CPUtime=1.07 cores=1,3,5,7 /proc/4929/task/4936/stat : 4936 (java) S 4927 4929 4604 0 -1 4202560 29872 0 0 0 104 3 0 0 16 0 19 0 953746938 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4937] ppid=4927 vsize=10546604 CPUtime=0.95 cores=1,3,5,7 /proc/4929/task/4937/stat : 4937 (java) S 4927 4929 4604 0 -1 4202560 27075 0 0 0 93 2 0 0 15 0 19 0 953746938 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4938] ppid=4927 vsize=10546604 CPUtime=0.96 cores=1,3,5,7 /proc/4929/task/4938/stat : 4938 (java) S 4927 4929 4604 0 -1 4202560 33468 0 0 0 92 4 0 0 15 0 19 0 953746938 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4939] ppid=4927 vsize=10546604 CPUtime=0.93 cores=1,3,5,7 /proc/4929/task/4939/stat : 4939 (java) S 4927 4929 4604 0 -1 4202560 28779 0 0 0 90 3 0 0 16 0 19 0 953746938 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4942] ppid=4927 vsize=10546604 CPUtime=0.02 cores=1,3,5,7 /proc/4929/task/4942/stat : 4942 (java) S 4927 4929 4604 0 -1 4202560 89 0 0 0 1 1 0 0 15 0 19 0 953746939 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 0 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4943] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4943/stat : 4943 (java) S 4927 4929 4604 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4944] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4944/stat : 4944 (java) S 4927 4929 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4945] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4945/stat : 4945 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000416177 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4946] ppid=4927 vsize=10546604 CPUtime=0.76 cores=1,3,5,7 /proc/4929/task/4946/stat : 4946 (java) S 4927 4929 4604 0 -1 4202560 2317 0 0 0 76 0 0 0 15 0 19 0 953746941 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4947] ppid=4927 vsize=10546604 CPUtime=0.81 cores=1,3,5,7 /proc/4929/task/4947/stat : 4947 (java) S 4927 4929 4604 0 -1 4202560 4249 0 0 0 81 0 0 0 15 0 19 0 953746941 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4948] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4948/stat : 4948 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4949] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4949/stat : 4949 (java) S 4927 4929 4604 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 953746941 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4980] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4980/stat : 4980 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746988 10799722496 1023394 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1729.89 Current children cumulated vsize (KiB) 10546604 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 1.93 3/214 5093 /proc/meminfo: memFree=24634960/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10546604 CPUtime=1790.26 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 1034628 0 1 0 178903 123 0 0 25 0 19 0 953746936 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2636651 1025268 2254 9 0 2627385 0 [pid=4929/tid=4930] ppid=4927 vsize=10546604 CPUtime=1779.94 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 770443 0 1 0 177908 86 0 0 25 0 19 0 953746936 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 46912506200502 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4929/tid=4932] ppid=4927 vsize=10546604 CPUtime=1.18 cores=1,3,5,7 /proc/4929/task/4932/stat : 4932 (java) S 4927 4929 4604 0 -1 4202560 38968 0 0 0 113 5 0 0 16 0 19 0 953746938 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4933] ppid=4927 vsize=10546604 CPUtime=0.98 cores=1,3,5,7 /proc/4929/task/4933/stat : 4933 (java) S 4927 4929 4604 0 -1 4202560 25011 0 0 0 94 4 0 0 15 0 19 0 953746938 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4934] ppid=4927 vsize=10546604 CPUtime=1.44 cores=1,3,5,7 /proc/4929/task/4934/stat : 4934 (java) S 4927 4929 4604 0 -1 4202560 50870 0 0 0 138 6 0 0 16 0 19 0 953746938 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4935] ppid=4927 vsize=10546604 CPUtime=0.89 cores=1,3,5,7 /proc/4929/task/4935/stat : 4935 (java) S 4927 4929 4604 0 -1 4202560 21563 0 0 0 86 3 0 0 16 0 19 0 953746938 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4936] ppid=4927 vsize=10546604 CPUtime=1.12 cores=1,3,5,7 /proc/4929/task/4936/stat : 4936 (java) S 4927 4929 4604 0 -1 4202560 30024 0 0 0 109 3 0 0 15 0 19 0 953746938 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4937] ppid=4927 vsize=10546604 CPUtime=1.01 cores=1,3,5,7 /proc/4929/task/4937/stat : 4937 (java) S 4927 4929 4604 0 -1 4202560 27327 0 0 0 99 2 0 0 15 0 19 0 953746938 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4938] ppid=4927 vsize=10546604 CPUtime=0.98 cores=1,3,5,7 /proc/4929/task/4938/stat : 4938 (java) S 4927 4929 4604 0 -1 4202560 33555 0 0 0 94 4 0 0 15 0 19 0 953746938 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4939] ppid=4927 vsize=10546604 CPUtime=1.01 cores=1,3,5,7 /proc/4929/task/4939/stat : 4939 (java) S 4927 4929 4604 0 -1 4202560 28955 0 0 0 98 3 0 0 16 0 19 0 953746938 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4942] ppid=4927 vsize=10546604 CPUtime=0.02 cores=1,3,5,7 /proc/4929/task/4942/stat : 4942 (java) S 4927 4929 4604 0 -1 4202560 91 0 0 0 1 1 0 0 15 0 19 0 953746939 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 0 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4943] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4943/stat : 4943 (java) S 4927 4929 4604 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4944] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4944/stat : 4944 (java) S 4927 4929 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4945] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4945/stat : 4945 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000416177 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4946] ppid=4927 vsize=10546604 CPUtime=0.76 cores=1,3,5,7 /proc/4929/task/4946/stat : 4946 (java) S 4927 4929 4604 0 -1 4202560 2317 0 0 0 76 0 0 0 15 0 19 0 953746941 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4947] ppid=4927 vsize=10546604 CPUtime=0.81 cores=1,3,5,7 /proc/4929/task/4947/stat : 4947 (java) S 4927 4929 4604 0 -1 4202560 4249 0 0 0 81 0 0 0 15 0 19 0 953746941 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4948] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4948/stat : 4948 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4949] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4949/stat : 4949 (java) S 4927 4929 4604 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953746941 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4980] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4980/stat : 4980 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746988 10799722496 1025268 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1790.26 Current children cumulated vsize (KiB) 10546604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792 s] /proc/loadavg: 2.01 2.01 1.93 3/214 5093 /proc/meminfo: memFree=24623296/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=10546604 CPUtime=1800.04 cores=1,3,5,7 /proc/4929/stat : 4929 (java) S 4927 4929 4604 0 -1 4202496 1035083 0 1 0 179881 123 0 0 25 0 19 0 953746936 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 2636651 1025713 2254 9 0 2627385 0 [pid=4929/tid=4930] ppid=4927 vsize=10546604 CPUtime=1789.61 cores=1,3,5,7 /proc/4929/task/4930/stat : 4930 (java) R 4927 4929 4604 0 -1 4202560 770445 0 1 0 178875 86 0 0 25 0 19 0 953746936 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 46912506255048 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=4929/tid=4932] ppid=4927 vsize=10546604 CPUtime=1.18 cores=1,3,5,7 /proc/4929/task/4932/stat : 4932 (java) S 4927 4929 4604 0 -1 4202560 38968 0 0 0 113 5 0 0 16 0 19 0 953746938 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4933] ppid=4927 vsize=10546604 CPUtime=1.01 cores=1,3,5,7 /proc/4929/task/4933/stat : 4933 (java) S 4927 4929 4604 0 -1 4202560 25101 0 0 0 97 4 0 0 16 0 19 0 953746938 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4934] ppid=4927 vsize=10546604 CPUtime=1.45 cores=1,3,5,7 /proc/4929/task/4934/stat : 4934 (java) S 4927 4929 4604 0 -1 4202560 50962 0 0 0 139 6 0 0 15 0 19 0 953746938 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4935] ppid=4927 vsize=10546604 CPUtime=0.9 cores=1,3,5,7 /proc/4929/task/4935/stat : 4935 (java) S 4927 4929 4604 0 -1 4202560 21648 0 0 0 87 3 0 0 15 0 19 0 953746938 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4936] ppid=4927 vsize=10546604 CPUtime=1.15 cores=1,3,5,7 /proc/4929/task/4936/stat : 4936 (java) S 4927 4929 4604 0 -1 4202560 30174 0 0 0 112 3 0 0 16 0 19 0 953746938 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4937] ppid=4927 vsize=10546604 CPUtime=1.03 cores=1,3,5,7 /proc/4929/task/4937/stat : 4937 (java) S 4927 4929 4604 0 -1 4202560 27357 0 0 0 101 2 0 0 16 0 19 0 953746938 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 [pid=4929/tid=4938] ppid=4927 vsize=10546604 CPUtime=0.99 cores=1,3,5,7 /proc/4929/task/4938/stat : 4938 (java) S 4927 4929 4604 0 -1 4202560 33557 0 0 0 95 4 0 0 16 0 19 0 953746938 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4939] ppid=4927 vsize=10546604 CPUtime=1.01 cores=1,3,5,7 /proc/4929/task/4939/stat : 4939 (java) S 4927 4929 4604 0 -1 4202560 28955 0 0 0 98 3 0 0 15 0 19 0 953746938 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4942] ppid=4927 vsize=10546604 CPUtime=0.02 cores=1,3,5,7 /proc/4929/task/4942/stat : 4942 (java) S 4927 4929 4604 0 -1 4202560 93 0 0 0 1 1 0 0 15 0 19 0 953746939 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 0 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4943] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4943/stat : 4943 (java) S 4927 4929 4604 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4944] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4944/stat : 4944 (java) S 4927 4929 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953746939 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4945] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4945/stat : 4945 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000416177 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4946] ppid=4927 vsize=10546604 CPUtime=0.76 cores=1,3,5,7 /proc/4929/task/4946/stat : 4946 (java) S 4927 4929 4604 0 -1 4202560 2317 0 0 0 76 0 0 0 15 0 19 0 953746941 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 5 0 0 0 [pid=4929/tid=4947] ppid=4927 vsize=10546604 CPUtime=0.81 cores=1,3,5,7 /proc/4929/task/4947/stat : 4947 (java) S 4927 4929 4604 0 -1 4202560 4249 0 0 0 81 0 0 0 15 0 19 0 953746941 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4948] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4948/stat : 4948 (java) S 4927 4929 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953746941 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000408473 0 4 0 16800975 18446604471153407296 0 0 -1 3 0 0 0 [pid=4929/tid=4949] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4949/stat : 4949 (java) S 4927 4929 4604 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 953746941 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 1 0 0 0 [pid=4929/tid=4980] ppid=4927 vsize=10546604 CPUtime=0 cores=1,3,5,7 /proc/4929/task/4980/stat : 4980 (java) S 4927 4929 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953746988 10799722496 1025713 33554432000 1073741824 1073778376 140736377232096 18446744073709551615 216000409088 0 4 0 16800975 18446604471153407296 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 10546604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1792.11 s] /proc/loadavg: 2.01 2.01 1.93 3/214 5093 /proc/meminfo: memFree=24623296/32950940 swapFree=67074964/67111528 [pid=4929] ppid=4927 vsize=0 CPUtime=1800.19 cores=1,3,5,7 /proc/4929/stat : 4929 (java) Z 4927 4929 4604 0 -1 4203548 1035118 0 1 0 179890 129 0 0 17 0 2 0 953746936 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/4929/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1792.19 CPU time (s): 1800.28 CPU user time (s): 1798.9 CPU system time (s): 1.37679 CPU usage (%): 100.451 Max. virtual memory (cumulated for all children) (KiB): 10547156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.9 system time used= 1.37679 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1035118 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= 41530 involuntary context switches= 15308 runsolver used 2.94655 second user time and 6.85796 second system time The end
Begin job on node117 at 2011-06-09 17:59:22 IDJOB=3456616 IDBENCH=2233 IDSOLVER=1951 FILE ID=node117/3456616-1307635161 RUNJOBID= node117-1307633277-4623 PBS_JOBID= 13549374 Free space on /tmp= 74136 MiB SOLVER NAME= Sat4j CuttingPlanes 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456616-1307635161/watcher-3456616-1307635161 -o /tmp/evaluation-result-3456616-1307635161/solver-3456616-1307635161 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456616-1307635161.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f480d2d56550630df651872786c078c9 RANDOM SEED=1597484538 node117.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.849 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.69 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.849 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.849 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.74 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.75 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.849 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 32673904 kB Buffers: 21556 kB Cached: 93440 kB SwapCached: 5756 kB Active: 75732 kB Inactive: 74100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 32673904 kB SwapTotal: 67111528 kB SwapFree: 67074964 kB Dirty: 880 kB Writeback: 0 kB AnonPages: 31572 kB Mapped: 14104 kB Slab: 60880 kB PageTables: 4248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 187552 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node117 at 2011-06-09 18:29:16