| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT | 65.1141 | 64.0611 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/robin/normalized-robin14.opb |
| MD5SUM | 321349c7a7114538010c83c600c72ae9 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 9.64253 |
| Has Objective Function | NO |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 8281 |
| Total number of constraints | 826 |
| Number of constraints which are clauses | 364 |
| Number of constraints which are cardinality constraints (but not clauses) | 462 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 91 |
| Maximum length of a constraint | 169 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 171 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.08/0.72 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.08/0.72 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.72 c See www.sat4j.org for details. 0.08/0.74 c version 2.3.2.v20120418 0.08/0.74 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.74 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.74 c java.vm.version 19.1-b02 0.08/0.74 c java.vm.vendor Sun Microsystems Inc. 0.08/0.74 c sun.arch.data.model 64 0.08/0.74 c java.version 1.6.0_24 0.08/0.74 c os.name Linux 0.08/0.74 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.74 c os.arch amd64 0.08/0.74 c Free memory 501472288 0.08/0.74 c Max memory 7480803328 0.08/0.74 c Total memory 504102912 0.08/0.74 c Number of processors 8 0.14/0.81 c Pseudo Boolean Optimization by upper bound 0.14/0.81 c --- Begin Solver configuration --- 0.14/0.81 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.14/0.81 c Learn all clauses as in MiniSAT 0.14/0.81 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.81 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.81 c No reason simplification 0.14/0.81 c Armin Biere (Picosat) restarts strategy 0.14/0.81 c Glucose learned constraints deletion strategy 0.14/0.81 c timeout=2147483s 0.14/0.81 c DB Simplification allowed=false 0.14/0.81 c c --- End Solver configuration --- 0.14/0.81 c solving HOME/instance-3687179-1337871882.opb 0.14/0.81 c reading problem ... 0.68/1.18 c ... done. Wall clock time 0.371s. 0.68/1.18 c declared #vars 8281 0.68/1.18 c #constraints 826 0.68/1.18 c constraints type 0.68/1.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 364 0.68/1.18 c org.sat4j.minisat.constraints.card.MinWatchCard => 462 0.68/1.18 c 826 constraints processed. 1.87/2.03 c cleaning 2479 clauses out of 5000 with flag 5000/5000 2.93/3.03 c cleaning 4227 clauses out of 8521 with flag 11000/11000 4.30/4.30 c cleaning 5581 clauses out of 11294 with flag 18000/18000 5.56/5.59 c cleaning 6832 clauses out of 13713 with flag 26000/26000 7.31/7.22 c cleaning 7906 clauses out of 15883 with flag 35002/35002 9.05/8.90 c cleaning 8965 clauses out of 17975 with flag 45000/45000 11.19/11.01 c cleaning 9990 clauses out of 20011 with flag 56001/56001 13.86/13.62 c cleaning 10987 clauses out of 22020 with flag 68000/68000 16.33/16.08 c cleaning 11982 clauses out of 24034 with flag 81001/81001 19.08/18.73 c cleaning 12960 clauses out of 26054 with flag 95003/95003 22.85/22.50 c cleaning 14022 clauses out of 28094 with flag 110003/110003 26.21/25.78 c cleaning 14993 clauses out of 30069 with flag 126000/126000 30.17/29.69 c cleaning 15977 clauses out of 32076 with flag 143000/143000 35.03/34.46 c cleaning 16908 clauses out of 34100 with flag 161001/161001 39.40/38.76 c cleaning 18053 clauses out of 36191 with flag 180000/180000 45.55/44.81 c cleaning 19002 clauses out of 38139 with flag 200001/200001 52.95/52.03 c cleaning 20011 clauses out of 40138 with flag 221002/221002 59.40/58.43 c cleaning 20983 clauses out of 42125 with flag 243000/243000 65.07/64.01 c starts : 120 65.07/64.01 c conflicts : 256515 65.07/64.01 c decisions : 1461936 65.07/64.01 c propagations : 32772123 65.07/64.01 c inspects : 245893337 65.07/64.01 c shortcuts : 0 65.07/64.01 c learnt literals : 0 65.07/64.01 c learnt binary clauses : 0 65.07/64.01 c learnt ternary clauses : 0 65.07/64.01 c learnt constraints : 256515 65.07/64.01 c ignored constraints : 0 65.07/64.01 c root simplifications : 0 65.07/64.01 c removed literals (reason simplification) : 0 65.07/64.01 c reason swapping (by a shorter reason) : 0 65.07/64.01 c Calls to reduceDB : 18 65.07/64.01 c number of reductions to clauses (during analyze) : 0 65.07/64.01 c number of learned constraints concerned by reduction : 0 65.07/64.01 c number of learning phase by resolution : 0 65.07/64.01 c number of learning phase by cutting planes : 0 65.07/64.01 c speed (assignments/second) : 521724.4766377458 65.07/64.01 c non guided choices 2242 65.07/64.03 c learnt constraints type 65.07/64.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 34657 65.07/64.03 c constraints type 65.07/64.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 364 65.07/64.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 462 65.07/64.03 c 826 constraints processed. 65.07/64.03 s SATISFIABLE 65.07/64.04 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 65.07/64.05 c Total wall clock time (in seconds): 63.246
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687179-1337871882/watcher-3687179-1337871882 -o /tmp/evaluation-result-3687179-1337871882/solver-3687179-1337871882 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687179-1337871882.opb running on 4 cores: 0,2,4,6 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: 0.00 0.00 0.00 2/171 27572 /proc/meminfo: memFree=29915180/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (java) D 27570 27572 27542 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 253313122 9515008 175 33554432000 1073741824 1073778376 140733798555920 140733798538648 240565175184 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/27572/statm: 2323 175 133 9 0 71 0 [startup+0.0270609 s] /proc/loadavg: 0.00 0.00 0.00 2/171 27572 /proc/meminfo: memFree=29915180/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=102664 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 1427 0 1 0 0 0 0 0 20 0 2 0 253313122 105127936 1109 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 25666 1109 856 9 0 16775 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 102664 [startup+0.100298 s] /proc/loadavg: 0.00 0.00 0.00 2/171 27572 /proc/meminfo: memFree=29915180/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9016616 CPUtime=0 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 2459 0 3 0 0 0 0 0 20 0 10 0 253313122 9233014784 3161 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2254154 3161 1278 9 0 2244855 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9016616 [startup+0.300261 s] /proc/loadavg: 0.00 0.00 0.00 2/171 27572 /proc/meminfo: memFree=29915180/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9225560 CPUtime=0.02 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 3011 0 3 0 2 0 0 0 20 0 13 0 253313122 9446973440 3711 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2306390 3711 1692 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.700211 s] /proc/loadavg: 0.00 0.00 0.00 2/171 27572 /proc/meminfo: memFree=29915180/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 3351 0 3 0 7 1 0 0 20 0 18 0 253313122 9787813888 4562 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2389603 4563 1772 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+1.50067 s] /proc/loadavg: 0.08 0.02 0.01 3/189 27590 /proc/meminfo: memFree=29886324/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9624976 CPUtime=1.37 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 8507 0 4 0 134 3 0 0 20 0 19 0 253313122 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2406244 29280 2239 9 0 2396937 0 [pid=27572/tid=27574] ppid=27570 vsize=9624976 CPUtime=0.72 cores=0,2,4,6 /proc/27572/task/27574/stat : 27574 (java) R 27570 27572 27542 0 -1 4202560 2483 0 3 0 69 3 0 0 20 0 19 0 253313124 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140658010141208 140657847527870 0 4 0 16800975 0 0 0 -1 0 0 0 63 0 0 [pid=27572/tid=27575] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27575/stat : 27575 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657971632680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27576] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27576/stat : 27576 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657970579880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27577] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27577/stat : 27577 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657969527080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27578] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27578/stat : 27578 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657968474280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27579] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27579/stat : 27579 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657967422504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27580] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27580/stat : 27580 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657966369704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27581] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27581/stat : 27581 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657846905640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27582] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27582/stat : 27582 (java) S 27570 27572 27542 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657845852840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27583] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27583/stat : 27583 (java) S 27570 27572 27542 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253313138 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657833654760 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27584] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27584/stat : 27584 (java) S 27570 27572 27542 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657832600824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27585] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27585/stat : 27585 (java) S 27570 27572 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657831547912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27586] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27586/stat : 27586 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657091930256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27587] ppid=27570 vsize=9624976 CPUtime=0.33 cores=0,2,4,6 /proc/27572/task/27587/stat : 27587 (java) S 27570 27572 27542 0 -1 4202560 2744 0 0 0 33 0 0 0 20 0 19 0 253313171 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657090878392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27588] ppid=27570 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/27572/task/27588/stat : 27588 (java) S 27570 27572 27542 0 -1 4202560 2084 0 1 0 29 0 0 0 20 0 19 0 253313171 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657089825592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27589] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27589/stat : 27589 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657088772984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27590] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27590/stat : 27590 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 29280 33554432000 1073741824 1073778376 140733921355840 140657087720392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 9624976 [startup+3.10069 s] /proc/loadavg: 0.08 0.02 0.01 2/190 27591 /proc/meminfo: memFree=29776592/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9624976 CPUtime=3.09 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 8624 0 4 0 303 6 0 0 20 0 19 0 253313122 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2406244 40601 2267 9 0 2396937 0 [pid=27572/tid=27574] ppid=27570 vsize=9624976 CPUtime=2.26 cores=0,2,4,6 /proc/27572/task/27574/stat : 27574 (java) R 27570 27572 27542 0 -1 4202560 2492 0 3 0 223 3 0 0 20 0 19 0 253313124 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140658010141080 140657847521426 0 4 0 16800975 0 0 0 -1 0 0 0 63 0 0 [pid=27572/tid=27575] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27575/stat : 27575 (java) S 27570 27572 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657971632680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27576] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27576/stat : 27576 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657970579880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27577] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27577/stat : 27577 (java) S 27570 27572 27542 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657969527080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27578] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27578/stat : 27578 (java) S 27570 27572 27542 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657968474280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27579] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27579/stat : 27579 (java) S 27570 27572 27542 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657967422504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27580] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27580/stat : 27580 (java) S 27570 27572 27542 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657966369704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27581] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27581/stat : 27581 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657846905640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27582] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27582/stat : 27582 (java) S 27570 27572 27542 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657845852840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27583] ppid=27570 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/27572/task/27583/stat : 27583 (java) S 27570 27572 27542 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 253313138 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657833654760 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27584] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27584/stat : 27584 (java) S 27570 27572 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657832600824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27585] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27585/stat : 27585 (java) S 27570 27572 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657831547912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27586] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27586/stat : 27586 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657091930256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27587] ppid=27570 vsize=9624976 CPUtime=0.36 cores=0,2,4,6 /proc/27572/task/27587/stat : 27587 (java) S 27570 27572 27542 0 -1 4202560 2751 0 0 0 36 0 0 0 20 0 19 0 253313171 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657090878392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27588] ppid=27570 vsize=9624976 CPUtime=0.31 cores=0,2,4,6 /proc/27572/task/27588/stat : 27588 (java) S 27570 27572 27542 0 -1 4202560 2084 0 1 0 31 0 0 0 20 0 19 0 253313171 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657089825592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27589] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27589/stat : 27589 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657088772984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27590] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27590/stat : 27590 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657087720392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27591] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27591/stat : 27591 (java) S 27570 27572 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253313243 9855975424 40601 33554432000 1073741824 1073778376 140733921355840 140657086665896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9624976 [startup+6.30068 s] /proc/loadavg: 0.31 0.07 0.02 4/213 27623 /proc/meminfo: memFree=29672040/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9624976 CPUtime=6.41 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 9175 0 4 0 633 8 0 0 20 0 19 0 253313122 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2406244 46720 2267 9 0 2396937 0 [pid=27572/tid=27574] ppid=27570 vsize=9624976 CPUtime=5.38 cores=0,2,4,6 /proc/27572/task/27574/stat : 27574 (java) R 27570 27572 27542 0 -1 4202560 2493 0 3 0 535 3 0 0 20 0 19 0 253313124 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140658010140920 140657847527884 0 4 0 16800975 0 0 0 -1 0 0 0 63 0 0 [pid=27572/tid=27575] ppid=27570 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/27572/task/27575/stat : 27575 (java) S 27570 27572 27542 0 -1 4202560 129 0 0 0 2 0 0 0 20 0 19 0 253313127 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657971632680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27576] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27576/stat : 27576 (java) S 27570 27572 27542 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253313127 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657970579880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27577] ppid=27570 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/27572/task/27577/stat : 27577 (java) S 27570 27572 27542 0 -1 4202560 132 0 0 0 1 0 0 0 20 0 19 0 253313127 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657969527080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27578] ppid=27570 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/27572/task/27578/stat : 27578 (java) S 27570 27572 27542 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 253313127 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657968474280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27579] ppid=27570 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/27572/task/27579/stat : 27579 (java) S 27570 27572 27542 0 -1 4202560 134 0 0 0 2 0 0 0 20 0 19 0 253313127 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657967422504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27580] ppid=27570 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/27572/task/27580/stat : 27580 (java) S 27570 27572 27542 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253313127 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657966369704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27581] ppid=27570 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/27572/task/27581/stat : 27581 (java) S 27570 27572 27542 0 -1 4202560 151 0 0 0 1 0 0 0 20 0 19 0 253313127 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657846905640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27582] ppid=27570 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/27572/task/27582/stat : 27582 (java) S 27570 27572 27542 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 253313127 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657845852840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27583] ppid=27570 vsize=9624976 CPUtime=0.06 cores=0,2,4,6 /proc/27572/task/27583/stat : 27583 (java) S 27570 27572 27542 0 -1 4202560 52 0 0 0 6 0 0 0 20 0 19 0 253313138 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657833654760 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27584] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27584/stat : 27584 (java) S 27570 27572 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657832600824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27585] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27585/stat : 27585 (java) S 27570 27572 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657831547912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27586] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27586/stat : 27586 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657091930256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27587] ppid=27570 vsize=9624976 CPUtime=0.39 cores=0,2,4,6 /proc/27572/task/27587/stat : 27587 (java) S 27570 27572 27542 0 -1 4202560 2759 0 0 0 39 0 0 0 20 0 19 0 253313171 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657090878392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27588] ppid=27570 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/27572/task/27588/stat : 27588 (java) S 27570 27572 27542 0 -1 4202560 2085 0 1 0 32 0 0 0 20 0 19 0 253313171 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657089825592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27589] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27589/stat : 27589 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657088772984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27590] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27590/stat : 27590 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657087720392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27591] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27591/stat : 27591 (java) S 27570 27572 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253313243 9855975424 46720 33554432000 1073741824 1073778376 140733921355840 140657086665896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 6.41 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] /proc/loadavg: 0.37 0.08 0.03 2/190 27648 /proc/meminfo: memFree=29703948/32873844 swapFree=7116/7116 ################ # More data... # ################ /proc/27572/task/27575/stat : 27575 (java) S 27570 27572 27542 0 -1 4202560 164 0 0 0 13 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657971632680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27576] ppid=27570 vsize=9624976 CPUtime=0.17 cores=0,2,4,6 /proc/27572/task/27576/stat : 27576 (java) S 27570 27572 27542 0 -1 4202560 36 0 0 0 15 2 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657970579880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27577] ppid=27570 vsize=9624976 CPUtime=0.17 cores=0,2,4,6 /proc/27572/task/27577/stat : 27577 (java) S 27570 27572 27542 0 -1 4202560 153 0 0 0 15 2 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657969527080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27578] ppid=27570 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/27572/task/27578/stat : 27578 (java) S 27570 27572 27542 0 -1 4202560 71 0 0 0 20 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657968474280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27579] ppid=27570 vsize=9624976 CPUtime=0.15 cores=0,2,4,6 /proc/27572/task/27579/stat : 27579 (java) S 27570 27572 27542 0 -1 4202560 164 0 0 0 12 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657967422504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27580] ppid=27570 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/27572/task/27580/stat : 27580 (java) S 27570 27572 27542 0 -1 4202560 46 0 0 0 16 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657966369704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27581] ppid=27570 vsize=9624976 CPUtime=0.16 cores=0,2,4,6 /proc/27572/task/27581/stat : 27581 (java) S 27570 27572 27542 0 -1 4202560 195 0 0 0 13 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657846905640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27582] ppid=27570 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/27572/task/27582/stat : 27582 (java) S 27570 27572 27542 0 -1 4202560 48 0 0 0 16 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657845852840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27583] ppid=27570 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/27572/task/27583/stat : 27583 (java) S 27570 27572 27542 0 -1 4202560 54 0 0 0 47 0 0 0 20 0 19 0 253313138 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657833654760 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27584] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27584/stat : 27584 (java) S 27570 27572 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657832600824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27585] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27585/stat : 27585 (java) S 27570 27572 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657831547912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27586] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27586/stat : 27586 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657091930256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27587] ppid=27570 vsize=9624976 CPUtime=0.39 cores=0,2,4,6 /proc/27572/task/27587/stat : 27587 (java) S 27570 27572 27542 0 -1 4202560 2759 0 0 0 39 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657090878392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27588] ppid=27570 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/27572/task/27588/stat : 27588 (java) S 27570 27572 27542 0 -1 4202560 2085 0 1 0 32 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657089825592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27589] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27589/stat : 27589 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657088772984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27590] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27590/stat : 27590 (java) S 27570 27572 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657087720392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27591] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27591/stat : 27591 (java) S 27570 27572 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253313243 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657086665896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 64.17 Current children cumulated vsize (KiB) 9624976 [startup+63.5008 s] /proc/loadavg: 1.16 0.33 0.11 3/213 27794 /proc/meminfo: memFree=29257624/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9624976 CPUtime=64.57 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 9488 0 4 0 6433 24 0 0 20 0 19 0 253313122 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2406244 83632 2267 9 0 2396937 0 [pid=27572/tid=27574] ppid=27570 vsize=9624976 CPUtime=61.65 cores=0,2,4,6 /proc/27572/task/27574/stat : 27574 (java) R 27570 27572 27542 0 -1 4202560 2523 0 3 0 6162 3 0 0 20 0 19 0 253313124 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140658010140960 140657847527744 0 4 0 16800975 0 0 0 -1 2 0 0 63 0 0 [pid=27572/tid=27575] ppid=27570 vsize=9624976 CPUtime=0.16 cores=0,2,4,6 /proc/27572/task/27575/stat : 27575 (java) S 27570 27572 27542 0 -1 4202560 164 0 0 0 13 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657971632680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27576] ppid=27570 vsize=9624976 CPUtime=0.17 cores=0,2,4,6 /proc/27572/task/27576/stat : 27576 (java) S 27570 27572 27542 0 -1 4202560 36 0 0 0 15 2 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657970579880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27577] ppid=27570 vsize=9624976 CPUtime=0.17 cores=0,2,4,6 /proc/27572/task/27577/stat : 27577 (java) S 27570 27572 27542 0 -1 4202560 153 0 0 0 15 2 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657969527080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27578] ppid=27570 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/27572/task/27578/stat : 27578 (java) S 27570 27572 27542 0 -1 4202560 71 0 0 0 20 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657968474280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27579] ppid=27570 vsize=9624976 CPUtime=0.15 cores=0,2,4,6 /proc/27572/task/27579/stat : 27579 (java) S 27570 27572 27542 0 -1 4202560 164 0 0 0 12 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657967422504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27580] ppid=27570 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/27572/task/27580/stat : 27580 (java) S 27570 27572 27542 0 -1 4202560 46 0 0 0 16 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657966369704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27581] ppid=27570 vsize=9624976 CPUtime=0.16 cores=0,2,4,6 /proc/27572/task/27581/stat : 27581 (java) S 27570 27572 27542 0 -1 4202560 195 0 0 0 13 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657846905640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27582] ppid=27570 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/27572/task/27582/stat : 27582 (java) S 27570 27572 27542 0 -1 4202560 48 0 0 0 16 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657845852840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27583] ppid=27570 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/27572/task/27583/stat : 27583 (java) S 27570 27572 27542 0 -1 4202560 54 0 0 0 47 0 0 0 20 0 19 0 253313138 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657833654760 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27584] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27584/stat : 27584 (java) S 27570 27572 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657832600824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27585] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27585/stat : 27585 (java) S 27570 27572 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657831547912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27586] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27586/stat : 27586 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657091930256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27587] ppid=27570 vsize=9624976 CPUtime=0.39 cores=0,2,4,6 /proc/27572/task/27587/stat : 27587 (java) S 27570 27572 27542 0 -1 4202560 2759 0 0 0 39 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657090878392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27588] ppid=27570 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/27572/task/27588/stat : 27588 (java) S 27570 27572 27542 0 -1 4202560 2085 0 1 0 32 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657089825592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27589] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27589/stat : 27589 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657088772984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27590] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27590/stat : 27590 (java) S 27570 27572 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657087720392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27591] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27591/stat : 27591 (java) S 27570 27572 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253313243 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657086665896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 64.57 Current children cumulated vsize (KiB) 9624976 [startup+63.9008 s] /proc/loadavg: 1.16 0.33 0.11 3/213 27794 /proc/meminfo: memFree=29257624/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9624976 CPUtime=64.97 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 9488 0 4 0 6473 24 0 0 20 0 19 0 253313122 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2406244 83632 2267 9 0 2396937 0 [pid=27572/tid=27574] ppid=27570 vsize=9624976 CPUtime=62.05 cores=0,2,4,6 /proc/27572/task/27574/stat : 27574 (java) R 27570 27572 27542 0 -1 4202560 2523 0 3 0 6202 3 0 0 20 0 19 0 253313124 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140658010140960 140657847502249 0 4 0 16800975 0 0 0 -1 2 0 0 63 0 0 [pid=27572/tid=27575] ppid=27570 vsize=9624976 CPUtime=0.16 cores=0,2,4,6 /proc/27572/task/27575/stat : 27575 (java) S 27570 27572 27542 0 -1 4202560 164 0 0 0 13 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657971632680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27576] ppid=27570 vsize=9624976 CPUtime=0.17 cores=0,2,4,6 /proc/27572/task/27576/stat : 27576 (java) S 27570 27572 27542 0 -1 4202560 36 0 0 0 15 2 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657970579880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27577] ppid=27570 vsize=9624976 CPUtime=0.17 cores=0,2,4,6 /proc/27572/task/27577/stat : 27577 (java) S 27570 27572 27542 0 -1 4202560 153 0 0 0 15 2 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657969527080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27578] ppid=27570 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/27572/task/27578/stat : 27578 (java) S 27570 27572 27542 0 -1 4202560 71 0 0 0 20 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657968474280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27579] ppid=27570 vsize=9624976 CPUtime=0.15 cores=0,2,4,6 /proc/27572/task/27579/stat : 27579 (java) S 27570 27572 27542 0 -1 4202560 164 0 0 0 12 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657967422504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27580] ppid=27570 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/27572/task/27580/stat : 27580 (java) S 27570 27572 27542 0 -1 4202560 46 0 0 0 16 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657966369704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27581] ppid=27570 vsize=9624976 CPUtime=0.16 cores=0,2,4,6 /proc/27572/task/27581/stat : 27581 (java) S 27570 27572 27542 0 -1 4202560 195 0 0 0 13 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657846905640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27582] ppid=27570 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/27572/task/27582/stat : 27582 (java) S 27570 27572 27542 0 -1 4202560 48 0 0 0 16 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657845852840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27583] ppid=27570 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/27572/task/27583/stat : 27583 (java) S 27570 27572 27542 0 -1 4202560 54 0 0 0 47 0 0 0 20 0 19 0 253313138 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657833654760 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27584] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27584/stat : 27584 (java) S 27570 27572 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657832600824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27585] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27585/stat : 27585 (java) S 27570 27572 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657831547912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27586] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27586/stat : 27586 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657091930256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27587] ppid=27570 vsize=9624976 CPUtime=0.39 cores=0,2,4,6 /proc/27572/task/27587/stat : 27587 (java) S 27570 27572 27542 0 -1 4202560 2759 0 0 0 39 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657090878392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27588] ppid=27570 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/27572/task/27588/stat : 27588 (java) S 27570 27572 27542 0 -1 4202560 2085 0 1 0 32 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657089825592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27589] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27589/stat : 27589 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657088772984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27590] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27590/stat : 27590 (java) S 27570 27572 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657087720392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27591] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27591/stat : 27591 (java) S 27570 27572 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253313243 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657086665896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 64.97 Current children cumulated vsize (KiB) 9624976 [startup+64.0008 s] /proc/loadavg: 1.16 0.33 0.11 3/213 27794 /proc/meminfo: memFree=29257624/32873844 swapFree=7116/7116 [pid=27572] ppid=27570 vsize=9624976 CPUtime=65.07 cores=0,2,4,6 /proc/27572/stat : 27572 (java) S 27570 27572 27542 0 -1 4202496 9488 0 4 0 6483 24 0 0 20 0 19 0 253313122 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140733921346976 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27572/statm: 2406244 83632 2267 9 0 2396937 0 [pid=27572/tid=27574] ppid=27570 vsize=9624976 CPUtime=62.15 cores=0,2,4,6 /proc/27572/task/27574/stat : 27574 (java) R 27570 27572 27542 0 -1 4202560 2523 0 3 0 6212 3 0 0 20 0 19 0 253313124 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140658010140960 140657847557672 0 4 0 16800975 0 0 0 -1 2 0 0 63 0 0 [pid=27572/tid=27575] ppid=27570 vsize=9624976 CPUtime=0.16 cores=0,2,4,6 /proc/27572/task/27575/stat : 27575 (java) S 27570 27572 27542 0 -1 4202560 164 0 0 0 13 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657971632680 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27576] ppid=27570 vsize=9624976 CPUtime=0.17 cores=0,2,4,6 /proc/27572/task/27576/stat : 27576 (java) S 27570 27572 27542 0 -1 4202560 36 0 0 0 15 2 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657970579880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27577] ppid=27570 vsize=9624976 CPUtime=0.17 cores=0,2,4,6 /proc/27572/task/27577/stat : 27577 (java) S 27570 27572 27542 0 -1 4202560 153 0 0 0 15 2 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657969527080 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27578] ppid=27570 vsize=9624976 CPUtime=0.23 cores=0,2,4,6 /proc/27572/task/27578/stat : 27578 (java) S 27570 27572 27542 0 -1 4202560 71 0 0 0 20 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657968474280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27579] ppid=27570 vsize=9624976 CPUtime=0.15 cores=0,2,4,6 /proc/27572/task/27579/stat : 27579 (java) S 27570 27572 27542 0 -1 4202560 164 0 0 0 12 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657967422504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=27572/tid=27580] ppid=27570 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/27572/task/27580/stat : 27580 (java) S 27570 27572 27542 0 -1 4202560 46 0 0 0 16 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657966369704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27581] ppid=27570 vsize=9624976 CPUtime=0.16 cores=0,2,4,6 /proc/27572/task/27581/stat : 27581 (java) S 27570 27572 27542 0 -1 4202560 195 0 0 0 13 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657846905640 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27582] ppid=27570 vsize=9624976 CPUtime=0.19 cores=0,2,4,6 /proc/27572/task/27582/stat : 27582 (java) S 27570 27572 27542 0 -1 4202560 48 0 0 0 16 3 0 0 20 0 19 0 253313127 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657845852840 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27583] ppid=27570 vsize=9624976 CPUtime=0.47 cores=0,2,4,6 /proc/27572/task/27583/stat : 27583 (java) S 27570 27572 27542 0 -1 4202560 54 0 0 0 47 0 0 0 20 0 19 0 253313138 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657833654760 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27584] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27584/stat : 27584 (java) S 27570 27572 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657832600824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27585] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27585/stat : 27585 (java) S 27570 27572 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253313146 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657831547912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27586] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27586/stat : 27586 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657091930256 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27587] ppid=27570 vsize=9624976 CPUtime=0.39 cores=0,2,4,6 /proc/27572/task/27587/stat : 27587 (java) S 27570 27572 27542 0 -1 4202560 2759 0 0 0 39 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657090878392 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=27572/tid=27588] ppid=27570 vsize=9624976 CPUtime=0.32 cores=0,2,4,6 /proc/27572/task/27588/stat : 27588 (java) S 27570 27572 27542 0 -1 4202560 2085 0 1 0 32 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657089825592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27589] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27589/stat : 27589 (java) S 27570 27572 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657088772984 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=27572/tid=27590] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27590/stat : 27590 (java) S 27570 27572 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253313171 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657087720392 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=27572/tid=27591] ppid=27570 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/27572/task/27591/stat : 27591 (java) S 27570 27572 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253313243 9855975424 83632 33554432000 1073741824 1073778376 140733921355840 140657086665896 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 65.07 Current children cumulated vsize (KiB) 9624976 Child status: 10 Real time (s): 64.0611 CPU time (s): 65.1141 CPU user time (s): 64.7232 CPU system time (s): 0.39094 CPU usage (%): 101.644 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 64.7232 system time used= 0.39094 maximum resident set size= 334636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9522 page faults= 4 swaps= 0 block input operations= 8776 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2366 involuntary context switches= 2318 runsolver used 0.149977 second user time and 0.320951 second system time The end
Begin job on node146 at 2012-05-24 17:04:42 IDJOB=3687179 IDBENCH=1156 IDSOLVER=2269 FILE ID=node146/3687179-1337871882 RUNJOBID= node146-1337871880-27558 PBS_JOBID= 14620058 Free space on /tmp= 71716 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687179-1337871882/watcher-3687179-1337871882 -o /tmp/evaluation-result-3687179-1337871882/solver-3687179-1337871882 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687179-1337871882.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 321349c7a7114538010c83c600c72ae9 RANDOM SEED=1716278231 node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.06 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.034 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29915708 kB Buffers: 202872 kB Cached: 1991404 kB SwapCached: 2348 kB Active: 330604 kB Inactive: 1868148 kB Active(anon): 3744 kB Inactive(anon): 3064 kB Active(file): 326860 kB Inactive(file): 1865084 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100340 kB Dirty: 1172 kB Writeback: 0 kB AnonPages: 9768 kB Mapped: 7236 kB Shmem: 0 kB Slab: 621500 kB SReclaimable: 63368 kB SUnreclaim: 558132 kB KernelStack: 1392 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 103128 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71716 MiB End job on node146 at 2012-05-24 17:05:46