Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabP+Exact 2024-07-11 | SAT | -98 | 3586.65 | 3596.04 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb |
| MD5SUM | 2373b25163347951ef97566f5f53795c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -98 |
| Best CPU time to get the best result obtained on this benchmark | 0.495475 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7450 |
| Total number of constraints | 2649 |
| Number of constraints which are clauses | 2500 |
| Number of constraints which are cardinality constraints (but not clauses) | 99 |
| Number of constraints which are nor clauses,nor cardinality constraints | 50 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 4950 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 4950 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 50 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 4950 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3586.59/3596.03 c Filename:instance-4458428-1722994648.opb, Cutoff_time:1798, memory_limit_gb:29976 3586.59/3596.03 c Use Presolve 3586.59/3596.03 c Parse finsih 3586.59/3596.03 c Start Presolve 3586.59/3596.03 c After Reduce Vars: 5000 Clauses: 5099 Top clause weight: 2501 Hard Clauses: 2599 3586.59/3596.03 c Use LS-small 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o 0 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -1 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -2 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -3 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -4 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -5 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -6 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -7 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -8 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -9 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -10 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -11 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -12 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -13 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -14 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -15 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -16 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -17 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -18 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -19 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -20 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -21 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -22 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -23 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -24 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -25 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -26 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -27 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -28 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -29 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -30 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -31 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -32 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -33 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -34 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -35 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -36 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -37 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -38 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -39 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -40 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -41 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -42 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -43 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -44 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -45 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -46 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -47 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -48 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -49 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -97 3586.59/3596.03 c Use postsolve 3586.59/3596.03 o -98 3586.59/3596.03 s SATISFIABLE 3586.59/3596.03 c Use postsolve 3586.59/3596.03 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 -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 -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 3586.59/3596.03 c Done 0.5s
OK -98
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (57472 MiB free)
memory of node 1: 64473 MiB (63296 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458428-1722994648/watcher-4458428-1722994648 -o /tmp/evaluation-result-4458428-1722994648/solver-4458428-1722994648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722994648-361102 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4458428-1722994648.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=361161, runsolver pid=361147
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 1.12 2.70 3.53 7/266 361179
/proc/meminfo: memFree=123641752/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=27036 memory=14232 CPUtime=0.09 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 2485 0 0 0 9 0 0 0 20 0 1 0 66069383 27684864 3558 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 6759 3558 1153 2753 0 3412 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45628 KiB
Current children cumulated memory: 17972 KiB
[startup+0.206343 s]*
/proc/loadavg: 1.12 2.70 3.53 5/266 361179
/proc/meminfo: memFree=123635680/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=32160 memory=19240 CPUtime=0.2 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 3744 0 0 0 20 0 0 0 20 0 1 0 66069383 32931840 4810 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 8040 4810 1153 2753 0 4693 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50752 KiB
Current children cumulated memory: 22980 KiB
[startup+0.305708 s]*
/proc/loadavg: 1.12 2.70 3.53 8/266 361179
/proc/meminfo: memFree=123632788/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=34204 memory=20636 CPUtime=0.29 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 4034 0 0 0 29 0 0 0 20 0 1 0 66069383 35024896 5159 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 8551 5159 1153 2753 0 5204 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 52796 KiB
Current children cumulated memory: 24376 KiB
[startup+0.7002 s]
/proc/loadavg: 1.12 2.70 3.53 7/266 361179
/proc/meminfo: memFree=123630152/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=36836 memory=23272 CPUtime=0.69 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 4707 0 0 0 66 3 0 0 20 0 1 0 66069383 37720064 5818 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 9209 5818 1153 2753 0 5862 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27012 KiB
[startup+1.5002 s]
/proc/loadavg: 1.12 2.70 3.53 6/266 361179
/proc/meminfo: memFree=123629784/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=36836 memory=23272 CPUtime=1.48 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 4707 0 0 0 133 15 0 0 20 0 1 0 66069383 37720064 5818 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 9209 5818 1153 2753 0 5862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27012 KiB
[startup+3.10509 s]
/proc/loadavg: 1.12 2.70 3.53 6/266 361179
/proc/meminfo: memFree=123629896/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=36836 memory=23272 CPUtime=3.09 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 4707 0 0 0 269 40 0 0 20 0 1 0 66069383 37720064 5818 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 9209 5818 1153 2753 0 5862 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27012 KiB
[startup+6.3002 s]
/proc/loadavg: 1.35 2.72 3.54 7/266 361181
/proc/meminfo: memFree=123629796/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=36836 memory=23272 CPUtime=6.27 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 4707 0 0 0 539 88 0 0 20 0 1 0 66069383 37720064 5818 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 9209 5818 1153 2753 0 5862 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27012 KiB
[startup+12.7002 s]
/proc/loadavg: 1.56 2.74 3.54 6/266 361181
/proc/meminfo: memFree=123629712/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=36836 memory=23272 CPUtime=12.65 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 4707 0 0 0 1075 190 0 0 20 0 1 0 66069383 37720064 5818 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 9209 5818 1153 2753 0 5862 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27012 KiB
[startup+25.5002 s]
/proc/loadavg: 2.18 2.82 3.55 6/266 361184
/proc/meminfo: memFree=123629660/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=36836 memory=23272 CPUtime=25.43 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 4707 0 0 0 2140 403 0 0 20 0 1 0 66069383 37720064 5818 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 9209 5818 1153 2753 0 5862 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27012 KiB
[startup+51.1053 s]
/proc/loadavg: 2.80 2.92 3.57 6/266 361189
/proc/meminfo: memFree=123628852/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 682 604 264 0 134 0
[pid=361174] ppid=361161 vsize=8660 memory=1012 CPUtime=0 cores=0,2
/proc/361174/stat : 361174 (timeout) S 361161 361174 361092 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 66069383 8867840 253 134679101440 94664119951360 94664119986376 140737124214288 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94664122083792 94664122085924 94664153300992 140737124217891 140737124218013 140737124218013 140737124224999 0
/proc/361174/statm: 2165 253 229 9 0 87 0
[pid=361178] ppid=361174 vsize=36836 memory=23272 CPUtime=50.98 cores=0,2
/proc/361178/stat : 361178 (LS-MabP) R 361174 361174 361092 0 -1 4194304 4707 0 0 0 4292 806 0 0 20 0 1 0 66069383 37720064 5818 134679101440 4194304 15467897 140735633350864 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 44986368 140735633359927 140735633360036 140735633360036 140735633367022 0
/proc/361178/statm: 9209 5818 1153 2753 0 5862 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 55428 KiB
Current children cumulated memory: 27012 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 3.09 3.59 6/265 361197
/proc/meminfo: memFree=123628440/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2728 CPUtime=0 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 234 104 0 0 0 0 0 0 20 0 1 0 66069383 10170368 682 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
################
# More data... #
################
/proc/362088/statm: 160438 131189 804 745 0 159503 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 660344 KiB
Current children cumulated memory: 528472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/267 363118
/proc/meminfo: memFree=122301428/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=643672 memory=526808 CPUtime=1659.13 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 86631 0 0 0 165873 40 0 0 20 0 1 0 66249184 659120128 131702 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 160918 131702 804 745 0 159983 0
Current children cumulated CPU time: 3453.28 s
Current children cumulated vsize: 662264 KiB
Current children cumulated memory: 530524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/262 363128
/proc/meminfo: memFree=122300484/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=643992 memory=527128 CPUtime=1718.96 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 86952 0 0 0 171855 41 0 0 20 0 1 0 66249184 659447808 131782 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 160998 131782 804 745 0 160063 0
Current children cumulated CPU time: 3513.11 s
Current children cumulated vsize: 662584 KiB
Current children cumulated memory: 530844 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/262 363139
/proc/meminfo: memFree=122294668/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=650200 memory=532460 CPUtime=1778.77 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 88534 0 0 0 177836 41 0 0 20 0 1 0 66249184 665804800 133115 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 162550 133115 804 745 0 161615 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 668792 KiB
Current children cumulated memory: 536176 KiB
[startup+3596.04 s]
# the end of solver process 361161 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3300.62 s, system=286.03 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 6/262 363139
/proc/meminfo: memFree=122294636/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=650200 memory=532460 CPUtime=1780.47 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 88536 0 0 0 178006 41 0 0 20 0 1 0 66249184 665804800 133115 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 162550 133115 804 745 0 161615 0
Current children cumulated CPU time: 3574.62 s
Current children cumulated vsize: 668792 KiB
Current children cumulated memory: 536176 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.12 4.10 6/262 363141
/proc/meminfo: memFree=122294464/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=650200 memory=532460 CPUtime=1786.85 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 88542 0 0 0 178644 41 0 0 20 0 1 0 66249184 665804800 133115 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 162550 133115 804 745 0 161615 0
Current children cumulated CPU time: 3581 s
Current children cumulated vsize: 668792 KiB
Current children cumulated memory: 536176 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.12 4.10 6/262 363141
/proc/meminfo: memFree=122294416/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=650200 memory=532460 CPUtime=1790.04 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 88546 0 0 0 178963 41 0 0 20 0 1 0 66249184 665804800 133115 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 162550 133115 804 745 0 161615 0
Current children cumulated CPU time: 3584.19 s
Current children cumulated vsize: 668792 KiB
Current children cumulated memory: 536176 KiB
[startup+3595.2 s]
/proc/loadavg: 4.16 4.12 4.09 6/262 363141
/proc/meminfo: memFree=122294472/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=650200 memory=532460 CPUtime=1791.64 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 88548 0 0 0 179123 41 0 0 20 0 1 0 66249184 665804800 133115 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 162550 133115 804 745 0 161615 0
Current children cumulated CPU time: 3585.79 s
Current children cumulated vsize: 668792 KiB
Current children cumulated memory: 536176 KiB
[startup+3595.6 s]
/proc/loadavg: 4.16 4.12 4.09 6/262 363141
/proc/meminfo: memFree=122294472/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=650200 memory=532460 CPUtime=1792.03 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 88549 0 0 0 179162 41 0 0 20 0 1 0 66249184 665804800 133115 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 162550 133115 804 745 0 161615 0
Current children cumulated CPU time: 3586.18 s
Current children cumulated vsize: 668792 KiB
Current children cumulated memory: 536176 KiB
[startup+3596 s]*
/proc/loadavg: 4.16 4.12 4.09 6/262 363143
/proc/meminfo: memFree=122294400/131524600 swapFree=131071996/131071996
[pid=361161] ppid=361147 vsize=9932 memory=2772 CPUtime=1794.15 cores=0,2
/proc/361161/stat : 361161 (Hybrid-LSMabP+E) S 361147 361161 361092 0 -1 4194304 265 5319 0 0 0 0 150855 28560 20 0 1 0 66069383 10170368 693 134679101440 94701615976448 94701617055768 140737247148704 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94701619154224 94701619201412 94701619892224 140737247155178 140737247155323 140737247155323 140737247162338 0
/proc/361161/statm: 2483 693 604 264 0 134 0
[pid=362087] ppid=361161 vsize=8660 memory=944 CPUtime=0 cores=0,2
/proc/362087/stat : 362087 (timeout) S 361161 362087 361092 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 66249184 8867840 236 134679101440 94219322179584 94219322214600 140735719006896 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94219324312016 94219324314148 94219328901120 140735719011316 140735719011485 140735719011485 140735719018471 0
/proc/362087/statm: 2165 236 212 9 0 87 0
[pid=362088] ppid=362087 vsize=650200 memory=532460 CPUtime=1792.44 cores=0,2
/proc/362088/stat : 362088 (Exact) R 362087 362087 361092 0 -1 4194304 88550 0 0 0 179203 41 0 0 20 0 1 0 66249184 665804800 133115 134679101440 4194304 7243121 140734410720144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7942632 8006904 18788352 140734410728464 140734410728614 140734410728614 140734410735600 0
/proc/362088/statm: 162550 133115 804 745 0 161615 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 668792 KiB
Current children cumulated memory: 536176 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3586.65
CPU user time (s): 3300.62
CPU system time (s): 286.03
CPU usage (%): 99.7389
Max. virtual memory (cumulated for all children) (KiB): 668792
Max. memory (cumulated for all children) (KiB): 536176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3300.62
system time used= 286.029
maximum resident set size= 659392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149
involuntary context switches= 24687
# summary of solver processes directly reported to runsolver:
# pid: 361161
# total CPU time (s): 3586.65
# total CPU user time (s): 3300.62
# total CPU system time (s): 286.03
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7889 second user time and 13.4338 second system time
The end
Begin job on nodeC035 at 2024-08-07 03:37:28 IDJOB=4458428 IDBENCH=177419 IDSOLVER=3071 FILE ID=nodeC035/4458428-1722994648 RUNJOBID= nodeC035-1722994648-361102 SLURM_JOB_ID= 8259126 Free space on /tmp= 890084 MiB SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458428-1722994648/watcher-4458428-1722994648 -o /tmp/evaluation-result-4458428-1722994648/solver-4458428-1722994648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722994648-361102 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4458428-1722994648.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2373b25163347951ef97566f5f53795c RANDOM SEED=2047674112 nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3597.168 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3606.423 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3489.431 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3709.999 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3609.271 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3611.781 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3847.459 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3772.543 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123670132 kB MemAvailable: 129776320 kB Buffers: 343092 kB Cached: 6601780 kB SwapCached: 0 kB Active: 634944 kB Inactive: 6681372 kB Active(anon): 1448 kB Inactive(anon): 407748 kB Active(file): 633496 kB Inactive(file): 6273624 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 83756 kB Writeback: 16 kB AnonPages: 367288 kB Mapped: 99392 kB Shmem: 37720 kB KReclaimable: 77784 kB Slab: 172068 kB SReclaimable: 77784 kB SUnreclaim: 94284 kB KernelStack: 3840 kB PageTables: 9424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 715296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 30112 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 346836 kB DirectMap2M: 24592384 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 889984 MiB End job on nodeC035 at 2024-08-07 04:37:24