0.00/0.09	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.09	o 27
0.00/0.09	c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.09/0.13	c Starting SCIP solver  (with time-limit = 1800s) ...
1794.56/1800.13	c SCIP timeout with lower and upper bounds: [11, 21]
1794.56/1800.14	o 21
1796.95/1802.57	o 18
1813.41/1819.09	s OPTIMUM FOUND
1813.41/1819.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 (60928 MiB free)
  memory of node 1: 64507 MiB (63055 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497673-1751390470/watcher-4497673-1751390470 -o /tmp/evaluation-result-4497673-1751390470/solver-4497673-1751390470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751382616-53785 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4497673-1751390470.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=56183, runsolver pid=56180

[startup+0.100067 s]*
/proc/loadavg: 4.21 4.14 4.10 5/265 56184
/proc/meminfo: memFree=126948268/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=34584 memory=25480 CPUtime=0.09 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 4423 0 0 0 9 0 0 0 20 0 1 0 54724683 35414016 6370 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 3 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 8646 6370 2304 2593 0 5539 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34584 KiB
Current children cumulated memory: 25480 KiB

[startup+0.205497 s]*
/proc/loadavg: 4.21 4.14 4.10 5/265 56184
/proc/meminfo: memFree=126892072/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=87472 memory=76808 CPUtime=0.19 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 17041 0 0 0 17 2 0 0 20 0 1 0 54724683 89571328 19202 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 21868 19202 2528 2593 0 18761 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87472 KiB
Current children cumulated memory: 76808 KiB

[startup+0.305442 s]*
/proc/loadavg: 4.21 4.14 4.10 6/265 56184
/proc/meminfo: memFree=126887976/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=100668 memory=90128 CPUtime=0.29 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 20882 0 0 0 26 3 0 0 20 0 1 0 54724683 103084032 22532 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 25167 22532 2528 2593 0 22060 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100668 KiB
Current children cumulated memory: 90128 KiB

[startup+0.70018 s]
/proc/loadavg: 4.21 4.14 4.10 5/265 56184
/proc/meminfo: memFree=126880100/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=108816 memory=97552 CPUtime=0.67 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 22723 0 0 0 64 3 0 0 20 0 1 0 54724683 111427584 24388 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 27204 24388 2560 2593 0 24097 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 108816 KiB
Current children cumulated memory: 97552 KiB

[startup+1.50018 s]
/proc/loadavg: 4.21 4.14 4.10 5/265 56184
/proc/meminfo: memFree=126876636/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=117404 memory=106000 CPUtime=1.48 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 24843 0 0 0 144 4 0 0 20 0 1 0 54724683 120221696 26500 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 29351 26500 2560 2593 0 26244 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117404 KiB
Current children cumulated memory: 106000 KiB

[startup+3.10535 s]
/proc/loadavg: 4.19 4.13 4.10 5/265 56184
/proc/meminfo: memFree=126869024/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=117704 memory=106256 CPUtime=3.08 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 24916 0 0 0 304 4 0 0 20 0 1 0 54724683 120528896 26564 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 29426 26564 2560 2593 0 26319 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117704 KiB
Current children cumulated memory: 106256 KiB

[startup+6.30018 s]
/proc/loadavg: 4.19 4.13 4.10 5/265 56184
/proc/meminfo: memFree=126780580/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=198120 memory=184068 CPUtime=6.26 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 44826 0 0 0 619 7 0 0 20 0 1 0 54724683 202874880 46017 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 49530 46017 2656 2593 0 46423 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 198120 KiB
Current children cumulated memory: 184068 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 56184
/proc/meminfo: memFree=126756372/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=244480 memory=213636 CPUtime=12.64 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 52236 0 0 0 1256 8 0 0 20 0 1 0 54724683 250347520 53409 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 61120 53409 2656 2593 0 58013 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 244480 KiB
Current children cumulated memory: 213636 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 56185
/proc/meminfo: memFree=126747424/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=268548 memory=223548 CPUtime=25.4 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 54199 0 0 0 2531 9 0 0 20 0 1 0 54724683 274993152 55887 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 67137 55887 2656 2593 0 64030 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 268548 KiB
Current children cumulated memory: 223548 KiB

[startup+51.1054 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 56185
/proc/meminfo: memFree=126694124/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=316432 memory=271164 CPUtime=50.92 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 66130 0 0 0 5081 11 0 0 20 0 1 0 54724683 324026368 67791 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 79108 67791 2656 2593 0 76001 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 316432 KiB
Current children cumulated memory: 271164 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 56187
/proc/meminfo: memFree=126698320/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=316432 memory=271824 CPUtime=101.95 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 67237 0 0 0 10184 11 0 0 20 0 1 0 54724683 324026368 67956 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 79108 67956 2656 2593 0 76001 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 316432 KiB
Current children cumulated memory: 271824 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 56189
/proc/meminfo: memFree=126690228/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=321396 memory=277132 CPUtime=161.77 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 73535 0 0 0 16164 13 0 0 20 0 1 0 54724683 329109504 69283 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 80349 69283 2656 2593 0 77242 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 321396 KiB
Current children cumulated memory: 277132 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/265 56192
/proc/meminfo: memFree=126658012/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=357748 memory=312204 CPUtime=221.57 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 82328 0 0 0 22143 14 0 0 20 0 1 0 54724683 366333952 78051 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 89437 78051 2656 2593 0 86330 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 357748 KiB
Current children cumulated memory: 312204 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 56194
/proc/meminfo: memFree=126593076/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=424468 memory=374156 CPUtime=281.37 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 97821 0 0 0 28120 17 0 0 20 0 1 0 54724683 434655232 93539 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 106117 93539 2656 2593 0 103010 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 424468 KiB
Current children cumulated memory: 374156 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 56196
/proc/meminfo: memFree=126554312/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=447640 memory=374408 CPUtime=341.18 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 101977 0 0 0 34100 18 0 0 20 0 1 0 54724683 458383360 93602 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 111910 93602 2656 2593 0 108803 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 447640 KiB
Current children cumulated memory: 374408 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 56198
/proc/meminfo: memFree=126567492/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=473180 memory=376524 CPUtime=400.99 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 101992 0 0 0 40081 18 0 0 20 0 1 0 54724683 484536320 94131 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 118295 94131 2656 2593 0 115188 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 473180 KiB
Current children cumulated memory: 376524 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 56200
/proc/meminfo: memFree=126537080/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=486716 memory=380492 CPUtime=460.78 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 102982 0 0 0 46060 18 0 0 20 0 1 0 54724683 498397184 95123 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 121679 95123 2656 2593 0 118572 0

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

/proc/loadavg: 4.15 4.11 4.09 5/264 56251
/proc/meminfo: memFree=126139800/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=645936 memory=539116 CPUtime=1417.76 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 147837 0 0 0 141748 28 0 0 20 0 1 0 54724683 661438464 134779 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 161484 134779 2656 2593 0 158377 0
Current children cumulated CPU time: 1417.76 s
Current children cumulated vsize: 645936 KiB
Current children cumulated memory: 539116 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 56253
/proc/meminfo: memFree=126073256/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=652652 memory=607212 CPUtime=1477.59 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 149528 0 0 0 147731 28 0 0 20 0 1 0 54724683 668315648 151803 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 163163 151803 2656 2593 0 160056 0
Current children cumulated CPU time: 1477.59 s
Current children cumulated vsize: 652652 KiB
Current children cumulated memory: 607212 KiB

[startup+1542.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 56256
/proc/meminfo: memFree=126066420/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=661888 memory=634604 CPUtime=1537.44 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 151837 0 0 0 153715 29 0 0 20 0 1 0 54724683 677773312 158651 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 165472 158651 2656 2593 0 162365 0
Current children cumulated CPU time: 1537.44 s
Current children cumulated vsize: 661888 KiB
Current children cumulated memory: 634604 KiB

[startup+1602.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 56258
/proc/meminfo: memFree=126056528/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=667288 memory=647532 CPUtime=1597.27 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 153207 0 0 0 159698 29 0 0 20 0 1 0 54724683 683302912 161883 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 166822 161883 2656 2593 0 163715 0
Current children cumulated CPU time: 1597.27 s
Current children cumulated vsize: 667288 KiB
Current children cumulated memory: 647532 KiB

[startup+1662.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 56260
/proc/meminfo: memFree=126049152/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=670720 memory=650988 CPUtime=1657.12 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 154312 0 0 0 165682 30 0 0 20 0 1 0 54724683 686817280 162747 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 167680 162747 2656 2593 0 164573 0
Current children cumulated CPU time: 1657.12 s
Current children cumulated vsize: 670720 KiB
Current children cumulated memory: 650988 KiB

[startup+1722.3 s]
/proc/loadavg: 4.28 4.13 4.10 5/263 56262
/proc/meminfo: memFree=126040284/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=674072 memory=654316 CPUtime=1716.96 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 155138 0 0 0 171666 30 0 0 20 0 1 0 54724683 690249728 163579 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 168518 163579 2656 2593 0 165411 0
Current children cumulated CPU time: 1716.96 s
Current children cumulated vsize: 674072 KiB
Current children cumulated memory: 654316 KiB

[startup+1782.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/264 56271
/proc/meminfo: memFree=126044632/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=681124 memory=661484 CPUtime=1776.8 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 156950 0 0 0 177650 30 0 0 20 0 1 0 54724683 697470976 165371 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 170281 165371 2656 2593 0 167174 0
Current children cumulated CPU time: 1776.8 s
Current children cumulated vsize: 681124 KiB
Current children cumulated memory: 661484 KiB

[startup+1819.1 s]
# the end of solver process 56183 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1813.2 s, system=0.319894 s

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

[startup+1792 s]*
/proc/loadavg: 4.18 4.14 4.11 5/264 56271
/proc/meminfo: memFree=126044632/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=687200 memory=667372 CPUtime=1786.48 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 158550 0 0 0 178618 30 0 0 20 0 1 0 54724683 703692800 166843 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 171800 166843 2656 2593 0 168693 0
Current children cumulated CPU time: 1786.48 s
Current children cumulated vsize: 687200 KiB
Current children cumulated memory: 667372 KiB

[startup+1804.8 s]
/proc/loadavg: 4.21 4.15 4.11 5/264 56273
/proc/meminfo: memFree=126202260/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=517020 memory=499632 CPUtime=1799.25 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 159082 0 0 0 179894 31 0 0 20 0 1 0 54724683 529428480 124908 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 129255 124908 2688 2593 0 126148 0
Current children cumulated CPU time: 1799.25 s
Current children cumulated vsize: 517020 KiB
Current children cumulated memory: 499632 KiB

[startup+1811.2 s]
/proc/loadavg: 4.19 4.15 4.11 5/264 56273
/proc/meminfo: memFree=126202260/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=517020 memory=499632 CPUtime=1805.63 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 159085 0 0 0 180532 31 0 0 20 0 1 0 54724683 529428480 124908 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 129255 124908 2688 2593 0 126148 0
Current children cumulated CPU time: 1805.63 s
Current children cumulated vsize: 517020 KiB
Current children cumulated memory: 499632 KiB

[startup+1814.4 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 56273
/proc/meminfo: memFree=126202260/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=517020 memory=499632 CPUtime=1808.82 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 159090 0 0 0 180851 31 0 0 20 0 1 0 54724683 529428480 124908 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 129255 124908 2688 2593 0 126148 0
Current children cumulated CPU time: 1808.82 s
Current children cumulated vsize: 517020 KiB
Current children cumulated memory: 499632 KiB

[startup+1817.6 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 56273
/proc/meminfo: memFree=126202324/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=517020 memory=499632 CPUtime=1812.01 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 159093 0 0 0 181170 31 0 0 20 0 1 0 54724683 529428480 124908 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 129255 124908 2688 2593 0 126148 0
Current children cumulated CPU time: 1812.01 s
Current children cumulated vsize: 517020 KiB
Current children cumulated memory: 499632 KiB

[startup+1818.4 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 56273
/proc/meminfo: memFree=126202356/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=517020 memory=499632 CPUtime=1812.81 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 159093 0 0 0 181250 31 0 0 20 0 1 0 54724683 529428480 124908 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 129255 124908 2688 2593 0 126148 0
Current children cumulated CPU time: 1812.81 s
Current children cumulated vsize: 517020 KiB
Current children cumulated memory: 499632 KiB

[startup+1818.8 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 56273
/proc/meminfo: memFree=126202356/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=517020 memory=499632 CPUtime=1813.21 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 159093 0 0 0 181290 31 0 0 20 0 1 0 54724683 529428480 124908 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 129255 124908 2688 2593 0 126148 0
Current children cumulated CPU time: 1813.21 s
Current children cumulated vsize: 517020 KiB
Current children cumulated memory: 499632 KiB

[startup+1819 s]*
/proc/loadavg: 4.16 4.14 4.11 5/264 56273
/proc/meminfo: memFree=126202356/131249996 swapFree=33010684/33010684
[pid=56183] ppid=56180 vsize=517020 memory=499632 CPUtime=1813.41 cores=1,3
/proc/56183/stat : 56183 (CASHWMaxSAT-Dis) R 56180 56183 53773 0 -1 4194304 159093 0 0 0 181310 31 0 0 20 0 1 0 54724683 529428480 124908 18446744073709551615 4198400 14817773 140723815413280 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 45195264 140723815422314 140723815422429 140723815422429 140723815428031 0
/proc/56183/statm: 129255 124908 2688 2593 0 126148 0
Current children cumulated CPU time: 1813.41 s
Current children cumulated vsize: 517020 KiB
Current children cumulated memory: 499632 KiB

Child status: 30

Real time (s): 1819.1
CPU time (s): 1813.52
CPU user time (s): 1813.2
CPU system time (s): 0.319894
CPU usage (%): 99.6934
Max. virtual memory (cumulated for all children) (KiB): 689216
Max. memory (cumulated for all children) (KiB): 669292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1813.2
system time used= 0.319894
maximum resident set size= 669292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159093
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= 36
involuntary context switches= 3542


# summary of solver processes directly reported to runsolver:
#   pid: 56183
#   total CPU time (s): 1813.52
#   total CPU user time (s): 1813.2
#   total CPU system time (s): 0.319894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.56852 second user time and 7.66005 second system time

The end

Begin job on nodeC021 at 2025-07-01 19:21:10
IDJOB=4497673
IDBENCH=148191
IDSOLVER=3322
FILE ID=nodeC021/4497673-1751390470
RUNJOBID= nodeC021-1751382616-53785
SLURM_JOB_ID= 9598225
Free space on /tmp= 432536 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497673-1751390470/watcher-4497673-1751390470 -o /tmp/evaluation-result-4497673-1751390470/solver-4497673-1751390470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751382616-53785 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4497673-1751390470.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=41583543

nodeC021 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.738
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.56
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.606
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.56
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		: 3598.756
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.56
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		: 3537.292
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.56
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		: 3599.775
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.56
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.851
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.56
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		: 3601.432
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.56
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		: 3646.383
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126959540 kB
MemAvailable:   127805648 kB
Buffers:            3280 kB
Cached:          1651488 kB
SwapCached:            0 kB
Active:          2242416 kB
Inactive:        1381772 kB
Active(anon):    1987480 kB
Inactive(anon):        0 kB
Active(file):     254936 kB
Inactive(file):  1381772 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14048 kB
Writeback:            52 kB
AnonPages:       1972196 kB
Mapped:           129596 kB
Shmem:             18060 kB
KReclaimable:      96876 kB
Slab:             185540 kB
SReclaimable:      96876 kB
SUnreclaim:        88664 kB
KernelStack:        4304 kB
PageTables:         7008 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2521932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    565248 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432524 MiB
End job on nodeC021 at 2025-07-01 19:51:29