18.92/19.08	c Solved by First Program
18.92/19.09	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
18.92/19.09	o 27
18.92/19.09	o 26
18.92/19.09	o 18
18.92/19.09	s OPTIMUM FOUND
18.92/19.09	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

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: 63665 MiB (52140 MiB free)
  memory of node 1: 64507 MiB (62385 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497678-1751394684/watcher-4497678-1751394684 -o /tmp/evaluation-result-4497678-1751394684/solver-4497678-1751394684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751390780-58708 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4497678-1751394684.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=60476, runsolver pid=60473

[startup+0.100065 s]*
/proc/loadavg: 4.10 4.12 4.09 5/273 60480
/proc/meminfo: memFree=117266340/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=32500 memory=18116 CPUtime=0.07 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 3786 0 0 0 7 0 0 0 20 0 1 0 55146288 33280000 4529 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 8158 4529 896 2593 0 5051 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 39484 KiB
Current children cumulated memory: 22468 KiB

[startup+0.205846 s]*
/proc/loadavg: 4.10 4.12 4.09 5/273 60480
/proc/meminfo: memFree=117262560/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=35820 memory=21220 CPUtime=0.18 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 4642 0 0 0 18 0 0 0 20 0 1 0 55146288 36679680 5305 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 8955 5305 960 2593 0 5848 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 42804 KiB
Current children cumulated memory: 25572 KiB

[startup+0.305783 s]*
/proc/loadavg: 4.10 4.12 4.09 5/273 60480
/proc/meminfo: memFree=117261552/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=35868 memory=21460 CPUtime=0.27 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 4941 0 0 0 27 0 0 0 20 0 1 0 55146288 36728832 5365 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 8967 5365 960 2593 0 5860 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 42852 KiB
Current children cumulated memory: 25812 KiB

[startup+0.700229 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 60480
/proc/meminfo: memFree=117261300/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=38312 memory=24124 CPUtime=0.66 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 6734 0 0 0 65 1 0 0 20 0 1 0 55146288 39231488 6031 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 9578 6031 992 2593 0 6471 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 45296 KiB
Current children cumulated memory: 28476 KiB

[startup+1.50021 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 60480
/proc/meminfo: memFree=117257800/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=38764 memory=24724 CPUtime=1.46 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 8585 0 0 0 145 1 0 0 20 0 1 0 55146288 39694336 6181 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 9691 6181 992 2593 0 6584 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 45748 KiB
Current children cumulated memory: 29076 KiB

[startup+3.10556 s]
/proc/loadavg: 4.09 4.12 4.09 5/273 60480
/proc/meminfo: memFree=117257596/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=43228 memory=28668 CPUtime=3.06 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 11202 0 0 0 304 2 0 0 20 0 1 0 55146288 44265472 7167 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 10807 7167 992 2593 0 7700 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 50212 KiB
Current children cumulated memory: 33020 KiB

[startup+6.30021 s]
/proc/loadavg: 4.09 4.12 4.09 5/273 60480
/proc/meminfo: memFree=117255696/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=46252 memory=31740 CPUtime=6.25 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 11964 0 0 0 623 2 0 0 20 0 1 0 55146288 47362048 7935 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 11563 7935 992 2593 0 8456 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 53236 KiB
Current children cumulated memory: 36092 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 60480
/proc/meminfo: memFree=117251672/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=45252 memory=31120 CPUtime=12.63 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 15060 0 0 0 1260 3 0 0 20 0 1 0 55146288 46338048 7780 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 11313 7780 992 2593 0 8206 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 52236 KiB
Current children cumulated memory: 35472 KiB

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

# cumulated CPU time of all completed processes:  user=18.9696 s, system=0.04731 s

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

[startup+12.8002 s]
/proc/loadavg: 4.09 4.11 4.09 5/273 60480
/proc/meminfo: memFree=117251672/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=49744 memory=35596 CPUtime=12.74 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 15161 0 0 0 1270 4 0 0 20 0 1 0 55146288 50937856 8899 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 12436 8899 992 2593 0 9329 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 56728 KiB
Current children cumulated memory: 39948 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.08 4.11 4.09 5/273 60480
/proc/meminfo: memFree=117246544/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=46360 memory=32176 CPUtime=15.93 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 15438 0 0 0 1589 4 0 0 20 0 1 0 55146288 47472640 8044 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 11590 8044 992 2593 0 8483 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 53344 KiB
Current children cumulated memory: 36528 KiB

[startup+17.6002 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 60480
/proc/meminfo: memFree=117246544/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=49804 memory=35644 CPUtime=17.52 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 15792 0 0 0 1748 4 0 0 20 0 1 0 55146288 50999296 8911 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 12451 8911 992 2593 0 9344 0
Current children cumulated CPU time: 17.52 s
Current children cumulated vsize: 56788 KiB
Current children cumulated memory: 39996 KiB

[startup+18.4002 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 60480
/proc/meminfo: memFree=117246544/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=49804 memory=35644 CPUtime=18.32 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 15792 0 0 0 1828 4 0 0 20 0 1 0 55146288 50999296 8911 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 12451 8911 992 2593 0 9344 0
Current children cumulated CPU time: 18.32 s
Current children cumulated vsize: 56788 KiB
Current children cumulated memory: 39996 KiB

[startup+18.8002 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 60480
/proc/meminfo: memFree=117246544/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=49804 memory=35644 CPUtime=18.72 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 15792 0 0 0 1868 4 0 0 20 0 1 0 55146288 50999296 8911 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 12451 8911 992 2593 0 9344 0
Current children cumulated CPU time: 18.72 s
Current children cumulated vsize: 56788 KiB
Current children cumulated memory: 39996 KiB

[startup+19.0002 s]*
/proc/loadavg: 4.07 4.11 4.09 5/273 60480
/proc/meminfo: memFree=117246544/131250000 swapFree=33010416/33010684
[pid=60476] ppid=60473 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/60476/stat : 60476 (Hybrid-CASHWMax) S 60473 60476 58694 0 -1 4194304 248 106 0 0 0 0 0 0 20 0 1 0 55146285 4427776 736 18446744073709551615 94126570991616 94126571886149 140734489591136 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94126572125200 94126572172944 94126594940928 140734489594199 140734489594353 140734489594353 140734489599955 0
/proc/60476/statm: 1081 736 672 219 0 143 0
[pid=60479] ppid=60476 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/60479/stat : 60479 (timeout) S 60476 60479 58694 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 55146287 2723840 352 18446744073709551615 94066520788992 94066520805505 140736429538560 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94066520820272 94066520822360 94066527236096 140736429541782 140736429541922 140736429541922 140736429547495 0
/proc/60479/statm: 665 352 352 5 0 90 0
[pid=60480] ppid=60479 vsize=49804 memory=35644 CPUtime=18.92 cores=4,6
/proc/60480/stat : 60480 (CASHWMaxSAT-Dis) R 60479 60479 58694 0 -1 4194304 15792 0 0 0 1888 4 0 0 20 0 1 0 55146288 50999296 8911 18446744073709551615 4198400 14817773 140721235391136 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 54915072 140721235397020 140721235397147 140721235397147 140721235402720 0
/proc/60480/statm: 12451 8911 992 2593 0 9344 0
Current children cumulated CPU time: 18.92 s
Current children cumulated vsize: 56788 KiB
Current children cumulated memory: 39996 KiB

Child status: 0

Real time (s): 19.1001
CPU time (s): 19.017
CPU user time (s): 18.9696
CPU system time (s): 0.04731
CPU usage (%): 99.5648
Max. virtual memory (cumulated for all children) (KiB): 56788
Max. memory (cumulated for all children) (KiB): 39996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.9696
system time used= 0.04731
maximum resident set size= 35684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 26


# summary of solver processes directly reported to runsolver:
#   pid: 60476
#   total CPU time (s): 19.017
#   total CPU user time (s): 18.9696
#   total CPU system time (s): 0.04731

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043196 second user time and 0.128791 second system time

The end

Begin job on nodeC018 at 2025-07-01 20:31:24
IDJOB=4497678
IDBENCH=148191
IDSOLVER=3327
FILE ID=nodeC018/4497678-1751394684
RUNJOBID= nodeC018-1751390780-58708
SLURM_JOB_ID= 9598253
Free space on /tmp= 432840 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497678-1751394684/watcher-4497678-1751394684 -o /tmp/evaluation-result-4497678-1751394684/solver-4497678-1751394684 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751390780-58708 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4497678-1751394684.opb 3600 HOME

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=1661773378

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.869
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.810
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3642.847
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3603.116
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.833
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.833
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3562.362
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        117275308 kB
MemAvailable:   125073804 kB
Buffers:            2128 kB
Cached:          8565364 kB
SwapCached:           32 kB
Active:          5032480 kB
Inactive:        8228824 kB
Active(anon):    4711568 kB
Inactive(anon):      288 kB
Active(file):     320912 kB
Inactive(file):  8228536 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26292 kB
Writeback:            12 kB
AnonPages:       4693152 kB
Mapped:           132648 kB
Shmem:             18044 kB
KReclaimable:     176176 kB
Slab:             265984 kB
SReclaimable:     176176 kB
SUnreclaim:        89808 kB
KernelStack:        4428 kB
PageTables:        12940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5424740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2420736 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432816 MiB
End job on nodeC018 at 2025-07-01 20:31:44