0.00/0.00	c Filename:instance-4428708-1722806084.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00	c Use Presolve
0.00/0.06	c Parse finsih
0.00/0.07	c Start Presolve
0.20/0.25	c After Reduce Vars: 4313 Clauses: 15600 Top clause weight: 486 Hard Clauses: 15115
0.20/0.26	c Use LS-small
0.30/0.34	c Use postsolve
0.30/0.35	o 28
0.39/0.41	c Use postsolve
0.39/0.41	o 27
0.50/0.54	c Use postsolve
0.50/0.55	o 26
0.60/0.61	c Use postsolve
0.60/0.62	o 25
0.60/0.62	c Use postsolve
0.60/0.62	o 24
0.69/0.76	c Use postsolve
0.69/0.76	o 23
1.39/1.42	c Use postsolve
1.39/1.42	o 22
1.39/1.43	c Use postsolve
1.39/1.43	o 21
2.48/2.50	c Use postsolve
2.48/2.51	o 20
2.48/2.53	c Use postsolve
2.48/2.53	o 19
55.57/55.75	c Use postsolve
55.57/55.75	o 18
3557.96/3566.04	s SATISFIABLE
3557.96/3566.04	c Use postsolve
3557.96/3566.04	v x1 x362 x440 x515 x581 -x741 -x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 -x1313 -x26 -x1340 x29 -x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637 -x59 -x1664 x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 -x82 -x1880 -x85 -x1907 -x88 -x1934 -x1961 -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 x2617 -x2619 -x2631 -x2633 -x2645 -x2647 -x2659 -x2661 -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773 -x2778 x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 -x3141 -x3153 -x370 -x3165 -x3170 x375 x3175 x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 -x393 -x3210 x396 -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3292 -x3304 -x3316 -x3328 -x3340 -x448 -x3352 -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 -x3693 -x3720 -x3747 -x3774 -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616 -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 -x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 x4272 -x4277 -x4279 -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 x270 x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371 -x372 -x373 x374 x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 -x395 -x397 -x398 -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 x490 x489 x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 -x442 -x443 -x444 -x445 -x446 x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 x721 x722 -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2158 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2228 x2230 x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2284 x2286 -x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2604 x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 x2618 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2646 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2688 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 x2784 -x2785 -x2786 x2787 x2789 -x2790 -x2791 -x2792 x2794 x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 -x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 x3014 -x3015 -x3016 x3017 -x3019 -x3020 -x3021 -x3022 -x3024 -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 x3089 x3090 -x3091 -x3092 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 x3176 -x3177 -x3178 x3179 -x3181 -x3182 -x3183 -x3184 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 x3208 -x3209 x3211 -x3212 x3213 -x3214 x3216 -x3217 x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 x3245 x3247 x3249 -x3251 x3253 x3255 x3257 x3259 x3261 x3263 -x3265 -x3267 x3269 x3271 x3273 x3275 x3277 -x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 x3350 -x3351 x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 x3393 -x3394 x3395 -x3396 -x3398 -x3399 -x3400 -x3401 x3403 -x3404 -x3405 -x3406 x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 x3423 -x3424 -x3425 -x3426 -x3428 -x3430 x3432 x3434 -x3436 -x3438 -x3440 x3442 x3444 x3446 -x3448 -x3450 -x3452 x3454 -x3456 x3458 x3460 -x3462 -x3464 x3466 -x3467 -x3468 x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 -x3543 -x3544 -x3545 -x3546 x3548 -x3549 -x3550 -x3551 x3553 -x3554 -x3555 x3556 -x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566 x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 x3603 x3604 -x3605 -x3606 x3608 x3610 x3612 x3614 x3616 x3618 -x3620 -x3622 -x3624 x3626 -x3628 -x3630 -x3632 x3634 -x3636 x3638 -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 -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 -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 -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 -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 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 -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 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3913 -x3914 -x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 x4088 x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 -x4104 -x4105 -x4106 -x4107 x4109 x4111 -x4112 -x4113 -x4114 x4116 -x4118 -x4119 -x4120 -x4121 x4123 -x4125 -x4126 -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 x4142 -x4144 -x4145 -x4146 -x4147 x4149 x4151 -x4152 -x4153 x4154 x4156 x4158 -x4159 -x4160 -x4161 -x4163 -x4165 -x4166 -x4167 -x4168 x4170 -x4172 -x4173 -x4174 -x4175 x4177 -x4179 -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 x4205 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 x4221 -x4222 -x4223 x4224 x4226 x4228 -x4229 -x4230 -x4231 -x4233 -x4235 -x4236 -x4237 -x4238 x4240 -x4242 -x4243 -x4244 -x4245 x4247 -x4248 x4249 -x4250 x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 x4273 -x4274 x4275 -x4276 x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 -x4313 -x4315 -x4316 -x4317 -x4318 
3557.96/3566.04	c Done 55.62s

OK	18

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: 63931 MiB (57513 MiB free)
  memory of node 1: 64510 MiB (61349 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428708-1722806084/watcher-4428708-1722806084 -o /tmp/evaluation-result-4428708-1722806084/solver-4428708-1722806084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722806084-261395 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428708-1722806084.opb -t 3558 -s 2019462709 --no-s 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=261431, runsolver pid=261428
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 0.08 0.08 0.09 5/254 261446
/proc/meminfo: memFree=121692816/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=29588 memory=16216 CPUtime=0.09 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 3360 0 0 0 9 0 0 0 20 0 1 0 47206328 30298112 4054 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 7397 4054 1105 2753 0 4050 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29588 KiB
Current children cumulated memory: 16216 KiB

[startup+0.205305 s]*
/proc/loadavg: 0.08 0.08 0.09 4/255 261451
/proc/meminfo: memFree=121651024/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=29588 memory=16216 CPUtime=0.2 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 3360 0 0 0 20 0 0 0 20 0 1 0 47206328 30298112 4054 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 7397 4054 1105 2753 0 4050 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29588 KiB
Current children cumulated memory: 16216 KiB

[startup+0.30462 s]*
/proc/loadavg: 0.08 0.08 0.09 4/255 261451
/proc/meminfo: memFree=121622784/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33648 memory=20320 CPUtime=0.3 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 4600 0 0 0 30 0 0 0 20 0 1 0 47206328 34455552 5080 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8412 5080 1153 2753 0 5065 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33648 KiB
Current children cumulated memory: 20320 KiB

[startup+0.70017 s]
/proc/loadavg: 0.08 0.08 0.09 6/258 261457
/proc/meminfo: memFree=121612116/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=0.69 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 7349 0 0 0 68 1 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+1.50022 s]
/proc/loadavg: 0.08 0.08 0.09 5/258 261457
/proc/meminfo: memFree=121590184/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=1.49 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 8948 0 0 0 147 2 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+3.10519 s]
/proc/loadavg: 0.39 0.15 0.11 5/258 261457
/proc/meminfo: memFree=121558152/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=3.09 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10015 0 0 0 303 6 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+6.30014 s]
/proc/loadavg: 0.39 0.15 0.11 5/258 261457
/proc/meminfo: memFree=121558500/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=6.28 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10015 0 0 0 616 12 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+12.7002 s]
/proc/loadavg: 0.95 0.28 0.15 5/258 261459
/proc/meminfo: memFree=121558548/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=12.66 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10015 0 0 0 1243 23 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+25.5002 s]
/proc/loadavg: 1.42 0.40 0.19 5/258 261460
/proc/meminfo: memFree=121557292/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=25.43 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10015 0 0 0 2499 44 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+51.1049 s]
/proc/loadavg: 2.37 0.71 0.30 5/258 261465
/proc/meminfo: memFree=121556456/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=50.98 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10015 0 0 0 5009 89 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.28 0.52 5/255 261473
/proc/meminfo: memFree=121555436/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=102.06 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10549 0 0 0 10015 191 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.79 0.75 5/255 261483
/proc/meminfo: memFree=121554740/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=161.92 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10549 0 0 0 15892 300 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.21 0.96 5/255 261495
/proc/meminfo: memFree=121552104/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=20928 CPUtime=221.78 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10549 0 0 0 21772 406 0 0 20 0 1 0 47206328 34705408 5232 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5232 1169 2753 0 5126 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 20928 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.55 1.16 5/255 261506
/proc/meminfo: memFree=121550388/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=281.63 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10584 0 0 0 27647 516 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 2.83 1.34 5/254 261516
/proc/meminfo: memFree=121549672/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=341.49 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10599 0 0 0 33524 625 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.08 1.52 5/256 261531
/proc/meminfo: memFree=121548880/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=401.36 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10609 0 0 0 39389 747 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 3.25 1.68 5/256 261541
/proc/meminfo: memFree=121548000/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=461.23 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10614 0 0 0 45274 849 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0

################
# More data... #
################

/proc/loadavg: 4.11 4.21 4.09 5/254 263227
/proc/meminfo: memFree=121614080/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3155.17 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10839 0 0 0 309616 5901 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3155.17 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.18 4.09 5/256 263253
/proc/meminfo: memFree=121612468/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3215.04 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10844 0 0 0 315496 6008 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3215.04 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.16 4.09 5/258 263489
/proc/meminfo: memFree=121611640/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3274.91 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10849 0 0 0 321382 6109 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3274.91 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.09 5/258 263499
/proc/meminfo: memFree=121610896/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3334.77 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10854 0 0 0 327261 6216 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3334.77 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/260 263801
/proc/meminfo: memFree=121658308/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3394.62 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10859 0 0 0 333131 6331 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3394.62 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/261 263812
/proc/meminfo: memFree=121657624/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3454.49 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10864 0 0 0 339016 6433 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3454.49 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/259 263822
/proc/meminfo: memFree=121656748/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3514.36 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10869 0 0 0 344895 6541 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3514.36 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3566.05 s]
# the end of solver process 261431 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3491.86 s, system=66.1512 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3532.8 s]
/proc/loadavg: 4.19 4.16 4.10 5/259 263823
/proc/meminfo: memFree=121656608/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3524.83 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10869 0 0 0 345924 6559 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3524.83 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3545.6 s]
/proc/loadavg: 4.16 4.15 4.09 5/257 263826
/proc/meminfo: memFree=121656188/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3537.6 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10869 0 0 0 347181 6579 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3537.6 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3558.4 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3550.38 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10874 0 0 0 348437 6601 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3550.38 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3561.6 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3553.57 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10874 0 0 0 348750 6607 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3553.57 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3563.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3555.16 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10874 0 0 0 348907 6609 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3555.16 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3564.8 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3556.76 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10874 0 0 0 349064 6612 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3556.76 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3565.6 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121655936/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3557.56 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10874 0 0 0 349143 6613 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3557.56 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

[startup+3566 s]*
/proc/loadavg: 4.11 4.14 4.09 5/257 263829
/proc/meminfo: memFree=121651568/131524600 swapFree=131071472/131071996
[pid=261431] ppid=261428 vsize=33892 memory=21140 CPUtime=3557.96 cores=1,3
/proc/261431/stat : 261431 (LS-MabP) R 261428 261431 261383 0 -1 4194304 10874 0 0 0 349182 6614 0 0 20 0 1 0 47206328 34705408 5285 134679101440 4194304 15467897 140725924238896 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 38305792 140725924246553 140725924246662 140725924246662 140725924253678 0
/proc/261431/statm: 8473 5285 1169 2753 0 5126 0
Current children cumulated CPU time: 3557.96 s
Current children cumulated vsize: 33892 KiB
Current children cumulated memory: 21140 KiB

Child status: 0

Real time (s): 3566.05
CPU time (s): 3558.02
CPU user time (s): 3491.86
CPU system time (s): 66.1512
CPU usage (%): 99.7748
Max. virtual memory (cumulated for all children) (KiB): 33892
Max. memory (cumulated for all children) (KiB): 21140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3491.86
system time used= 66.1512
maximum resident set size= 23264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2699


# summary of solver processes directly reported to runsolver:
#   pid: 261431
#   total CPU time (s): 3558.02
#   total CPU user time (s): 3491.86
#   total CPU system time (s): 66.1512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18783 second user time and 11.683 second system time

The end

Begin job on nodeC020 at 2024-08-04 23:14:44
IDJOB=4428708
IDBENCH=148191
IDSOLVER=3049
FILE ID=nodeC020/4428708-1722806084
RUNJOBID= nodeC020-1722806084-261395
SLURM_JOB_ID= 8258571
Free space on /tmp= 890064 MiB

SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t 3558 -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428708-1722806084/watcher-4428708-1722806084 -o /tmp/evaluation-result-4428708-1722806084/solver-4428708-1722806084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722806084-261395 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428708-1722806084.opb -t 3558 -s 2019462709 --no-s

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=2019462709

nodeC020.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		: 3653.193
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.38
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		: 3583.107
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	: 7007.00
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		: 3653.722
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.38
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		: 3686.968
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	: 7007.00
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		: 3624.915
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.38
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		: 3431.040
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	: 7007.00
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		: 3641.954
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.38
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		: 3602.236
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	: 7007.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121723768 kB
MemAvailable:   129772988 kB
Buffers:          303308 kB
Cached:          8564304 kB
SwapCached:           28 kB
Active:           527672 kB
Inactive:        8727504 kB
Active(anon):       1740 kB
Inactive(anon):   414980 kB
Active(file):     525932 kB
Inactive(file):  8312524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             43596 kB
Writeback:             0 kB
AnonPages:        385356 kB
Mapped:           101904 kB
Shmem:             29476 kB
KReclaimable:     100824 kB
Slab:             189828 kB
SReclaimable:     100824 kB
SUnreclaim:        89004 kB
KernelStack:        3984 kB
PageTables:        10092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     662168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      287444 kB
DirectMap2M:    27797504 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC020 at 2024-08-05 00:14:10