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